Modality and interrupts

DOI10.1007/BF00883930zbMath0829.68026MaRDI QIDQ1891265

Matthew L. Glinsberg

Publication date: 30 May 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

modalityautoepistemic logicnonmonotonic reasoningPrologfunctional semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical considerations on nonmonotonic logic
• Planning for conjunctive goals
• On the relation between default and autoepistemic logic
• Nonmonotonic logic and temporal projection
• A circumscriptive theorem prover
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Approximate planning
• Negation as failure using tight derivations for general logic programs
• Bilattices and Modal Operators
• Negative subgoals with free variables

This page was built for publication: Modality and interrupts