Knowledge representation with multiple logical theories and time

DOI10.1080/095281399146616MaRDI QIDQ4421284zbMATH OpenOpenAlexFDO

Authors P. 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)

Recommendations

• Knowledge representation, reasoning and integration using temporal logic with clocks
• Alternating-time temporal dynamic epistemic logic
• scientific article; zbMATH DE number 1070499
• Time-dependent concepts: representation and reasoning using temporal description logics
• Dynamic epistemic logic with branching temporal structures
• scientific article; zbMATH DE number 2087385
• scientific article; zbMATH DE number 1949006

Cites work

• A logic-based calculus of events
• A Temporal extension of Prolog
• Applying restriction constraints to deductive databases
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
• Fully abstract compositional semantics for an algebra of logic programs
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 1536561 (Why is no real title available?)
• Programming by combining general logic programs
• Temporal annotated constraint logic programming
• Temporal logic programming
• Towards a general theory of action and time

Cited in

(1)

• scientific article; zbMATH DE number 1696835 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4421284)