A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
From MaRDI portal
Publication:4221295
DOI10.1093/logcom/8.5.597zbMath0916.68022MaRDI QIDQ4221295
Matteo Baldoni, Alberto Martelli, Laura Giordano
Publication date: 3 January 1999
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/28fd2e3462cdb99fc1c7ea5f4d1e977a15d33eda
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68N17: Logic programming
Related Items
Abductive Reasoning for Continual Dialogue Understanding, Connectionist modal logic: representing modalities in neural networks, On the algebraic structure of declarative programming languages, A lightweight epistemic logic and its application to planning, Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter