­Gerardo Ignacio Simari - Home Page

 


Department of Computer Science and Engineering, Universidad Nacional del Sur in Bahia Blanca and

Institute for Computer Science and Engineering (UNSCONICET)

 

Conference and other links

Neuro Symbolic AI @ Arizona State University – Check out our AAAI-23 tutorial “Advances in Neuro Symbolic Reasoning”

33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)

38th AAAI Conference on Artificial Intelligence (AAAI 2024)

21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)

40th Conference on Uncertainty in Artificial Intelligence (UAI 2024)

16th International Conference on Scalable Uncertainty Management (SUM 2024)

8th International Joint Conference on Rules and Reasoning (RuleML+RR 2024)

15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023)

XXX Congreso Argentino de Ciencias de la Computaciόn (CACIC 2024)

XXVI Workshop de Investigadores en Ciencias de la Computaciόn (WICC 2024)

Argentine Symposium on Artificial Intelligence and Data Science (ASAID 2024 @ JAIIO 53) – In Bahía Blanca!

18th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2024)

 

Gerardo I. Simari
gis@cs.uns.edu.ar

Department of Computer Science and Engineering

Universidad Nacional del Sur

Bahia Blanca, Argentina

Teaching:

·      New! Certificate in Intelligent Cybersecurity (in Spanish – Diplomatura en Ciberseguridad Inteligente)

·      Data Science Program @ DCIC UNS

·      Undergraduate:

o   Gestión de Calidad en el Software (7668)

o   Proyectos de Sistemas de Software (7891)

·       Recent Graduate Teaching:

o   Razonamiento Neurosimbólico (Neuro Symbolic Reasoning, in conjunction between UNS and ASU)

o   Procesamiento Inteligente de Flujos de Datos (Stream Reasoning)

 

Background

-       Universidad Nacional del Sur (UNS) and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET): 2014–Present

·       Investigador Independiente (Independent Researcher) at CONICET: 2022–Present

·       Investigador Adjunto (Adjunct Researcher) at CONICET: 2017–2022

·       Investigador Asistente (Assistant Researcher) at CONICET: 2014–2017

·       Profesor Adjunto (Assistant Professor) at UNS: 2015–Present

·       Director of the Cognitive Engineering and Databases Research Group (CEDB): 2014–Present

·       Member of the Institute for Computer Science and Engineering (ICIC) UNS-CONICET: 2014–Present

·       Member of the AI Research and Development Laboratory (LIDIA): 2014–Present

-       Arizona State University, School of Computing and Augmented Intelligence – Adjunct Professor: 2018–Present

-       University of Oxford: 2011–2014

·       Member of the Information Systems Group: 2011–2014

·       EPSRC Senior Researcher: 2012–2014

·       Fulford Junior Research Fellow at Somerville College, University of Oxford: 2011–2013

·       ERC/Google Postdoctoral Research Assistant: 2011–2012

-       University of Maryland College Park: 2005–2010

·       Member of the Laboratory for Computational Cultural Dynamics (LCCD): 2005–2010

·       Degree: Ph.D. in Computer Science, University of Maryland College Park (2010), under the supervision of V.S. Subrahmanian

·       Degree: Master of Science, University of Maryland College Park (2007)

-       Universidad Nacional del Sur: 1998–2005

·       Member of the AI Research and Development Laboratory (LIDIA): 2002–2005

·       Degree: Magister in Computer Science, Universidad Nacional del Sur, Argentina (2004), under the supervision of Simon D. Parsons and Marcelo A. Falappa

·       Degree: Licenciado in Ciencias de la Computación (Computer Science), Universidad Nacional del Sur, Argentina (2002)

(very short description of the Licenciatura degree according to Wikipedia)

Research Interests

-       Reasoning under Uncertainty

-       Ontology Languages for the Semantic Web

-       Reasoning with Preferences

-       Cyber Security and Cyber Warfare

-       Inconsistency Management in Relational Databases and Ontologies

-       Reasoning about Complex Networks

-       Logic Programming, Probabilistic Logic Programming

-       Autonomous Agents and Multi-agent Systems

-       Belief Revision

Current and Selected Past R&D Projects

-       Tools for Automated Reasoning for the Development of Intelligent Socio-Technical Systems (Universidad Nacional del Sur)

-       Automated Hypothesis Generation in Intelligent Systems with Applications to Cybersecurity (CONICET)

-       HAYSTAC: Hidden Activity Signal and Trajectory Anomaly Characterization (IARPA)

-       SPADE: Strategic Probabilistic Attitudinal Diplomacy Engine (DARPA)

-       MIREL: MIning and REasoning with Legal texts (EU H2020)

-       Reasoning about Cyber Attribution (US Office of Naval Research)

-       Query Answering under Uncertainty in the Semantic Web (Google Research, UK Engineering and Physical Sciences Research Council)

