Event Calculus Reasoning Through Satisfiability

DOI10.1093/logcom/14.5.703zbMath1062.68118OpenAlexW2123120888MaRDI QIDQ4659506

Erik T. Mueller

Publication date: 21 March 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a1b106ccca44ce6d202393923d0cf9423ef1a855

zbMATH Keywords

commonsense reasoningautomated deduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (5)

Combining event calculus and description logic reasoning via logic programming ⋮ Nonmonotonic abductive inductive learning ⋮ Approximate postdictive reasoning with answer set programming ⋮ An event calculus production rule system for reasoning in dynamic and uncertain domains ⋮ Event calculus and temporal action logics compared

This page was built for publication: Event Calculus Reasoning Through Satisfiability