Pages that link to "Item:Q4815029"
From MaRDI portal
The following pages link to Diagnostic reasoning with A-Prolog (Q4815029):
Displayed 22 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Belief extrapolation (or how to reason about observations and unpredicted change) (Q543623) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- Hypothesizing about signaling networks (Q833723) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Strong order equivalence (Q854968) (← links)
- An introduction to fuzzy answer set programming (Q2457803) (← links)
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- A Probabilistic Extension of Action Language (Q4559817) (← links)
- Modular action language (Q4593024) (← links)
- <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> (Q4593060) (← links)
- An application of answer set programming to the field of second language acquisition (Q4601065) (← links)
- Action-Centered Information Retrieval (Q4957195) (← links)
- (Q5020551) (← links)
- (Q5020959) (← links)
- (Q5020971) (← links)
- Formalizing Negotiations Using Logic Programming (Q5169968) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)