-       Combinatorial and Scalable Initiation in Complex Networks (US Army Research Office)

-       SOMA: Stochastic Opponent Modeling Agents (US Air Force Office of Scientific Research)

-       PAGE: Policy Analytics Generation Engine (US Army Research Office)

-       SIMS: Scalable Incompleteness and Inconsistency Management Strategies (US Office of Naval Research)

-       CARA: Cognitive Architecture for Reasoning about Adversaries (US Air Force Office of Scientific Research)

Selected Publications [ dblp ] [ Google Scholar ] [ Scopus ] [ ORCID ]

~~~ 2024 ~~~

-      Engineering User-centered Explanations to Query Answers in Ontology-driven Socio-technical Systems

Juan Carlos L. Teze, José N. Paredes, Maria Vanina Martinez, Gerardo I. Simari

Semantic Web Journal, In Press, online first in 2023.

-      A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming

Yamil O. O. Soto, Cristhian Ariel Deagustini, Maria Vanina Martinez, Gerardo I. Simari

2024 ACM/SIGAPP Symposium on Applied Computing, Knowledge Representation and Reasoning Track (KRR@SAC), To Appear.

~~~ 2023 ~~~

-      Neuro Symbolic Reasoning and Learning

Paulo Shakarian, Gerardo I. Simari, Chitta Baral, Bowen Xi, Lahari Pokala

SpringerBriefs in Computer Science, Springer 2023, ISBN 978-3-031-39178-1.

-      Scalable Query Answering Under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach

Gaston E. Zanitti, Yamil O. O. Soto, Valentin Lovene, Maria Vanina Martinez, Ricardo O. Rodriguez, Gerardo I. Simari, Demian Wassermann

Neuroinformatics 21(2): 407-425 (2023).

-      A Neuro-symbolic Approach to Argument Comparison in Structured Argumentation

Damián A. Furman, Stephanie A. Malvicini, Maria Vanina Martinez, Paulo Shakarian, Gerardo I. Simari, Yamil O. Soto

22nd International Conference of the Italian Association for Artificial Intelligence (AI3@AI*AI 2023) 2023.

-      A Multi-Agent System for Addressing Cybersecurity Issues in Social Networks

Antonella C. Garcia, Maria Vanina Martinez, Cristhian A. D. Deagustini, Gerardo I. Simari

1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering (ENIGMA@KR 2023), CEUR 3495, pp. 43–54.

~~~ 2022 ~~~

-      Inconsistency-tolerant Query Answering for Existential Rules

Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari

Artificial Intelligence 307.103685 (2022).

-      Local Belief Dynamics in Network Knowledge Bases

Fabio R. Gallo, Gerardo I. Simari, Maria Vanina Martinez, Natalia Abad Santos, Marcelo A. Falappa

ACM Transactions on Computational Logic 23:1–36 (2022).

-      An Approach to Improve Argumentation-Based Epistemic Planning with Contextual Preferences

Juan Carlos L. Teze, Lluis Godo, Gerardo I. Simari

International Journal of Approximate Reasoning 151:130–163 (2022)

-      The HEIC Application Framework for Implementing XAI-based Socio-technical Systems

José N. Paredes, Juan Carlos L. Teze, Maria Vanina Martinez, Gerardo I. Simari

Online Social Networks and Media 32 (2022) 100239.

-      Argumentation-based Query Answering under Uncertainty with Application to Cybersecurity

Mario A. Leiva, Alejandro J. García, Paulo Shakarian, Gerardo I. Simari

Big Data and Cognitive Computing 6(3):91, 2022

-      Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture

Paulo Shakarian, Gerardo I. Simari

Proceedings of the 4th International Conference on Transdisciplinary AI (TransAI 2022), pp. 6370.

~~~ 2021 ~~~

-      Detecting Malicious Behavior in Social Platforms via Hybrid Knowledge- and Data-driven Systems

Jose N. Paredes, Gerardo I. Simari, Maria Vanina Martinez, Marcelo A. Falappa

Future Generation Computer Systems, 125:232–246 (2021).

-      The Big-2/ROSe Model of Online Personality

Gerardo I. Simari, Maria Vanina Martinez, Fabio R. Gallo, Marcelo A. Falappa

Cognitive Computation 13 (5):1198–1214 (2021).

-      Incremental Computation for Structured Argumentation over Dynamic DeLP Knowledge Bases

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo R. Simari

Artificial Intelligence 300, 103553 (2021).

-      Labeled Bipolar Argumentation Frameworks

Melisa G. Escañuela Gonzalez, Maximiliano C. D. Budan, Gerardo I. Simari, Guillermo R. Simari

Journal of Artificial Intelligence Research, 70:1557–1636 (2021).

-      Guest Editorial Argumentation-Based Reasoning

Francesco Parisi, Gerardo I. Simari

IEEE Intelligent Systems 36(2):1557–1636 (2021).

