Active logic semantics for a single agent in a static world
DOI10.1016/J.ARTINT.2007.11.005zbMATH Open1183.68593OpenAlexW2013436641WikidataQ57728575 ScholiaQ57728575MaRDI QIDQ2389647FDOQ2389647
Authors: Michael L. Anderson, Walid Gomaa, Don Perlis, John Grant 
Publication date: 17 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2007.11.005
Recommendations
- Dynamic logic for reasoning about actions and agents
- A sequent calculus for propositional dynamic logic for agents
- A sequent calculus for propositional dynamic logic for agents with interactions
- Modal logic for modelling actions and agents
- Automated inference in active logics
- A logic of situated resource-bounded agents
- Programming rational agents in a modal action logic
- From logic programming towards multi-agent systems
semanticstimeparaconsistent logicautonomous agentssoundnessnonmonotonic logicbrittlenessactive logic
Other nonclassical logic (03B60) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Nonmonotonic causal theories
- On inference from inconsistent premisses
- Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
- Title not available (Why is that?)
- Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
- Towards a general theory of action and time
- Knowledge in flux. Modeling the dynamics of epistemic states
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An approach to default reasoning based on a first-order conditional logic: Revised report
- A logic for default reasoning
- A logical framework for default reasoning
- Title not available (Why is that?)
- Handbook of philosophical logic. Vol. 9
- Title not available (Why is that?)
- Natural language processing and knowledge representation. Language for knowledge and knowledge for language
- Paraconsistent logic in a historical perspective
- Applications of paraconsistency in data and knowledge bases
- Nonmonotonic logic and temporal projection
- Title not available (Why is that?)
- Reasoning with limited resources: active logics expressed as labelled deductive systems
- How to (plan to) meet a deadline between \textit{now} and \textit{then}
Cited In (1)
Uses Software
This page was built for publication: Active logic semantics for a single agent in a static world
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389647)
