scientific article; zbMATH DE number 1931680

MaRDI QIDQ4708938zbMATH OpenFDO

Authors Gerhard Brewka, Tommi Syrjänen, Ilkka Niemelä

Publication date 20 June 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Foundations of Information and Knowledge Systems
• Towards logic programs with ordered and unordered disjunction
• Answer set semantics for ordered logic programs
• scientific article; zbMATH DE number 6747884
• Disjunctive answer set solvers via templates
• scientific article; zbMATH DE number 1292288
• Towards answer set programming with sorts
• Preferred answer sets for ordered logic programs
• scientific article; zbMATH DE number 1931679

Cited in

(10)

• Answer sets and qualitative decision making
• A logical characterisation of ordered disjunction
• Towards logic programs with ordered and unordered disjunction
• Qualitative Constraint Enforcement in Advanced Policy Specification
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• Disjunctive answer set solvers via templates
• A logical characterization of the preferred models of logic programs with ordered disjunction
• Foundations of Information and Knowledge Systems
• Qualitative choice logic
• Two alternatives for handling preferences in qualitative choice logic

Describes a project that uses

Uses Software

• Smodels

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 Q4708938)