A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
From MaRDI portal
Publication:4221295
DOI10.1093/logcom/8.5.597zbMath0916.68022OpenAlexW2046952895MaRDI 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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Logic programming (68N17)
Related Items (5)
Connectionist modal logic: representing modalities in neural networks ⋮ Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter ⋮ A lightweight epistemic logic and its application to planning ⋮ Abductive Reasoning for Continual Dialogue Understanding ⋮ On the algebraic structure of declarative programming languages
This page was built for publication: A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
