A compositional reasoning system for executing nonmonotonic theories of reasoning

DOI10.1002/int.10108zbMath1038.68116OpenAlexW2106247677MaRDI QIDQ4422635

Jan Treur, Joeri Engelfriet

Publication date: 20 August 2003

Published in: International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/int.10108

zbMATH Keywords

DESIREnonmonotonic reasoning formalisms

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Executable modal and temporal logics. IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

This page was built for publication: A compositional reasoning system for executing nonmonotonic theories of reasoning