Verification and synthesis in description logic based dynamic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7994 LNCS, Issue , 2013, Pages 50-64

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Montali, Marco ^a   Patrizi, Fabio ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; DL-LITE; FIRST-ORDER; KNOWLEDGE BASE;

COMPUTABILITY AND DECIDABILITY; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

EID: 84881145218     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-39666-3_5     Document Type: Conference Paper

References (35)

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley Publ. Co. (1995)
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. of the ACM 49(5), 672-713 (2002)
3. Artale, A., Franconi, E.: Temporal description logics. In: Gabbay, D., Fisher, M., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence. Elsevier (2005)
4. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. on Computational Logic 13(3), 21:1-21:32 (2012)
5. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2013 (2013)
6. Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic Knowledge and Action Bases. J. of Artificial Intelligence Research 46, 651-686 (2013)
7. Baier, C., Katoen, J.P., Guldstrand Larsen, K.: Principles of Model Checking. The MIT Press (2008)
8. Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 319-328 (2012)
9. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70-118 (2005)
10. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifactcentric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
11. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 274-279 (2007)
12. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3), 385-429 (2007)
13. Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., Santoso, A.: Ontology-based governance of data-aware processes. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 25-41. Springer, Heidelberg (2012)
14. Calvanese, D., De Giacomo, G., Lenzerini, M.: Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic 9(3), 22.1-22.31 (2008)
15. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)
16. De Giacomo, G., De Masellis, R., Rosati, R.: Verification of conjunctive artifact-centric services. Int. J. of Cooperative Information Systems 21(2), 111-139 (2012)
17. De Giacomo, G., Felli, P., Patrizi, F., Sardiña, S.: Two-player game structures for generalized planning and agent composition. In: Proc. of the 24th AAAI Conf. on Artificial Intelligence (AAAI 2010), pp. 297-302 (2010)
18. De Giacomo, G., Patrizi, F., Sardiña, S.: Automatic behavior composition synthesis. Artificial Intelligence 196, 106-142 (2013)
19. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 252-267 (2009)
20. Emerson, E.A.: Model checking and the Mu-calculus. In: Immerman, N., Kolaitis, P. (eds.) Proc. of the DIMACS Symposium on Descriptive Complexity and Finite Model, pp. 185-214. American Mathematical Society Press (1997)
21. Gabbay, D., Kurusz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional Modal Logics: Theory and Applications. Elsevier Science Publishers (2003)
22. Ghallab, M., Nau, D.S., Traverso, P.: Automated planning - Theory and Practice. Elsevier (2004)
23. Gu, Y., Soutchanski, M.: A description logic based situation calculus. Ann. of Mathematics and Artificial Intelligence 58(1-2), 3-83 (2010)
24. Jamroga, W.: Concepts, agents, and coalitions in alternating time. In: Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI 2012), pp. 438-443 (2012)
25. Levesque, H.J.: Foundations of a functional approach to knowledge representation. Artificial Intelligence 23, 155-212 (1984)
26. Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press (2001)
27. Lin, F., Reiter, R.: State constraints revisited. J. of Logic Programming 4(5), 655-678 (1994)
28. Martin, D.L., Burstein, M.H., McDermott, D.V., McIlraith, S.A., Paolucci, M., Sycara, K.P., McGuinness, D.L., Sirin, E., Srinivasan, N.: Bringing semantics to web services with OWLS. In: Proc. of the 16th Int. World Wide Web Conf. (WWW2007), pp. 243-277 (2007)
29. Mazala, R.: Infinite games. In: Grädel, E., Thomas, W., Wilke, T. (eds.) Automata, Logics, and Infinite Games. LNCS, vol. 2500, pp. 23-38. Springer, Heidelberg (2002)
30. Park, D.M.R.: Finiteness is Mu-ineffable. Theoretical Computer Science 3(2), 173-181 (1976)
31. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364-380. Springer, Heidelberg (2006)
32. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)
33. Schild, K.: Combining terminological logics with tense logic. In: Damas, L.M.M., Filgueiras, M. (eds.) EPIA 1993. LNCS, vol. 727, pp. 105-120. Springer, Heidelberg (1993)
34. Stirling, C.: Modal and Temporal Properties of Processes. Springer (2001)
35. Wolter, F., Zakharyaschev, M.: Temporalizing description logic. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems, pp. 379-402. Studies Press/Wiley (1999)