Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A logic-based language for database updates
Foundations of deductive databases and logic programming
Handbook of theoretical computer science (vol. B)
Methods and logics for proving programs
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Handbook of logic in computer science (vol. 2)
Reasoning about knowledge
Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Non-monotonic temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
ALX, an action logic for agents with bounded rationality
Artificial Intelligence
Descriptive dynamic logic and its application to reflective architectures
Future Generation Computer Systems - Special double issue: reflection and meta-level AI architectures
Formalising abilities and opportunities of agents
Fundamenta Informaticae
The role of deontic logic in the specification of information systems
Logics for databases and information systems
A logical approach to the dynamics of commitments
Artificial Intelligence
An axiomatic basis for computer programming
Communications of the ACM
Regular database update logics
Theoretical Computer Science
First-Order Dynamic Logic
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Journal of Logic, Language and Information
Reasoning about Information Change
Journal of Logic, Language and Information
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Verification within the KARO Agent Theory
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Epistemic Approach to Actions with Typical Effects
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Modelling Social Agents: Communication as Action
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Intentional Agents and Goal Formation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Principles of Trust for MAS: Cognitive Anatomy, Social Importance, and Quantification
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Noise and the common sense informatic situation for a mobile robot
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Extending Deontic Logic for the Formalisation of Legal Rules
Extending Deontic Logic for the Formalisation of Legal Rules
AI Magazine
AI Magazine
A Semantics for Persistency in Propositional Dynamic Logic
CL '00 Proceedings of the First International Conference on Computational Logic
A complete and compact propositional deontic logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A graded BDI agent model to represent and reason about preferences
Artificial Intelligence
Graded BDI models for agent architectures
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
| Hi-index | 0.00 |
Dynamic logic is a logic to reason about the dynamics of (natural or artificial) systems in general, ranging from the effects of actions of human agents to the behavior of artificial agents and software systems. Therefore it is to be expected that in AI it can be fruitfully employed both to represent knowledge about the dynamics of the domain at hand as well as to describe/specify (the dynamic behavior of) AI systems themselves. A typical example of the former is the description of the effects of actions (of humans, for example) in the commonsense world, while the specification of a particular reasoning system would be of the latter type. In this paper a number of examples are given to illustrate the usefulness (and wide scope!) of dynamic logic for AI.