Hypothetical updates, priority and inconsistency in a logic programming language

DOI10.1007/3-540-59487-6_15zbMath1496.68316OpenAlexW1505268908MaRDI QIDQ5101451

Alberto Martelli, Nicola Olivetti, Laura Giordano, Dov M. Gabbay

Publication date: 30 August 2022

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59487-6_15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• A logical framework for default reasoning
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
• Clausal intuitionistic logic I. fixed-point semantics
• Ordered Logic Programming with Sets
• Unnamed Item
• Unnamed Item

This page was built for publication: Hypothetical updates, priority and inconsistency in a logic programming language