scientific article; zbMATH DE number 2088041

MaRDI QIDQ4739121zbMATH OpenFDO

Authors Guan-Shieng Huang, Churn-Jung Liau, Jia-Huai You, Xiumei Jia

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Logic programs with stable model semantics as a constraint programming paradigm
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1368933
• On computing logic programs
• Computing Stable Models via Reductions to Difference Logic

Cited in

(6)

• Compact translations of non-disjunctive answer set programs to propositional clauses
• Computing Stable Models via Reductions to Difference Logic
• Random logic programs: linear model
• A model for phase transition of random answer-set programs
• On computing logic programs
• ASSAT: computing answer sets of a logic program by SAT solvers

Describes a project that uses

Uses Software

• SATO
• 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 Q4739121)