Event Calculus Reasoning Through Satisfiability
From MaRDI portal
Publication:4659506
DOI10.1093/logcom/14.5.703zbMath1062.68118OpenAlexW2123120888MaRDI QIDQ4659506
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
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