Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473975zbMATH OpenOpenAlexFDO

Authors Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy

Publication date 23 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
• Declarative distributed computing
• Solving distributed constraint optimization problems using logic programming
• Answer Set Programming: A Primer
• Logic Programming and Nonmonotonic Reasoning

Cited in

(4)

• PLATYPUS
• Declarative distributed computing
• Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
• Distributed answer set coloring: stable models computation via graph coloring

Describes a project that uses

Uses Software

• SATO
• PSATO

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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