Pages that link to "Item:Q1603732"
From MaRDI portal
The following pages link to Answer set programming and plan generation (Q1603732):
Displaying 50 items.
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Learning discrete decomposable graphical models via constraint optimization (Q517387) (← links)
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study (Q518622) (← links)
- 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)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Argumentation frameworks as constraint satisfaction problems (Q2248522) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Representing and reasoning about game strategies (Q2341262) (← 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)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← 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)
- Solving problems in the polynomial hierarchy with ASP(Q) (Q2694590) (← links)
- Gearing Up for Effective ASP Planning (Q2900527) (← links)
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming (Q2900538) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Probabilistic Rule Learning in Nonmonotonic Domains (Q3092307) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)
- “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis (Q3449197) (← links)
- Diagnostic Reasoning for Robotics Using Action Languages (Q3449216) (← links)
- Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy (Q3449233) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic (Q3449236) (← 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)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Generating explanations for biomedical queries (Q4592972) (← links)
- Planning as tabled logic programming (Q4592996) (← links)
- First-order modular logic programs and their conservative extensions (Q4593056) (← links)
- CASP solutions for planning in hybrid domains (Q4593097) (← links)
- Logic Programming for Multiagent Planning with Negotiation (Q4649727) (← links)
- Conflict-driven ASP solving with external sources (Q4911141) (← links)
- plasp 3: Towards Effective ASP Planning (Q4957186) (← links)
