On logical constraints in logic programming

DOI10.1007/3-540-59487-6_4zbMath1497.68460OpenAlexW1499277620MaRDI QIDQ5101440

Anil Nerode, Victor W. Marek, Jeffery B. Remmel

Publication date: 30 August 2022

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.9095

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Uses Software

• CHIP

Cites Work

• Unnamed Item
• A logic for default reasoning
• Stable and extension class theory for logic programs and default logics
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
• The Semantics of Predicate Logic as a Programming Language