Pages that link to "Item:Q814436"
From MaRDI portal
The following pages link to A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436):
Displayed 18 items.
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- \textsc{Argonauts}: a working system for motivated cooperative agents (Q766275) (← links)
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- Conformant planning via heuristic forward search: A new approach (Q2457623) (← links)
- Strong planning under partial observability (Q2457630) (← links)
- Applications of Action Languages in Cognitive Robotics (Q2900522) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- The system Kato: Detecting cases of plagiarism for answer-set programs (Q3585184) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- (Q5020542) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)