Extending Horn clause logic with implication goals

DOI10.1016/0304-3975(92)90066-OzbMath0754.68109OpenAlexW2079831195WikidataQ57840375 ScholiaQ57840375MaRDI QIDQ1186427

Laura Giordano, Gianfranco Rossi, Alberto Martelli

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90066-o

zbMATH Keywords

Horn logicimplication goals

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence (68T99)

Related Items (2)

Semantics of structured normal logic programs ⋮ Translating propositional extended conjunctions of Horn clauses into Boolean circuits

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Contributions to the Theory of Logic Programming
• A logical analysis of modules in logic programming

This page was built for publication: Extending Horn clause logic with implication goals