Set based logic programming

DOI10.1007/S10472-008-9098-1MaRDI QIDQ1029592zbMATH OpenOpenAlexFDO

Authors Howard A. Blair, Wiktor Marek, Jeffrey 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)

Recommendations

• Consistency properties and set based logic programming
• Effectively reasoning about infinite sets in answer set programming
• Logic Programming and Nonmonotonic Reasoning
• {log}: A language for programming in logic with finite sets
• Ordered Logic Programming with Sets

Cites work

• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 1696830 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 4123705 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 3346319 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with stable model semantics as a constraint programming paradigm
• Minimal belief and negation as failure
• Stability of beamlike lattice trusses
• The well-founded semantics for general logic programs

Cited in

(6)

• My work with Victor Marek: a mathematician looks at answer set programming
• Consistency properties and set based logic programming
• Set abstraction - an extension of all solutions predicate in logic programming language
• ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
• Automata and Answer Set Programming
• Datalog: Bag Semantics via Set Semantics

This page was built for publication: Set based logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1029592)