Answer set programming and plan generation
From MaRDI portal
Recommendations
Cites work
- A logic for default reasoning
- Extending and implementing the stable model semantics
- scientific article; zbMATH DE number 4104925 (Why is no real title available?)
- scientific article; zbMATH DE number 1337888 (Why is no real title available?)
- scientific article; zbMATH DE number 1368932 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1453058 (Why is no real title available?)
- scientific article; zbMATH DE number 1453059 (Why is no real title available?)
- Logic programs with stable model semantics as a constraint programming paradigm
- Nonmonotonic logic and temporal projection
- Representing action and change by logic programs
- Representing actions in logic programs and default theories a situation calculus approach
- STRIPS: A new approach to the application of theorem proving to problem solving
- The anomalous extension problem in default reasoning
Cited in
(94)- Logic programming and knowledge representation---The A-Prolog perspective
- What is answer set programming to propositional satisfiability
- Conflict-driven answer set solving: from theory to practice
- Brave induction: a logical framework for learning from incomplete information
- Fixed point semantics for stream reasoning
- Argumentation frameworks as constraint satisfaction problems
- Determining inference semantics for disjunctive logic programs
- Representing and reasoning about game strategies
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- Semantic forgetting in answer set programming
- Answer set programming and its applications in planning and multi-agent systems
- Complexity results for answer set programming with bounded predicate arities and implications
- FLP answer set semantics without circular justifications for general logic programs
- Inferring phylogenetic trees using answer set programming
- A rule based knowledge transaction model for mobile environments
- Answer sets and qualitative decision making
- Solving problems in the polynomial hierarchy with ASP(Q)
- Getting to the airport: The oldest planning problem in AI
- Querying incomplete information in RDF with SPARQL
- Gearing up for effective ASP planning
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Anytime computation of cautious consequences in answer set programming
- Planning in answer set programming using ordered task decomposition
- Probabilistic Rule Learning in Nonmonotonic Domains
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Algorithmic decision theory meets logic (invited talk)
- Shift Design with Answer Set Programming
- ``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
- Brave Induction
- Inductive Negotiation in Answer Set Programming
- Justifications for logic programs under answer set semantics
- Answer Set Programming: A Primer
- scientific article; zbMATH DE number 1193641 (Why is no real title available?)
- scientific article; zbMATH DE number 2000818 (Why is no real title available?)
- An ASP methodology for understanding narratives about stereotypical activities
- Argumentation-based semantics for logic programs with first-order formulae
- 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
- Logic Programming for Multiagent Planning with Negotiation
- scientific article; zbMATH DE number 1368932 (Why is no real title available?)
- scientific article; zbMATH DE number 1931683 (Why is no real title available?)
- scientific article; zbMATH DE number 4116019 (Why is no real title available?)
- Conflict-driven ASP solving with external sources
- 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
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Planning with Incomplete Information in Quantified Answer Set Programming
- scientific article; zbMATH DE number 7455721 (Why is no real title available?)
- Beyond NP: quantifying over answer sets
- Domain-independent cost-optimal planning in ASP
- 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
- Human robot collaborative assembly planning: an answer set programming approach
- Learning discrete decomposable graphical models via constraint optimization
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
- Answer set programming
- Expressiveness of communication in answer set programming
- Logic Programming
- Logic Programming
- Answer Set Programming for Single-Player Games in General Game Playing
- Fuzzy answer sets approximations
- Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach
- Logic Programming and Nonmonotonic Reasoning
- Approximation of action theories and its application to conformant planning
- Formalising the Fisherman's Folly puzzle
- The Independent Choice Logic and Beyond
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- A deductive solution for plan generation
- Planning in answer set programming using ordered task decomposition
- Thirty years of Epistemic Specifications
- Answer set programming made easy
- Qualitative reasoning about 2D cardinal directions using answer set programming
- Contrastive explanations for answer-set programs
- Logic programming
- On the foundations of grounding in answer set programming
- An efficient solver for ASP(Q)
- Answer set planning: a survey
- Aggregate semantics for propositional answer set programs
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- Linear-time temporal answer set programming
- Planning with uncertainty: symmetries, policy inference, and solution compression
- Introduction: Progress in formal commonsense reasoning
- Nonmonotonic causal theories
- Heuristic planning: A declarative approach based on strategies for action selection
- Open answer set programming for the semantic web
- Design and results of the Fifth Answer Set Programming Competition
- Extended RDF: computability and complexity issues
This page was built for publication: Answer set programming and plan generation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603732)
