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

answer set programmingdiagnosisknowledge representationlogic programmingplanningreasoning

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

• 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
• 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?)
• 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

(15)

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

Describes a project that uses

Uses Software

• GULP
• Smodels

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)