~~~ 2020 ~~~

-      NetDER: An Architecture for Reasoning about Malicious Behavior

Jose N. Paredes, Gerardo I. Simari, Maria Vanina Martinez, Marcelo A. Falappa

Information Systems Frontiers, Information Systems Frontiers 23(1):185201 (2021, online first 2020).

-      Guidelines for the Analysis and Design of Argumentation-based Recommendation Systems

Mario A. Leiva, Maximiliano C.D. Budán, Gerardo I. Simari

IEEE Intelligent Systems, 35(5):28–37, 2020.

-      A Logic Programming Approach to Predict Enterprise-Targeted Cyberattacks

Mohammed Almukaynizi, Ericsson Marin, Malay Shah, Eric Nunes, Gerardo I. Simari, Paulo Shakarian

Data Science in Cybersecurity and Cyberthreat Intelligence. Intelligent Systems Reference Library vol. 177, Springer-Verlag, ISBN 978-3-030-38787-7, pp. 13–32, 2020.

-      Towards Effective and Efficient Approximate Query Answering in Probabilistic DeLP

Mario A. Leiva, Gerardo I. Simari, Alejandro García

Proceedings of the 4th Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AI3@AI*AI 2020), 103109.

~~~ 2019 ~~~

-      Predicting user reactions to Twitter feed content based on personality type and social cues

Fabio R. Gallo, Gerardo I. Simari, Maria Vanina Martinez, Marcelo A. Falappa

Future Generation Computer Systems, 110:918930, 2020 (online first 2019).

-      Cyber Threat Analysis with Structured Probabilistic Argumentation

Mario A. Leiva, Gerardo I. Simari, Guillermo R. Simari, Paulo Shakarian

Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI3@AI*AI 2019), CEUR vol. 2528, pp. 50–64., 2019.

-      BEEF: Balanced English Explanations of Forecasts

Sachin Grover, Chiara Pulice, Gerardo I. Simari, V.S. Subrahmnian

IEEE Transactions on Computational Social Systems, 6(2):350–364, 2019.

-      From Data to Knowledge Engineering for Cybersecurity

Gerardo I. Simari

Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019).

-      Explanation-Friendly Query Answering under Uncertainty

Maria Vanina Martinez, Gerardo I. Simari

Proceedings of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), LNCS vol. 11810, Springer-Verlag, pp. 65–103.

-      DAQAP: Defeasible Argumentation Query Answering Platform

Mario A. Leiva, Gerardo I. Simari, Sebastian Gottifredi, Alejandro J. Garcia, Guillermo Simari

Proceedings of the 13th International Confernce on Flexible Query Answering Systems (FQAS 2019), LNCS vol. 11529, Springer-Verlag, pp. 126–138.

~~~ 2018 ~~~

-      An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo R. Simari

Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

-      Lightweight Tag-Aware Personalized Recommendation on the Social Web Using Ontological Similarity

Zhenghua Xu, Oana Tifrea-Marciuska, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Cheng Chen

IEEE Access 6:35590–35610 (2018).

-      Ontological Query Answering under Many-Valued Group Preferences in Datalog+/-

Bettina Fazzinga, Thoma Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marcisuka

International Journal of Approximate Reasoning 93, 354–371, 2018.

-      Leveraging Probabilistic Existential Rules for Adversarial Deduplication

José N. Paredes, Maria Vanina Martinez, Gerardo I. Simari, Marcelo A. Falappa

Proceedings of the 2nd Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV@IJCAR 2018).

-      DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks

Mohammed Almukaynizi, Ericsson Marin, Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Dipsy Kapoor, Timothy Siedlecki

Proceedings of the 2018 IEEE International Conference on Intelligence and Security Informatics (ISI 2018).

-      First Steps towards Data-Driven Adversarial Deduplication

José N. Paredes, Gerardo I. Simari, Maria Vanina Martinez, Marcelo A. Falappa

Information 9(8):189 (2018).

-      Inferring Quantitative Preferences: Beyond Logical Deduction

Maria Vanina Martinez, Lluis Godo, Gerardo I. Simari

Proceedings of the 12th International Conference on Scalable Uncertainty Management (SUM 2018).

-      At-Risk System Identification via Analysis of Discussions on the Darkweb

Eric Nunes, Paulo Shakarian, Gerardo I. Simari

Proceedings of eCrime 2018 (APWG Symposium on Electronic Crime Research), pp. 1–12.

-      Incremental Computation of Warranted Arguments in Dynamic Defeasible Argumentation: The Rule Addition Case

Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo R. Simari

Proceedings of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018), pp. 911–917.

 

-      Artificial Intelligence Tools for Cyber Attribution

Eric Nunes, Paulo Shakarian, Gerardo I. Simari, Andrew Ruef

SpringerBriefs in Computer Science, 1st. Edition (2018), ISBN 978-3-319-73787-4.

 

~~~ 2017 ~~~

