Publications

Mario Benevides' publications

Papers in refereed journals

Book chapters

  • Modal Logic for Finite Graphs
  • A Natural Deduction Presentation for Intuitionistic Modal Logics
    • Logic Sets and Information, Ed. W. Carnielli and L. Pereira, CLE-UNICAMP, 1995, 25-59.

Papers in refereed congresses

  • Hybrid Logics and NP Graph Properties
    • Proceedings of the XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), Lecture Notes in Artificial Intelligence, v. 6642. p. 123-134, 2011 (with Francicleber Martins Ferreira, Cibele Matos Freire, Luis Menasché Schechter and Ana T. Martins)
  • K, T and D-like fuzzy Kripke models
    • In: 2011 Annual Meeting of the North American Fuzzy Information Processing, 2011, , El Paso - Texas. Proceedings of NAFIPS 2011, 2011 (with Benjamin C. Bedregal, Regivan N. Santiago and Viana, Petrucio)
  • Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
  • A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus
  • Verification of epistemic properties in probabilistic Multi-Agent Systems
    • 17th German conference on Multi-Agent System Technologies (MATES), 2009, Hamburg, Lecture Notes in Artificial Intelligence v. 5774,. (with Carla Delgado)
  • Product of Graphs and Hybrid Logic
  • Aplicação de Modelos Ocultos de Markov na Teoria dos Jogos
    • Encontro Nacional de Inteligência Artificial ENIA2009, Bento Gonçalves, July 2009 (with Edurado R. Waghabi).
  • Proving Epistemic and Temporal Properties from Knowledge Based Programs
    • Lecture Notes in Computer Science, v. 5249: 134-144. In: Brazilian Symposium on Artificial Intelligence, 2008. (with Michel Calini and Carla Delgado)
  • Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator
    • Proceedings of the XV Brazilian Logic Conference (EBL 2008), CLE e-prints, v. 8, n. 6, 2008. (with Luis Menasché Schechter)
  • A Propositional Dynamic Logic for CCS Programs
    • Proceedings of the XV Workshop on Logic, Language, Information and Computation (Wollic 2008), Lecture Notes in Artificial Intelligence, v. 5110, p. 83-97, 2008. [DOI] (with Luis Menasché Schechter)
  • Modal Expressiveness of Graph Properties
    • (with Mario Benevides), Proceedings of the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007), Electronic Notes in Theoretical Computer Science, v. 205, p. 31-47, 2008. [DOI] (with Luis Menasché Schechter)
  • A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
  • Defining Agents via Strategies: Towards a Game-Theoretical view of MAS
    • Workshop on Radical Agent Concepts, 2005, Washington. Lecture Notes in Computer Science. London : Springer-Verlag, 2005. v. 3825 (with E. H. Haeusler, D. R. Vascocelos).
  • Modalities for Vague Notions
    • In: XVII Brazilian Symposioum on Artificial Intelegence, 2004, São Luis. Lecture Notes in Artificial Intelegence, 2004. Springer, v. 3171: 1-10 (with Carla Delgado, Renata Freitas, Paulo Veloso and Sheila Veloso).
  • Game Prolog
    • In: Sixth Conf. on Logic and The Foundation of Game Theory, 2004, Leipzig, 2004 (with Ricardo Ribeiro).
  • Formalizing concurrent common knowledge as product of modal logics
    • In: Proceedings of Workshop on Combination of Logics: Theory and Applications, CombLog, 2004, Lisboa. Proccedings of the ComLog´04: CLE- e-prints, 2004. v. 4.
  • Building Reliable Web Services Compositions
    • International Workshop Web Services: Research, Standardization and Development, Lecture Notes in Computer Science, Springer-Verlag, Erfurt, Alemanha, outubro de 2002, (with Marta L. Q. Mattoso and Paulo Pires).
  • Expressive power of Fork Arrow Logic
    • WMF'2002: V Workshop de Métodos Formais; Gramado, RS, October 2002 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).
  • Deadlock Detection in Algebraic Specifications for Concurrent Systems
    • WMF'2002: V Workshop de Métodos Formais; Gramado, RS, October 2002 (with Marcelo Sihman).
  • On Hybrid Arrow Logic
    • HyLo@LICS: 4th Workshop on Hybrid Logic {affiliated to LICS 2002}: 53-67; Copenhague, DK, jul. 2002. (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).
  • Reasonning about Events and Knowledge in Distributed Systems
    • CMSRA-2002: Computational Models of Scientific Reasoning and Applications (International Conference on Artificial Intelligence); Las Vegas, 1213-1219, June. 2002 (with Carla Delgado).
  • A Two-dimensional Modal Logic for Knowledge Rpresentation in Asynchrous Multi-Agent Systems
    • CMSRA-2002: Computational Models of Scientific Reasoning and Applications (International Conference on Artificial Intelligence); Las Vegas, 1271-1277, June 2002 (with Vania Costa).
  • Dynamic Logic of Knowledge
    • Encontro Nacional de Inteligência Artificial ENIA2001, Fortaleza, August 2001 (with Carla Delgado).
  • Squares in Fork Modal Logic
    • 8th Workshop on Logic, Language and Computation, Brasilia, August 2001, 77-85 (with Renata Freitas, Petrúcio Viana, Paulo Veloso and Sheila Veloso).
  • A Two-Dimensional Logic for Knowledge in Assynchronous Multi-Agent Systems
  • Mechanisms for Specifying Communication Behavior in Object Oriented Database System
    • ACM 14th Annual Symposium on Applied Computing, Como, Italy, March 2000, 389-397 (with Marta L. Q. Mattoso and Paulo Pires).
  • Axiomatization and Completeness for Fork Modal logic
    • XII Encontro Brasileiro de Lógica, Itatiaia, May 1999 (with Paulo Veloso).
  • Automatic Generation of CCS Specification for Resource Sharing Problems
    • International Conference on Principles of Distributed Systems, published by HERMES, France, December 1997 (with Marcelo Sihman).
  • A Modal Logic for Finite Graphs
    • Eleventh Amsterdam Colloquium - Amsterdam, December 1997.
  • Multiple Database Logic
    • Lecture Notes in Artificial Inteligence, LNAI 946, Springer Verlag, 1995, 28-36.
  • PROMAL: Programming in Modal Action Logic
    • Lecture Notes in Artificial Intelligence, LNAI 991, Springer Verlag, 1995, 101-111 (with Odinaldo Rodrigues).
  • Differentiating Assumptions from Extra-Logical Axioms in Natural deduction
    • Lecture Notes in Computer Science 713, Springer Verlag, 1993, 120-131.

Last updated: October 2014.