Robert Goldblatt

Time for action: on the relation between time, knowledge and action

Plan synthesis: a logical perspective

Loss, Trauma, and Human Resilience: Have We Underestimated the Human Capacity to Thrive After Extremely Aversive Events?

Toward a Framework for Levels of Robot Autonomy in Human-Robot Interaction

Intelligent agents: theory and practice

Software agents: an overview

The nonalgorithmic mind

An agent-based approach for building complex software systems

A theory of timed automata

Semantic linking through spaces for cyber-physical-socio intelligence: A methodology

Linearizability: a correctness condition for concurrent objects

Propositional dynamic logic of regular programs

The Logic of Conventional Implicatures

Proving Liveness Properties of Concurrent Programs

A guide to completeness and complexity for modal logics of knowledge and belief

Intention is choice with commitment

Specifying real-time properties with metric temporal logic

Trends in distributed artificial intelligence

Global synthesis of groundwater recharge in semiarid and arid regions

The Gaia Methodology for Agent-Oriented Analysis and Design

A New Approach to Quantum Logic

Automatic verification of finite-state concurrent systems using temporal logic specifications

Algebraic laws for nondeterminism and concurrency

Logics for hybrid systems

Introduction to the ISO specification language LOTOS

Précis ofThe Emperor's New Mind: Concerning computers, minds, and the laws of physics

The Pacific Decadal Oscillation

Automated Negotiation: Prospects, Methods and Challenges

Propositional dynamic logic of nonregular programs

Memory of Past Beliefs and Actions

A Classification Scheme for Negotiation in Electronic Commerce

Planning for conjunctive goals

Presupposition and Anaphora

Tropos: An Agent-Oriented Software Development Methodology

Tropical cyclones and climate change

-connections of abstract description systems

Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results

Pellet: A practical OWL-DL reasoner

Online wind turbine fault detection through automated SCADA data analysis

A Roadmap of Agent Research and Development

Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211. - Krister Segerberg. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Tadeuz Traczyk, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, pp. 31–46. - Rohit Parikh. The completeness of propositional dynamic logic. Mathematical foundations of computer science 1978, Proceedings, 7th symposium, Zakopane, Poland, September 4–8, 1978, edited by J. Winkowski, Lecture notes in computer science, vol. 64, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 403–415. - Dexter Kozen and Rohit Parikh. An elementary proof of the completeness of PDL. Theoretical computer science, vol. 14(1981), pp. 113–118.

Logics of Time and Computation

Axiomatising the Logic of Computer Programming

Semantic analysis of orthologic

Interdecadal variation in developmental timing of <i>Neocalanus plumchrus</i> populations at Ocean Station P in the subarctic North Pacific