-      Reasoning about Sentiment and Knowledge Diffusion in Social Networks

Fabio R. Gallo, Gerardo I. Simari, Maria Vanina Martinez, Natalia Abad Santos, Marcelo A. Falappa

IEEE Internet Computing 21(6)8–17, 2017.

-      A Probabilistic Logic of Cyber Deception

Sushil Jajodia, Noseong Park, Fabio Pierazzi, Andrea Pugliese, Edoardo Serra, Gerardo I. Simari, V.S. Subrahmanian

IEEE Transactions on Information Forensics and Security, 12(11):2532–2544.

-      Ontology-Based Data Access Leveraging Subjective Reports

Gerardo I. Simari, Cristian Molinaro, Maria Vanina Martinez, Livia Predoiu, Thomas Lukasiewicz

SpringerBriefs in Computer Science, 1st. Edition (2017), ISBN 978-3-319-65229-0.

-      Measuring Cyber Attribution In Games­­­

Andrew Ruef, Eric Nunes, Paulo Shakarian, Gerardo I. Simari

Proceedings of eCrime 2017 (Symposium on Electronic Crime Research), pp. 28–32.

-      A First Approach to Belief Dynamics in Complex Social Networks

Fabio R. Gallo, Gerardo I. Simari, Maria Vanina Martinez, Natalia Abad Santos, Marcelo A. Falappa

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2017).

-      An Approach to Characterize Graded Entailment of Arguments through a Label-based Framework

Maximiliano Budán, Gerardo I. Simari, Ignacio Viglizzo, Guillermo R. Simari

International Journal of Approximate Reasoning 82, 242–269.

~~~ 2016 ~~~

-      AI’s 10 to Watch

Haris Aziz, Elias Bareinboim, Yejin Choi, Daniel J. Hsu, Shivaram Kalyanakrishnan, Reshef Meir, Suchi Saria, Gerardo I. Simari, Lirong Xia, William Yeoh

IEEE Intelligent Systems 31(1): 56–66, 2016.

-      Probabilistic Models over Weighted Orderings: Fixed-Parameter Tractable Variable Elimination

Thomas Lukasiewicz, Maria Vanina Martinez, David Poole, and Gerardo I. Simari

Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pp. 494–504.

-      Basic Probabilistic Ontological Data Exchange with Existential Rules

Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, and Gerardo I. Simari

Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016).

-      A Quantitative Approach to Belief Revision in Structured Probabilistic Argumentation

Gerardo I. Simari, Paulo Shakarian, and Marcelo A. Falappa

Annals of Mathematics and Artificial Intelligence, 76(3–4):375–408, 2016.

-      Argumentation Models for Cyber Attribution

Eric Nunes, Paulo Shakarian, Gerardo I. Simari, and Andrew Ruef

Proceedings of the 2016 International Symposium on Foundations of Open Source Intelligence and Security Informatics (FOSINT-SI 2016).

Selected by the FOSINT-SI Program Committee as the Best Paper.

-      Using Argument Features to Improve the Argumentation Process

Maximiliano C. D. Budan, Gerardo I. Simari, and Guillermo R. Simari

Proceedings of the 6th International Conference on Computational Models of Argument (COMMA 2016).

-      Toward Argumentation-based Cyber Attribution

Eric Nunes, Paulo Shakarian, and Gerardo I. Simari

Proceedings of the AAAI-16 Workshop on Artificial Intelligence for Cyber Security (AICS 2016).

-      Belief Revision in Structured Probabilistic Argumentation: Model and Application to Cyber Security

Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Damon Paulo, Simon Parsons, Marcelo A. Falappa, and Ashkan Aleali

Annals of Mathematics and Artificial Intelligence, 78(34), 259301, 2016.

-      Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports

Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, and Gerardo I. Simari

Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications 2016: ISBN 978-1-84890-198-8, pp. 175–194.

~~~ 2015 ~~~

-      Combining Existential Rules with the Power of CP-Theories

Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2918–2925.

-      From Classical to Consistent Query Answering under Existential Rules

Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, and Gerardo I. Simari

Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1546–1552.

-      A Desiderata for Modeling and Reasoning with Social Knowledge

Fabio R. Gallo, Natalia Abad Santos, Gerardo I. Simari, and Marcelo A. Falappa

Proceedings of the 21st Argentine Conference on Computer Science (CACIC 2015).

-      Considering Fuzzy Valuations as Meta-level Information in Arguments

Maximiliano C. D. Budan, Gerardo I. Simari, Ignacio Viglizzo, and Guillermo R. Simari

Proceedings of the 3rd Workshop on Weighted Logics for Artificial Intelligence (WL4AI 2015, in conjunction with IJCAI 2015), pp. 17–24.

-      Preference-based Query Answering in Probabilistic Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Journal on Data Semantics, 4(2):81–101, 2015.

-      Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange

Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, and Gerardo I. Simari

