Answer set based design of knowledge systems

DOI10.1007/S10472-006-9026-1MaRDI QIDQ854966zbMATH OpenOpenAlexFDO

Authors Marcello Balduccini, Michael Gelfond, Monica Nogueira

Publication date 20 December 2006

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://cdr.lib.unc.edu/downloads/6969z904g

zbMATH Keywords

planninganswer set programmingknowledge representationreasoningdiagnosislogic programming

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 1931698
• Logic Programming
• Logic programming and knowledge representation---The A-Prolog perspective
• Knowledge Representation, Reasoning and Declarative Problem Solving
• scientific article; zbMATH DE number 1926645

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 2000818 (Why is no real title available?)
• scientific article; zbMATH DE number 1368932 (Why is no real title available?)
• scientific article; zbMATH DE number 1926645 (Why is no real title available?)
• scientific article; zbMATH DE number 1931693 (Why is no real title available?)
• scientific article; zbMATH DE number 1407683 (Why is no real title available?)
• scientific article; zbMATH DE number 1453070 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A note on the stable model semantics for logic programs
• Diagnostic reasoning with A-Prolog
• Extending and implementing the stable model semantics
• Extending the Smodels system with cardinality and weight constraints
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming and knowledge representation
• Logic programming and knowledge representation---The A-Prolog perspective
• Planning for temporally extended goals.
• Reasoning agents in dynamic domains
• Representing action and change by logic programs
• Using temporal logics to express search control knowledge for planning

Cited in

(14)

• Logic programs with abstract constraint atoms: the role of computations
• Splitting a CR-Prolog Program
• Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
• Integrating answer set programming and constraint logic programming
• scientific article; zbMATH DE number 4174345 (Why is no real title available?)
• Action-centered information retrieval
• CASP solutions for planning in hybrid domains
• Justifications for logic programs under answer set semantics
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• Approximation of action theories and its application to conformant planning
• Inconsistency proofs for ASP: the ASP-DRUPE format
• Selection of search strategies for solving 3-SAT problems
• Dual-normal logic programs -- the forgotten class
• Constraint Answer Set Solving

Describes a project that uses

Uses Software

• Smodels
• GULP

This page was built for publication: Answer set based design of knowledge systems

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