A Default Approach to Semantics of Logic Programs with Constraint Atoms

DOI10.1007/978-3-642-04238-6_24MaRDI QIDQ3643125zbMATH OpenOpenAlexFDO

Authors Yi-Dong Shen, Jia-Huai You

Publication date 10 November 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_24

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Recommendations

• Answer sets for logic programs with arbitrary abstract constraint atoms
• Logic programs with abstract constraint atoms: the role of computations
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• scientific article; zbMATH DE number 6261542

Cited in

(7)

• Logic programs with abstract constraint atoms: the role of computations
• A system for computing constrained default logic extensions
• Minimal model semantics for sorted constraint representation
• Answer sets for logic programs with arbitrary abstract constraint atoms
• scientific article; zbMATH DE number 5198932 (Why is no real title available?)
• FLP answer set semantics without circular justifications for general logic programs
• Well-supported semantics for logic programs with generalized rules

Describes a project that uses

Uses Software

• Lparse

This page was built for publication: A Default Approach to Semantics of Logic Programs with Constraint Atoms

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