The USA-advisor: A case study in answer set planning

DOI10.1007/3-540-45402-0_39MaRDI QIDQ4800172zbMATH OpenFDO

Authors Marcello Balduccini, Michael Gelfond, R. A. Watson, Monica Nogueira

Publication date 18 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45402-0_39

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• The USA-advisor: A case study in answer set programming
• scientific article; zbMATH DE number 2166725
• Planning with different forms of domain-dependent control knowledge -- an answer set programming approach
• Domain-dependent knowledge in answer set planning
• Using temporal logics to express search control knowledge for planning

Cited in

(15)

• Paracoherent answer set computation
• Reasoning about non-immediate triggers in biological networks
• Learning control knowledge for forward search planning
• Synonymous theories and knowledge representations in answer set programming
• User-tailored plan presentation
• Argumentation-based semantics for logic programs with first-order formulae
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• The USA-advisor: A case study in answer set programming
• Planning with different forms of domain-dependent control knowledge -- an answer set programming approach
• The External Interface for Extending WASP
• Unsatisfiable core analysis and aggregates for optimum stable model search
• Better paracoherent answer sets with less resources
• Debugging non-ground ASP programs: technique and graphical tools
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• A first order nonmonotonic extension of constructive logic

This page was built for publication: The USA-advisor: A case study in answer set planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4800172)