Hypothetical reasoning in logic programming: A semantic approach

DOI10.1016/0020-0190(90)90040-5zbMath0706.68026OpenAlexW2066921528MaRDI QIDQ918664

Antonio Brogi, Paola Mello, Evelina Lamma

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90040-5

zbMATH Keywords

formal semanticsprogramming languageslogic programminghypothetical reasoning

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Artificial intelligence (68T99) Logic programming (68N17)

Related Items (1)

A refinement of import/export declarations in modular logic programming and its semantics

Cites Work

• Unnamed Item
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Clausal intuitionistic logic I. fixed-point semantics
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: Hypothetical reasoning in logic programming: A semantic approach