Proceedings of the 9th International Web Rule Symposium (RuleML 2015), pp. 294–310.

Selected by the RuleML Program Committee as the Best Paper.

-      Cyber Attribution: An Argumentation-Based Approach

Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, and Simon Parsons

Cyber Warfare: Building the Scientific Foundation, Sushil Jajodia et al. (Eds.), 2015, pp. 151–171.

-      Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, Livia Predoiu, and Gerardo I. Simari

Department of Computer Science, University of Oxford, Technical Report RR-15-01, January 2015.

~~~ 2014 ~~~

-      Probabilistic Preference Logic Networks

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp 561–566.

-      Ontology-based Query Answering with Group Preferences

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

ACM Transactions on Internet Technology, 14(4):25, 2014

-      An Argumentation-based Framework to Address the Attribution Problem in Cyber-Warfare

Paulo Shakarian, Gerardo I. Simari, Geoffrey Moores, Simon Parsons, and Marcelo A. Falappa

Proceedings of the 3rd ASE International Conference on Cyber Security (CyberSecurity 2014).

-      Answering Ontological Ranking Queries based on Subjective Reports

Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, and Gerardo I. Simari

Proceedings of the 8th International Conference on Scalable Uncertainty Management (SUM 2014), 223–236.

-      A General Framework for Inconsistency-Tolerant Query Answering in Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Department of Computer Science, University of Oxford, Technical Report RR-14-04, May 2014.

-      Policy-based Inconsistency Management in Relational Databases

Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, and V.S. Subrahmanian

International Journal of Approximate Reasoning 55(2): 501–528.

-      Computing k-rank Answers with Ontological CP-Nets

Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the 22nd Italian Symposium on Advanced Database Systems (SEBD 2014).

-      Answering Ontological Ranking Queries based on Subjective Reports

Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, and Gerardo I. Simari

Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), 127–140.

-      Computing k-rank Answers with Ontological CP-Nets

Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), 74–87.

-      Belief Revision in Structured Probabilistic Argumentation

Paulo Shakarian, Gerardo I. Simari, and Marcelo A. Falappa

Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2014), pp. 324–343.

-      Stochastic Reasoning with Action Probabilistic Logic Programs

Gerardo I. Simari

AI Communications 27:157–159, 2014

-      Data-driven Algorithms for Policy Generation

Austin Parker, Gerardo I. Simari, Amy Sliva, and V.S. Subrahmanian

SpringerBriefs in Computer Science, ISBN 978-1-4939-0273-6.

~~~ 2013 ~~~

-      Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report)

Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, and Gerardo I. Simari

arXiv:1312.0032 [cs.AI].

-      Preference-based Query Answering in Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 23rd International Conference on Artificial Intelligence (IJCAI 2013), pp. 10171023.

-      Reasoning about Complex Networks: A Logic Programming Approach

Paulo Shakarian, Gerardo I. Simari, and Devon Callahan

Proceedings of the 29th International Conference on Logic Programming (ICLP 2013, Tech. Comm.), Theory and Practice of Logic Programming, vol. 13:(45): Online Supplement, July 2013.

-      Group Preferences for Query Answering in Probabilistic Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the 2013 International Conference on Web Intelligence (WI 2013), pp. 171–178.

-      Preference-based Query Answering in Probabilistic Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 12th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE 2013), LNCS 8185, pp. 488–500.

-      Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 12th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE 2013), LNCS 8185, pp. 501–518.

-      Group Preferences for Query Answering in Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM 2013), LNCS 8078, pp. 360–373.

-      Reasoning with Semantic-Enabled Qualitative Preferences

Tommaso Di Noia, Thomas Lukasiewicz, and Gerardo I. Simari

Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM 2013), LNCS 8078, pp. 374–386.

-      Preference-based Query Answering in Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR vol. 1014, pp. 804–815.

-      Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR vol. 1014, pp. 791803.

-      Reasoning with DL-based CP-nets

Tommaso Di Noia, Thomas Lukasiewicz, and Gerardo I. Simari

Proceedings of the 26th International Workshop on Description Logics (DL 2013), CEUR vol. 1014, pp. 640651

-      Query Answering in Datalog+/- Ontologies under Group Preferences and Probabilistic Uncertainty

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Proceedings of the 2nd International Workshop on Data Management in the Social Semantic Web (DMSSW 2013), ICWE Workshops, pp. 192–206.

-      Query Answering under Probabilistic Uncertainty in Datalog+/- Ontologies

Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Annals of Mathematics and Artificial Intelligence 69(1):37–72, 2013.

-      MANCaLog: A Logic for Multi-Attribute Network Cascades

Paulo Shakarian, Gerardo I. Simari, and Robert Schroeder

Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), pp. 1175–1176.

A full version of this paper can be found here.

-      Parallel Abductive Query Answering in Probabilistic Logic Programs

Gerardo I. Simari, John P. Dickerson, Amy Sliva, and V.S. Subrahmanian

