Knowledge representation with multiple logical theories and time

DOI10.1080/095281399146616zbMath1054.68668OpenAlexW2048439806MaRDI QIDQ4421284

Paolo Mancarella

Publication date: 1999

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281399146616

zbMATH Keywords

meta-logic temporal reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Temporal logic programming
• Fully abstract compositional semantics for an algebra of logic programs
• Temporal annotated constraint logic programming
• Towards a general theory of action and time
• Applying restriction constraints to deductive databases
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• A Temporal extension of Prolog
• Programming by combining general logic programs

This page was built for publication: Knowledge representation with multiple logical theories and time