scientific article; zbMATH DE number 1931679

MaRDI QIDQ4708937zbMATH OpenFDO

Authors Davy Van Nieuwenborgh, Dirk Vermeir

Publication date 20 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240432.htm

Mathematics Subject Classification ID

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

Recommendations

• Preferred answer sets for ordered logic programs
• Preferred answer sets for extended logic programs
• Logic Programming
• Preferred first-order answer set programs
• A framework for compiling preferences in logic programs

Cited in

(12)

• Preferred answer sets for extended logic programs
• Minimal-change integrity maintenance using tuple deletions
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• Preferred answer sets for ordered logic programs
• Order-consistent programs are cautiously monotonic
• Prioritized repairing and consistent query answering in relational databases
• scientific article; zbMATH DE number 1931680 (Why is no real title available?)
• Preferred first-order answer set programs
• Logic Programming
• Logic Programming
• Answer set semantics for ordered logic programs
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication:

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