ACM Transactions on Computational Logic 14(2), 2013.

-      Policy Analytics Generation using Action Probabilistic Logic Programs

Gerardo I. Simari, John P. Dickerson, Amy Sliva, and V.S. Subrahmanian

Handbook of Computational Approaches to Counter-Terrorism, Springer-Verlag 2013, ISBN 978-1-4614-5311-6, pp. 515–542.

-      SOMA: Stochastic Opponent Modeling Agents for Forecasting Violent Behavior

Amy Sliva, Gerardo I. Simari, Maria Vanina Martinez, and V.S. Subrahmanian

Handbook of Computational Approaches to Counter-Terrorism, Springer-Verlag 2013, ISBN 978-1-4614-5311-6, pp. 99–127.

-      Tractable Probabilistic Description Logic Programs

Thomas Lukasiewicz and Gerardo I. Simari

Advances in Probabilistic Databases for Uncertain Information Management. Studies in Fuzziness and Soft Computing, Springer-Verlag 2013, vol. 304, ISBN 978-3-642-37508-8, pp. 131–159.

~~~ 2012 ~~~

-      Heuristic Ranking in Tightly Coupled Probabilistic Description Logics

Thomas Lukasiewicz, Maria Vanina Martinez, Giorgio Orsi, and Gerardo I. Simari

Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI 2012), pp. 554–563.

-      Inconsistency Handling in Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 558–563

-      Consistent Answers in Probabilistic Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), LNCS vol. 7497, pp. 156–171.

-      Inconsistency-Tolerant Query Rewriting for Linear Datalog+/-

Thomas Lukasiewicz, Maria Vanina Martinez, and Gerardo I. Simari

Proceedings of the 2nd Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2012), LNCS vol. 7494, pp. 123–134.

-      Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation

Paulo Shakarian, Gerardo I. Simari, and V.S. Subrahmanian

ACM Transactions on Computational Logic 13(2):13, April 2012.

-      Focused Most Probable World Computations in Probabilistic Logic Programs

Gerardo I. Simari, Maria Vanina Martinez, Amy Sliva, and V.S. Subrahmanian

Annals of Mathematics and Artificial Intelligence 64(2-3): 113–143, May 2012.

~~~ 2011 ~~~

-      Markov Decision Processes and the Belief-Desire-Intention Model: Bridging the Gap for Autonomous Agents

Gerardo I. Simari and Simon D. Parsons

SpringerBriefs in Computer Science Series, 1st Edition (2011), ISBN 978-1-4614-1471-1.

-      Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies

Georg Gottlob, Thomas Lukasiewicz, and Gerardo I. Simari

Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), LNCS vol. 6902, pp. 77–92.

-      Answering Threshold Queries in Probabilistic Datalog+/- Ontologies

Georg Gottlob, Thomas Lukasiewicz, and Gerardo I. Simari

Proceedings of the 5th International Conference on Scalable Uncertainy Management (SUM 2011), LNCS vol. 6929, pp. 401–414.

-      Approximate Achievability in Event Databases

Austin Parker, Gerardo I. Simari, Amy Sliva, and V.S. Subrahmanian

Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), LNCS vol. 6717, pp. 737–748.

-      Annotated Probabilistic Temporal Logic

Paulo Shakarian, Austin Parker, Gerardo I. Simari, and V.S. Subrahmanian

ACM Transactions on Computational Logic 12(2):14, January 2011.

~~~ 2010 ~~~

-      Cost-based Query Answering in Action Probabilistic Logic Programs

Gerardo I. Simari, John Dickerson, and V.S. Subrahmanian

Proceedings of the 4th International Conference on Scalable Uncertainy Management (SUM 2010), LNCS 6379, pp. 319–332.

-      Efficient Policy-based Inconsistency Management in Relational Databases

Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, and V.S. Subrahmanian

Proceedings of the 4th International Conference on Scalable Uncertainy Management (SUM 2010), LNCS 6379, pp. 264–277.

-      Abductive Inference in Probabilistic Logic Programs

Gerardo I. Simari and V.S. Subrahmanian

26th International Conference on Logic Programming (ICLP 2010), Tech. Comm., LIPIcs vol. 7, pp. 192–201.

-      A Graph-Theoretic Approach to Protect Static and Moving Targets from Adversaries

John Dickerson, Gerardo I. Simari, Sarit Kraus, and V.S. Subrahmanian

Proceedings of the 9th International Conference on Agents and Multiagent Systems (AAMAS 2010)

Toronto, Canada, May 10-14, 2010, pp. 299–306.

~~~ 2009 ~~~

-      Using Histograms to Better Answer Queries to Probabilistic Logic Programs

Matthias Broecheler, Gerardo I. Simari, and V.S. Subrahmanian

25th International Conference on Logic Programming (ICLP 2009), LNCS vol. 5649, pp. 40–54.

