abstract = {Many applications (such as system and user monitoring, runtime verification, diagnosis, observation-based decision making, intention recognition) all require to detect the occurrence of an event in a system, which entails the ability to observe the system. Observation can be costly, so it makes sense to try and reduce the number of observations, without losing full certainty about the event's actual occurrence. In this paper, we propose a formalization of this problem. We formally show that, whenever the event to be detected follows a discrete spatial or temporal pattern, then it is possible to reduce the number of observations. We discuss exact and approximate algorithms to solve the problem, and provide an experimental evaluation of them. We apply the resulting algorithms to verification of linear temporal logics formul{\ae}. Finally, we discuss possible generalizations and extensions, and, in particular, how event detection can benefit from logic programming techniques.},
  affiliation = {Centro de Intelig{\^e}ncia Artificial (CENTRIA), Departamento de Inform{\'a}tica, Faculdade de Ci{\^e}ncias e Tecnologia, Universidade Nova de Lisboa, Caparica, Portugal},
  author = {Alberti, Marco and Dell'Acqua, Pierangelo and Pereira, Lu{\'\i}s Moniz},
  issn = {1012-2443},
  issue = {3},
  journal = {Annals of Mathematics and Artificial Intelligence},
  keyword = {Computer Science},
  note = {10.1007/s10472-011-9259-5},
  pages = {161-186},
  publisher = {Springer Netherlands},
  title = {Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation},
  url = {http://dx.doi.org/10.1007/s10472-011-9259-5},
  volume = {62},
  year = {2011},
  bdsk-url-1 = {http://dx.doi.org/10.1007/s10472-011-9259-5}
  title = {{Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes}},
  journal = {Fundamenta Informaticae},
  year = {2010},
  author = {Marco Montali and Paolo Torroni and Marco Alberti and Federico Chesani and Evelina Lamma and Paola Mello},
  volume = {102},
  number = {3-4},
  pages = {325--361},
  issn = {0169-2968},
  note = {IF: 0.693},
  doi = {10.3233/FI-2010-310},
  abstract = {We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical notation for modeling Business Processes, and on Abductive Logic Programming technology for verification of properties. Empirical evidence shows that our verification method seems to perform and scale better, in most cases, than other state of the art techniques (model checkers, in particular). A detailed study of our framework's theoretical properties proves that our approach is sound and complete when applied to ConDec models that do not contain loops, and it is guaranteed to terminate when applied to models that contain loops.}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma},
  title = {Runtime Addition of Integrity Constraints in Abductive Logic Programs },
  booktitle = {Technical Communications of the 26th International Conference on Logic Programming},
  year = 2010,
  editor = {Manuel Hermenegildo and Torsten Schaub},
  volume = 7,
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  address = {Dagstuhl, Germany},
  month = {July},
  pages = {4-13},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  url = {http://drops.dagstuhl.de/opus/volltexte/2010/2616},
  doi = {10.4230/LIPIcs.ICLP.2010.4},
  isbn = {978-3-939897-17-0},
  issn = {1868-8969}
  author = {Marco Alberti and Pierangelo Dell'Acqua and Lu\'is Moniz Pereira},
  title = {Observation Strategies for Event Detection, with Incidence on Runtime Verification},
  booktitle = {RCRA-2010:
Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
  year = 2010,
  editor = {Marco Gavanelli and Toni Mancini},
  volume = 616,
  series = {CEUR Workshop Proceedings},
  address = {Bologna, Italy},
  month = {June},
  issn = {1613-0073},
  url = {ceur-ws.org/Vol-616/paper03.pdf}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma},
  title = {Runtime Addition of Integrity Constraints in {SCIFF}},
  booktitle = {Proceedings of the 25th Italian Conference on Computational Logic},
  year = {2010},
  editor = {Wolfgang Faber and Nicola Leone},
  volume = {598},
  series = {CEUR workshop proceedings},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-598/paper02.pdf}

This file was generated by bibtex2html 1.98.