Diagnostic reasoning with A-Prolog

DOI10.1017/S1471068403001807zbMath1079.68094OpenAlexW2025008902MaRDI QIDQ4815029

Marcello Balduccini, Michael Gelfond

Publication date: 19 August 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068403001807

zbMATH Keywords

diagnostic reasoninganswer set programmingintelligent agents.

Mathematics Subject Classification ID

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

Related Items

Hypothesizing about signaling networks, Diagnostic Reasoning for Robotics Using Action Languages, A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions, Reasoning about actions with Temporal Answer Sets, Answer set based design of knowledge systems, Strong order equivalence, A Probabilistic Extension of Action Language, Modular action language, <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>, Synonymous theories and knowledge representations in answer set programming, An application of answer set programming to the field of second language acquisition, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, Unnamed Item, Unnamed Item, Unnamed Item, An introduction to fuzzy answer set programming, Formalizing Negotiations Using Logic Programming, Approximation of action theories and its application to conformant planning, Belief extrapolation (or how to reason about observations and unpredicted change), Thirteen Definitions of a Stable Model, Justifications for logic programs under answer set semantics, Action-Centered Information Retrieval