Answer set programming and plan generation
From MaRDI portal
Recommendations
Cites work
- 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?)
- A logic for default reasoning
- Extending and implementing the stable model semantics
- 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
(92)- Logic Programming and Nonmonotonic Reasoning
- Generating explanations for biomedical queries
- Argumentation-based semantics for logic programs with first-order formulae
- Logic Programming for Multiagent Planning with Negotiation
- Answer Set Programming for Single-Player Games in General Game Playing
- Logic Programming
- Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
- Shift Design with Answer Set Programming
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
- Planning in answer set programming using ordered task decomposition
- First-order modular logic programs and their conservative extensions
- The Design of the Sixth Answer Set Programming Competition
- A deductive solution for plan generation
- Answer Set Programming: A Primer
- Brave Induction
- Anytime computation of cautious consequences in answer set programming
- Inductive Negotiation in Answer Set Programming
- Querying incomplete information in RDF with SPARQL
- Answer sets and qualitative decision making
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- An ASP methodology for understanding narratives about stereotypical activities
- Planning with Incomplete Information in Quantified Answer Set Programming
- Introduction: Progress in formal commonsense reasoning
- Thirty years of Epistemic Specifications
- Planning as tabled logic programming
- The Seventh Answer Set Programming Competition: Design and Results
- Logic programming
- Getting to the airport: The oldest planning problem in AI
- Human robot collaborative assembly planning: an answer set programming approach
- 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
- Formalising the Fisherman's Folly puzzle
- Answer set programming made easy
- scientific article; zbMATH DE number 2000818 (Why is no real title available?)
- CASP solutions for planning in hybrid domains
- scientific article; zbMATH DE number 1193641 (Why is no real title available?)
- Expressiveness of communication in answer set programming
- Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
- The Independent Choice Logic and Beyond
- Brave induction: a logical framework for learning from incomplete information
- Conflict-driven answer set solving: from theory to practice
- scientific article; zbMATH DE number 4116019 (Why is no real title available?)
- Fixed point semantics for stream reasoning
- scientific article; zbMATH DE number 7455721 (Why is no real title available?)
- Representing and reasoning about game strategies
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Design and results of the Fifth Answer Set Programming Competition
- Fuzzy answer sets approximations
- Answer set programming
- Justifications for logic programs under answer set semantics
- Approximation of action theories and its application to conformant planning
- Inferring phylogenetic trees using answer set programming
- Beyond NP: quantifying over answer sets
- Nonmonotonic causal theories
- A rule based knowledge transaction model for mobile environments
- FLP answer set semantics without circular justifications for general logic programs
- Probabilistic Rule Learning in Nonmonotonic Domains
- Qualitative reasoning about 2D cardinal directions using answer set programming
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Determining inference semantics for disjunctive logic programs
- plasp 3: towards effective ASP planning
- Algorithmic decision theory meets logic (invited talk)
- ``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
- Logic programming and knowledge representation---The A-Prolog perspective
- Answer set programming and its applications in planning and multi-agent systems
- Open answer set programming for the semantic web
- 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
- Planning in answer set programming using ordered task decomposition
- scientific article; zbMATH DE number 1931683 (Why is no real title available?)
- Solving problems in the polynomial hierarchy with ASP(Q)
- Semantic forgetting in answer set programming
- What is answer set programming to propositional satisfiability
- Argumentation frameworks as constraint satisfaction problems
- Gearing up for effective ASP planning
- Extended RDF: computability and complexity issues
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Domain-independent cost-optimal planning in ASP
- Learning discrete decomposable graphical models via constraint optimization
- Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
- Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach
- Heuristic planning: A declarative approach based on strategies for action selection
- Logic Programming
- Conflict-driven ASP solving with external sources
- Contrastive explanations for answer-set programs
- Complexity results for answer set programming with bounded predicate arities and implications
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)
