Set based logic programming

DOI10.1007/s10472-008-9098-1zbMath1175.68099OpenAlexW2067946622MaRDI QIDQ1029592

Howard A. Blair, Victor W. Marek, Jeffery B. Remmel

Publication date: 13 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2005/266/

zbMATH Keywords

miop-spatially augmented languagemonotonic idempotent operatorone-step consequence operator

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Automata and Answer Set Programming, My work with Victor Marek: a mathematician looks at answer set programming, Consistency properties and set based logic programming

Cites Work

• Stability of beamlike lattice trusses
• Constructivism in mathematics. An introduction. Volume II
• Minimal belief and negation as failure
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with stable model semantics as a constraint programming paradigm
• The well-founded semantics for general logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item