Plan synthesis for knowledge and action bases

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2016-January, Issue , 2016, Pages 1022-1029

  Calvanese, Diego ^a   Montali, Marco ^a   Patrizi, Fabio ^a   Stawowy, Michele ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b IMT SCHOOL FOR ADVANCED STUDIES LUCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DATA DESCRIPTION;

DESCRIPTION LOGIC; DYNAMIC FRAMEWORK; FINITE-STATE ABSTRACTION; INFINITE DOMAINS; KNOWLEDGE BASIS (KBS); PLAN SYNTHESIS; QUERY ANSWERING; SOUND AND COMPLETE;

ARTIFICIAL INTELLIGENCE;

EID: 85006100798     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., 1995.
2. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
3. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. Verification of relational data-centric dynamic systems with external services. In Proc. of PODS 2013, pages 163-174, 2013.
4. Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, and Paolo Felli. Description logic Knowledge and Action Bases. J. of Artificial Intelligence Research, 46: 651-686, 2013.
5. Babak Bagheri Hariri, Diego Calvanese, Alin Deutsch, and Marco Montali. State-boundedness in data-aware dynamic systems. In Proc. of KR 2014. AAAI Press, 2014.
6. Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. Verification of agent-based artifact systems. J. of Artificial Intelligence Research, 51: 333-376, 2014.
7. Ron J. Brachman and Hector J. Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann, 2003.
8. Tom Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence, 69(1-2): 165-204, 1994.
9. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. EQL-Lite: Effective first-order query processing in description logics. In Proc. of IJCAI 2007, pages 274-279, 2007.
10. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3): 385-429, 2007.
11. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, and Riccardo Rosati. Ontologies and databases: The DL-Lite approach. In Sergio Tessaris and Enrico Franconi, editors, RW 2009 Tutorial Lectures, volume 5689 of LNCS, pages 255-356. Springer, 2009.
12. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Data complexity of query answering in description logics. Artificial Intelligence, 195: 335-360, 2013.
13. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi. Verification and synthesis in description logic based dynamic systems. In Proc. of RR 2013, volume 7994 of LNCS, pages 50-64. Springer, 2013.
14. Alessandro Cimatti, Marco Pistore, and Paolo Traverso. Automated planning. In Handbook of Knowledge Representation, volume 3 of Foundations of Artificial Intelligence, pages 841-867. Elsevier, 2008.
15. Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, and Stavros Vassos. Progression and verification of situation calculus agents with bounded beliefs. In Proc. ofAAMAS'14, 2014.
16. Conrad Drescher and Michael Thielscher. A fluent calculus semantics for ADL with plan constraints. In Proc. of JELIA 2008, volume 5293 of LNCS, pages 140-152. Springer, 2008.
17. Kutluhan Erol, Dana S. Nau, and V. S. Subrahmanian. Complexity, decidability and undecidability results for domain-independent planning. Artificial Intelligence, 76(1-2): 75-88, 1995.
18. Yi Fan, Minghui Cai, Naiqi Li, and Yongmei Liu. A first-order interpreter for knowledge-based golog with sensing based on exact progression and limited reasoning. In Proc. of AAAI 2012. AAAI Press, 2012.
19. Dov Gabbay, Agnes Kurusz, Frank Wolter, and Michael Zakharyaschev. Many-dimensional Modal Logics: Theory and Applications. Elsevier, 2003.
20. Malik Ghallab, Dana S. Nau, and Paolo Traverso. Automated planning-Theory and Practice. Elsevier, 2004.
21. Birte Glimm, Carsten Lutz, Ian Horrocks, and Ulrike Sattler. Conjunctive query answering for the description logic SHIQ. J. of Artificial Intelligence Research, 31: 151-198, 2008.
22. Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, and Marco Pistore. Message-based web service composition, integrity constraints, and planning under uncertainty: A new connection. J. of Artificial Intelligence Research, 35: 49-117, 2009.
23. Hector J. Levesque and Gerhard Lakemeyer. The Logic of Knowledge Bases. The MIT Press, 2001.
24. Hector J. Levesque. Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23: 155-212, 1984.
25. Magdalena Ortiz, Diego Calvanese, and Thomas Eiter. Data complexity of query answering in expressive description logics via tableaux. J. of Automated Reasoning, 41(1): 61-98, 2008.
26. Edwin P. D. Pednault. ADL and the statetransition model of action. J. of Logic and Computation, 4(5): 467-512, 1994.
27. Frank Wolter and Michael Zakharyaschev. Temporalizing description logic. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems, pages 379-402. Studies Press/Wiley, 1999.
28. Benjamin Zarrieß and Jens Claßen. Verification of knowledge-based programs over description logic actions. In Proc. of IJCAI'15, 2015.