Answer set programming and plan generation
From MaRDI portal
Publication:1603732
DOI10.1016/S0004-3702(02)00186-8zbMath0995.68020WikidataQ56562303 ScholiaQ56562303MaRDI QIDQ1603732
Publication date: 15 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Querying incomplete information in RDF with SPARQL, Algorithmic Decision Theory Meets Logic, “Add Another Blue Stack of the Same Height!”: ASP Based Planning and Plan Failure Analysis, Diagnostic Reasoning for Robotics Using Action Languages, Mobile Robot Planning Using Action Language $${\mathcal {BC}}$$ with an Abstraction Hierarchy, The Design of the Sixth Answer Set Programming Competition, Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic, Gearing Up for Effective ASP Planning, Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming, Expressiveness of communication in answer set programming, Characterizations of stable model semantics for logic programs with arbitrary constraint atoms, Heuristics for planning with penalties and rewards formulated in logic and computed through circuits, Semantic forgetting in answer set programming, Anytime Computation of Cautious Consequences in Answer Set Programming, Argumentation-Based Semantics for Logic Programs with First-Order Formulae, Answer Set Programming for Single-Player Games in General Game Playing, Open answer set programming for the semantic web, Generating explanations for biomedical queries, Planning as tabled logic programming, First-order modular logic programs and their conservative extensions, CASP solutions for planning in hybrid domains, Thirty years of Epistemic Specifications, Beyond NP: Quantifying over Answer Sets, Domain-Independent Cost-Optimal Planning in ASP, Complexity results for answer set programming with bounded predicate arities and implications, Design and results of the Fifth Answer Set Programming Competition, Answer set programming made easy, What is answer set programming to propositional satisfiability, Extended RDF: computability and complexity issues, Solving problems in the polynomial hierarchy with ASP(Q), Brave induction: a logical framework for learning from incomplete information, Unnamed Item, Brave Induction, Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming, Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming, FLP answer set semantics without circular justifications for general logic programs, Fuzzy answer sets approximations, Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach, Inferring phylogenetic trees using answer set programming, Conflict-driven ASP solving with external sources, Logic Programming for Multiagent Planning with Negotiation, Learning discrete decomposable graphical models via constraint optimization, Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study, Argumentation frameworks as constraint satisfaction problems, Conflict-driven answer set solving: from theory to practice, Approximation of action theories and its application to conformant planning, Formalising the Fisherman's Folly puzzle, Inductive Negotiation in Answer Set Programming, A rule based knowledge transaction model for mobile environments, Justifications for logic programs under answer set semantics, The Independent Choice Logic and Beyond, Determining inference semantics for disjunctive logic programs, plasp 3: Towards Effective ASP Planning, The Seventh Answer Set Programming Competition: Design and Results, Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming, Fixed point semantics for stream reasoning, Probabilistic Rule Learning in Nonmonotonic Domains, Answer Set Programming: A Primer, Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search, Automatic Composition of Melodic and Harmonic Music by Answer Set Programming, Answer sets and qualitative decision making, Representing and reasoning about game strategies, Planning with Incomplete Information in Quantified Answer Set Programming, Logic programming and knowledge representation---The A-Prolog perspective, Introduction: Progress in formal commonsense reasoning, Nonmonotonic causal theories, Heuristic planning: A declarative approach based on strategies for action selection
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The anomalous extension problem in default reasoning
- Nonmonotonic logic and temporal projection
- A logic for default reasoning
- Extending and implementing the stable model semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- STRIPS: A new approach to the application of theorem proving to problem solving
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
