Domain-dependent knowledge in answer set planning

DOI10.1145/1183278.1183279zbMath1367.68271arXivcs/0207023OpenAlexW2154595228MaRDI QIDQ5277758

No author found.

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0207023

zbMATH Keywords

planningreasoning about actionsprocedural knowledgecontrol knowledgeanswer set planning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (7)

Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic ⋮ Reasoning about actions with Temporal Answer Sets ⋮ Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework ⋮ Logic Programming for Multiagent Planning with Negotiation ⋮ Approximation of action theories and its application to conformant planning ⋮ Logic programming for finding models in the logics of knowledge and its applications: A case study ⋮ plasp 3: Towards Effective ASP Planning

This page was built for publication: Domain-dependent knowledge in answer set planning