Pages that link to "Item:Q1603732"
From MaRDI portal
The following pages link to Answer set programming and plan generation (Q1603732):
Displayed 27 items.
- Approximation of action theories and its application to conformant planning (Q543583) (← links)
- Formalising the Fisherman's Folly puzzle (Q543602) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- Open answer set programming for the semantic web (Q881833) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits (Q2389669) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Inferring phylogenetic trees using answer set programming (Q2467563) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- Answer sets and qualitative decision making (Q2576434) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Brave Induction (Q3543278) (← links)
- Inductive Negotiation in Answer Set Programming (Q3601788) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- Answer Set Programming for Single-Player Games in General Game Playing (Q5325764) (← links)
- The Independent Choice Logic and Beyond (Q5452027) (← links)
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (Q5504654) (← links)