Selected by the ICLP 2009 Program Committee as the Best Student Paper.

-      Aggregate Query Answering under Uncertain Schema Mappings

Avigdor Gal, Maria Vanina Martinez, Gerardo I. Simari, and V.S. Subrahmanian

Proceedings of the 25th International Conference on Data Engineering (ICDE 2009), pp. 940–951.

-      CAPE: Automatically Predicting Changes in Group Behavior

Amy Sliva, V.S. Subrahmanian, Maria Vanina Martinez, and Gerardo I. Simari

Mathematical Methods in Counterterrorism, N. Memon, J. D. Early, D. L. Hicks, and T. Rosenorn (Eds.) Springer-Verlag, 2009, pp. 247263.

~~~ 2008 ~~~

-      Scaling Most Probable World Computations in Probabilistic Logic Programs

Gerardo I. Simari, Maria Vanina Martinez, Amy Sliva, and V.S. Subrahmanian

Proceedings of the 2nd International Conference on Scalable Uncertainy Management (SUM 2008), LNCS vol. 5291, pp. 372385.

-      Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment

Gerardo I. Simari, Matthias Broecheler, Sarit Kraus, and V.S. Subrahmanian

Proceedings of the 11th International Conference on Knowledge Representation and Reasoning (KR 2008), pp. 56–69.

-      Inconsistency Management Policies

Maria Vanina Martinez, Francesco Parisi, Andrea Pugliese, Gerardo I. Simari, and V.S. Subrahmanian

Proceedings of the 11th International Conference on Knowledge Representation and Reasoning (KR 2008), pp. 367–377.

-      CONVEX: Similarity-based Algorithms for Forecasting Group Behavior

Vanina Martinez, Gerardo I. Simari, Amy Sliva, and V.S. Subrahmanian

IEEE Intelligent Systems, vol. 23, no. 4, pp. 5157, Jul/Aug 2008.

-      The SOMA Terror Organization Portal (STOP): Social Network and Analytic Tools for the Real-time Analysis of Terror Groups

Vanina Martinez, Gerardo Simari, Amy Sliva, and V.S. Subrahmanian

Proceedings of the First International Workshop on Social Computing, Behavioral Modeling, and Prediction, pp. 9–18.

~~~ 2007 ~~~

-       Computing Most Probable Worlds of Action Probabilistic Logic Programs: Scalable Estimation for 10^30,000 Worlds

Samir Khuller, Maria Vanina Martinez, Dana Nau, Gerardo Simari, Amy Sliva, and V.S. Subrahmanian

Annals of Mathematics and Artificial Intelligence, vol. 51, no. 2-4, pp. 295331, December 2007.

 

-      Finding Most Probable Worlds of Probabilistic Logic Programs

Samir Khuller, Maria Vanina Martinez, Dana Nau, Gerardo Simari, Amy Sliva, and V.S. Subrahmanian

Proceedings of the First International Conference on Scalable Uncertainty Management (SUM 2007), LNCS vol. 4772, pp. 45–59, ISBN: 978-3-540-75407-7.

-      How Dirty is your Relational Database? An Axiomatic Approach

Maria Vanina Martinez, Andrea Pugliese, Gerardo I. Simari, V.S. Subrahmanian, and Henri Prade

Proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), LNCS vol. 4724, pp. 103–114, ISBN: 978-3-540-75255-4.

-      SOMA Models of the Behaviors of Stakeholders in the Afghan Drug Economy: A Preliminary Report

Amy Sliva, Maria Vanina Martinez, Gerardo I. Simari, and V.S. Subrahmanian

Proceedings of the First International Conference on Computational Cultural Dynamics (ICCCD 2007), pp. 78–86, AAAI Press, ISBN: 978-1-57735-342-3.

-      CARA: A Cultural Adversarial Reasoning Architecture

V. S. Subrahmanian, Massimiliano Albanese, Maria Vanina Martinez, Dana Nau, Diego Recupero,

Gerardo I. Simari, Amy Sliva, Octavian Udrea, and Jonathan Wilkenfeld

IEEE Intelligent Systems, vol. 22, no. 2, pp 12-16, Mar/Apr 2007.

~~~ 2006 ~~~

-      A GPS-Based On-Demand Shuttle Bus System

Maria Vanina Martinez, Gerardo I. Simari, Carlos D. Castillo, and Nir Peer

Technical Report - Department of Computer Science, University of Maryland College Park, Dec. 2006.

-      A Stochastic Language for Modeling Opponent Agents

Gerardo I. Simari, Amy Sliva, V.S. Subrahmanian, and Dana Nau

Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2006), pp. 244–246.

-      On the Relationship between MDPs and the BDI Architecture

Gerardo I. Simari and Simon D. Parsons

Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2006), pp. 1041–1048.

~~~ 2004 ~~~

-      Rational Decision Making in Autonomous Agents (Master’s Thesis)

