AI 2003: Advances in Artificial Intelligence

DOI10.1007/b94701zbMath1205.03030OpenAlexW2808694711MaRDI QIDQ5191595

Tim French

Publication date: 7 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94701

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Symbolic Termination and Confluence Checking for ECA Rules ⋮ Expressiveness and succinctness of a logic of robustness

This page was built for publication: AI 2003: Advances in Artificial Intelligence