Answer set based design of knowledge systems

DOI10.1007/s10472-006-9026-1zbMath1105.68105OpenAlexW2025327371MaRDI QIDQ854966

Marcello Balduccini, Monica Nogueira, Michael Gelfond

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

knowledge representationreasoningplanningdiagnosislogic programminganswer set programming

Mathematics Subject Classification ID

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

Related Items (12)

Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? ⋮ Dual-normal logic programs – the forgotten class ⋮ CASP solutions for planning in hybrid domains ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Constraint Answer Set Solving ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Approximation of action theories and its application to conformant planning ⋮ Justifications for logic programs under answer set semantics ⋮ Selection of search strategies for solving 3-SAT problems ⋮ Action-Centered Information Retrieval ⋮ Integrating answer set programming and constraint logic programming

Uses Software

• GULP
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on the stable model semantics for logic programs
• Planning for temporally extended goals.
• Logic programming and knowledge representation---The A-Prolog perspective
• Extending and implementing the stable model semantics
• Using temporal logics to express search control knowledge for planning
• Representing action and change by logic programs
• Logic programming and knowledge representation
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Diagnostic reasoning with A-Prolog

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