Gerardo I. Simari

Department of Computer Science and Engineering, Universidad Nacional del Sur, Bahia Blanca, Argentina (2004)

Thesis Advisors: Simon D. Parsons and Marcelo A. Falappa

Thesis Referees: Milind Tambe and Martijn Schut

-      On Approximating the Best Decision for an Autonomous Agent

Gerardo I. Simari and Simon D. Parsons

Sixth Workshop on Game Theoretic and Decision Theoretic Agents (GTDT 2004) @ AAMAS 2004, pp. 91–100.

-      Designing an Agent System for Controlling a Robotic Soccer Team

Alejandro J. Garcia, Gerardo I. Simari, and Telma Delladio

X Argentine Conference on Computer Science (CACIC 2004), La Matanza, Buenos Aires, Argentina.

-      Non Prioritized Answer Set Revision

Gerardo I. Simari and Marcelo A. Falappa

X Argentine Conference on Computer Science (CACIC 2004), La Matanza, Buenos Aires, Argentina.

 

-      Cognitive Robotics in a Soccer Game Domain: A Proposal for the E-League Competition

Alejandro J. Garcia, Gerardo I. Simari, Telma Delladio, Diego Garcia, Mariano Tucat, Nicolas D. Rotstein, Fernando A. Martin, and Sebastian Gottifredi

VI Workshop of Researchers in Computer Science (WICC 2004)

Universidad Nacional del Comahue, Neuquen, Provincia de Neuquen, Argentina.

-      Rational Decision Making in Autonomous Agents

Gerardo I. Simari and Simon D. Parsons

VI Workshop of Researchers in Computer Science (WICC 2004)

Universidad Nacional del Comahue, Neuquen, Provincia de Nequen, Argentina.

-      Non Prioritized Belief Revision with AnsProlog*

Gerardo I. Simari and Marcelo A. Falappa

VI Workshop of Researchers in Computer Science (WICC 2004)

Universidad Nacional del Comahue, Neuquen, Provincia de Neuquen, Argentina.

~~~ 2003 ~~~

-      On the Problem of Comparing Two Models for Rational Decision Making in Autonomous Agents

Simon D. Parsons and Gerardo I. Simari

IX Argentine Conference on Computer Science (CACIC 2003)

Universidad Nacional de La Plata, La Plata, Provincia de Buenos Aires, Argentina.

-      Belief Dynamics and Explanations in AnsProlog*

Gerardo I. Simari and Marcelo A. Falappa

IX Argentine Conference on Computer Science (CACIC 2003)

Universidad Nacional de La Plata, La Plata, Provincia de Buenos Aires, Argentina.

-      The Monkey and Bananas Problem Revisited: A Situation Calculus Approach

Gerardo I. Simari, Diego R. Garcia, and Gabriel R. Filocamo

IX Argentine Conference on Computer Science (CACIC 2003)

Universidad Nacional de La Plata, La Plata, Provincia de Buenos Aires, Argentina.

-      A General Approach to the Implementation of Action Theories

Gerardo I. Simari, Diego R. Garcia, and Gabriel R. Filocamo

V Workshop of Researchers in Computer Science (WICC 2003)

Universidad Nacional del Centro, Tandil, Provincia de Buenos Aires, Argentina.

-      Non Prioritized Reasoning in Intelligent Agents

Marcelo A. Falappa and Gerardo I. Simari

V Workshop of Researchers in Computer Science (WICC 2003)

Universidad Nacional del Centro, Tandil, Provincia de Buenos Aires, Argentina.

~~~ 2002 ~~~

-      A Primer on Zero Knowledge Protocols

Gerardo I. Simari

Technical Report - Universidad Nacional del Sur, Bahia Blanca, Buenos Aires, Argentina, 2002.

 Other Links

-      Guillermo Ricardo Simari - Home Page

-      Patricio Dario Simari - Home Page

-      Maria Vanina Martinez - Home Page

-      Paulo Shakarian - Google Scholar

-      Department of Computer Science, University of Oxford

-      Department of Computer Science, University of Maryland College Park

-      University of Maryland Institute for Advanced computer Studies (UMIACS)

-      Laboratory for Computational Cultural Dynamics (LCCD) 

-      RoboCup 2004 ELeague Team (MateBots Home Page)

-      24th International Joint Conference on Artificial Intelligence (IJCAI 2015 – in Buenos Aires, Argentina)

-      Society for Imprecise Probability: Theories and Applications (SIPTA)

-      Touristic information about Bahia Blanca, Buenos Aires, and Argentina in general


Contact Information
 

Address:

Departamento de Ciencias e Ingeniería de la Computación, Universidad Nacional del Sur

San Andres 800 (Campus Palihue)

(8000) Bahía Blanca

ARGENTINA

 

 

Phone:  ++ 54 (0) 291 459 5135
Fax: ++ 54 (0) 291 459 5136