Simari Gerardo

2026

Misc Argumentación abstracta y análisis contextual de debates complejos Coronel I.M., Simari G.I., Budán M.C.D. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Misc Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments 2026 A.F.A.I., Bastian N.D., Corcoran J., Kricheli J.S., Leiva M. et al. Open MIND DOI: 10.48448/cfbc-xq62
Article Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments Leiva M., Ngu N., Kricheli J.S., Taparia A., Senanayake R. et al. Proceedings of the AAAI Conference on Artificial Intelligence DOI: 10.1609/aaai.v40i23.38996

2025

Article A Principle-based Framework for Analyzing Dialogue Game-based Semantics Soto Y., Cohen A., Deagustini C.A.D., Martínez M.V., Simari G.I. Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning DOI: 10.24963/kr.2025/54
Article The Impact of Strategic Communication in Coopetitive Multiagent Settings Baldwin J., Birnbaum L., Chan D., Denisenko N., Nau D. et al. IEEE Transactions on Computational Social Systems DOI: 10.1109/tcss.2024.3522676
Chapter Assessing Disease Comorbidity in Hospital Patients through Machine Learning and Network Analysis Techniques Gibert-Garcia L., Piñero G., Soto A.J., Maguitman A.G., Simari G.I. et al. Intelligent systems reference library DOI: 10.1007/978-3-031-95044-5_3
Article Abduction of Domain Relationships from Data for VQA Chowdhury A.M.S., Shakarian P., Simari G.I. Electronic Proceedings in Theoretical Computer Science DOI: 10.4204/eptcs.416.15
Article Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing Bavikadi D., Aditya D., Parkar D., Shakarian P., Mueller G. et al. Electronic Proceedings in Theoretical Computer Science DOI: 10.4204/eptcs.416.24
Article Probabilistic Foundations for Metacognition via Hybrid-AI Shakarian P., Simari G.I., Bastian N.D. Proceedings of the AAAI Symposium Series DOI: 10.1609/aaaiss.v5i1.35618
Article Multiple Distribution Shift - Aerial (MDS-A): A Dataset for Test-Time Error Detection and Model Adaptation Ngu N., Taparia A., Simari G.I., Leiva M., Senanayake R. et al. Proceedings of the AAAI Symposium Series DOI: 10.1609/aaaiss.v5i1.35616
Chapter Assessing the Feasibility of Predicting Social Network Users’ Behavior Using Linguistic and Social Cues Malvicini S.A., Pardal N., Alemany L.A., Martínez M.V., Simari G.I. Frontiers in artificial intelligence and applications DOI: 10.3233/faia250580
Preprint AI Debaters are More Persuasive when Arguing in Alignment with Their Own Beliefs Carro M.V., Mester D.A., Nieto F., Stanchi O.A., Bergman G.E. et al. ArXiv.org DOI: 10.48550/arxiv.2510.13912
Preprint VLC Fusion: Vision-Language Conditioned Sensor Fusion for Robust Object Detection Taparia A., Ngu N., Leiva M., Kricheli J.S., Corcoran J. et al. ArXiv.org DOI: 10.48550/arxiv.2505.12715
Preprint Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Mukherji K., Patil J.M., Aditya D., Shakarian P., Parkar D. et al. ArXiv.org DOI: 10.48550/arxiv.2509.02958

2024

Article Neighborhood-based argumental community support in the context of multi-topic debates Coronel I.M., Gonzalez M.G.E., Martínez D.C., Simari G.I., Budán M.C.D. International Journal of Approximate Reasoning DOI: 10.1016/j.ijar.2024.109189
Article A Mathematical Conceptualization of Bundle Sets in Defeasible Logic Programming Soto Y., Deagustini C.A.D., Martínez M.V., Simari G.I. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing DOI: 10.1145/3605098.3636042
Chapter Towards a Dialogue Game-Based Semantics for Extended Abstract Argumentation Frameworks Based on Indecision-Blocking Soto Y., Deagustini C.A.D., Martínez M.V., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-031-76235-2_33
Preprint Unveiling Argumentative Communities in Online Discourse Through Ad-Populum Argumentation Schemes Budán P.D., Debórtoli M.J., Budán M.C.D., Simari G.I., Martínez M.V. SSRN Electronic Journal DOI: 10.2139/ssrn.5046688
Preprint Do Large Language Models Show Biases in Causal Learning? Carro M.V., Selasco F.G., Mester D.A., Gonzales M., Leiva M. et al. arXiv (Cornell University) DOI: 10.48550/arxiv.2412.10509

2023

Book Neuro Symbolic Reasoning and Learning Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8
Chapter Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_3
Article Engineering user-centered explanations to query answers in ontology-driven socio-technical systems Teze J.C., Paredes J.N., Martínez M.V., Simari G.I. Semantic Web DOI: 10.3233/sw-233297
Chapter Neuro Symbolic Applications Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_11
Chapter LTN: Logic Tensor Networks Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_4
Chapter Brief Introduction to Propositional Logic and Predicate Calculus Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_2
Chapter Neuro Symbolic Learning with Differentiable Inductive Logic Programming Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_8
Chapter Neuro Symbolic Reasoning with Ontological Networks Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_5
Chapter Understanding SATNet: Constraint Learning and Symbol Grounding Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_9
Chapter LNN: Logical Neural Networks Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_6
Chapter Neuro Symbolic AI for Sequential Decision Making Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_10
Chapter NeurASP Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_7
Chapter New Ideas in Neuro Symbolic Reasoning and Learning Shakarian P., Baral C., Simari G.I., Xi B., Pokala L. SpringerBriefs in computer science DOI: 10.1007/978-3-031-39179-8_1

2018

Article At-risk system identification via analysis of discussions on the darkweb Nunes E., Shakarian P., Simari G.I. 2018 APWG Symposium on Electronic Crime Research (eCrime) DOI: 10.1109/ecrime.2018.8376211
Article DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks Almukaynizi M., Marin E., Nunes E., Shakarian P., Simari G.I. et al. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI) DOI: 10.1109/isi.2018.8587334
Article An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases. Alfano G., Greco S., Parisi F., Simari G.I., Simari G.R. Principles of Knowledge Representation and Reasoning
Article Lightweight Tag-Aware Personalized Recommendation on the Social Web Using Ontological Similarity Xu Z., Tifrea-Marciuska O., Lukasiewicz T., Martínez M.V., Simari G.I. et al. IEEE Access DOI: 10.1109/access.2018.2850762
Article Incremental computation of warranted arguments in dynamic defeasible argumentation Alfano G., Greco S., Parisi F., Simari G.I., Simari G.R. Proceedings of the 33rd Annual ACM Symposium on Applied Computing DOI: 10.1145/3167132.3167232
Book Artificial Intelligence Tools for Cyber Attribution Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1
Chapter Inferring Quantitative Preferences: Beyond Logical Deduction Martínez M.V., Godo L., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-030-00461-3_29
Article First Steps towards Data-Driven Adversarial Deduplication Paredes J.N., Simari G.I., Martínez M.V., Falappa M.A. Information DOI: 10.3390/info9080189
Article Leveraging Probabilistic Existential Rules for Adversarial Deduplication. Paredes J.N., Martínez M.V., Simari G.I., Falappa M.A.
Chapter Baseline Cyber Attribution Models Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_2
Chapter Enhanced Data Collection for Cyber Attribution Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_6
Chapter Applying Argumentation Models for Cyber Attribution Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_5
Chapter Belief Revision in DeLP3E Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_4
Chapter Argumentation-Based Cyber Attribution: The DeLP3E Model Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_3
Preprint DARKMENTION: A Deployed System to Predict Enterprise-Targeted External Cyberattacks Almukaynizi M., Marin E., Nunes E., Shakarian P., Simari G.I. et al. arXiv (Cornell University) DOI: 10.48550/arxiv.1810.12492
Chapter Conclusion Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_7
Article Table of contents Riddle-Workman E., Evangelou M., Adams N.M., Haque A., Kamdem G. et al. 2018 IEEE International Conference on Intelligence and Security Informatics (ISI) DOI: 10.1109/isi.2018.8587370
Chapter Introduction Nunes E., Shakarian P., Simari G.I., Ruef A. SpringerBriefs in computer science DOI: 10.1007/978-3-319-73788-1_1
Preprint First Steps towards Data-driven Adversarial Deduplication Paredes J.N., Simari G.I., Martínez M.V., Falappa M.A. Preprints.org DOI: 10.20944/preprints201806.0425.v2
Preprint First Steps towards Data-driven Adversarial Deduplication Paredes J., Simari G.I., Martínez M.V., Falappa M.A. Preprints.org DOI: 10.20944/preprints201806.0425.v1

2017

Article A Probabilistic Logic of Cyber Deception Jajodia S., Park N., Pierazzi F., Pugliese A., Serra E. et al. IEEE Transactions on Information Forensics and Security DOI: 10.1109/tifs.2017.2710945
Article Ontological query answering under many-valued group preferences in Datalog+/– Fazzinga B., Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. International Journal of Approximate Reasoning DOI: 10.1016/j.ijar.2017.11.008
Article Measuring cyber attribution in games Ruef A., Nunes E., Shakarian P., Simari G.I. 2017 APWG Symposium on Electronic Crime Research (eCrime) DOI: 10.1109/ecrime.2017.7945051
Book Ontology-Based Data Access Leveraging Subjective Reports Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0
Article Reasoning about Sentiment and Knowledge Diffusion in Social Networks Gallo F.R., Simari G.I., Martínez M.V., Falappa M.A., Santos N.A. IEEE Internet Computing DOI: 10.1109/mic.2017.4180838
Article A First Approach to Belief Dynamics in Complex Social Networks. Gallo F.R., Simari G.I., Martínez M.V., Santos N.A., Falappa M.A. AMW
Chapter Subjective Data: Model and Query Answering Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0_3
Chapter Models for Representing User Preferences Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0_2
Chapter Related Research Lines Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0_4
Chapter Ontology-Based Data Access with Datalog+/− Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0_1
Misc Erratum to: Ontology-Based Data Access with Datalog +/- Simari G.I., Molinaro C., Martínez M.V., Lukasiewicz T., Predoiu L. SpringerBriefs in computer science DOI: 10.1007/978-3-319-65229-0_5

2016

Article Argumentation models for cyber attribution Nunes E., Shakarian P., Simari G.I., Ruef A. 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) DOI: 10.1109/asonam.2016.7752335
Article An approach to characterize graded entailment of arguments through a label-based framework Budán M.C.D., Simari G.I., Viglizzo I., Simari G.R. International Journal of Approximate Reasoning DOI: 10.1016/j.ijar.2016.12.016
Article Probabilistic models over weighted orderings: fixed-parameter tractable variable elimination Lukasiewicz T., Martínez M.V., Poole D., Simari G.I. Oxford University Research Archive (ORA) (University of Oxford)
Article Toward argumentation-based cyber attribution Nunes E., Shakarian P., Simari G.I. National Conference on Artificial Intelligence
Article Basic Probabilistic Ontological Data Exchange with Existential Rules Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I. Proceedings of the AAAI Conference on Artificial Intelligence DOI: 10.1609/aaai.v30i1.10103
Article Belief Dynamics in Complex Social Networks Gallo F.R., Santos N.A., Simari G.I., Martínez M.V., Falappa M.A. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article AI's 10 to Watch Aziz H., Bareinboim E., Choi Y., Hsu D., Kalyanakrishnan S. et al. IEEE Intelligent Systems DOI: 10.1109/mis.2016.7
Article Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I.
Article Representación y razonamiento con bases de conocimiento probabilísticas Santos N.A., Simari G.I. XVIII Workshop de Investigadores en Ciencias de la Computación (WICC 2016, Entre Ríos, Argentina)
Article Argumentación probabilística y revisión de creencias con aplicaciones a ciberseguridad Paredes J.N., Falappa M.A., Simari G.I. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Herramientas para representación y razonamiento con preferencias bajo incertidumbre Gallo F.R., Falappa M.A., Simari G.I. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Procesamiento inteligente de flujos de datos vía sistemas argumentativos Paredes J.N., Gallo F.R., Simari G.I., Falappa M.A. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)

2015

Article From Classical to Consistent Query Answering under Existential Rules Lukasiewicz T., Martínez M.V., Pieris A., Simari G.I. Proceedings of the AAAI Conference on Artificial Intelligence DOI: 10.1609/aaai.v29i1.9414
Chapter Cyber Attribution: An Argumentation-Based Approach Shakarian P., Simari G.I., Moores G., Parsons S. Advances in information security DOI: 10.1007/978-3-319-14039-1_8
Article Belief revision in structured probabilistic argumentation Shakarian P., Simari G.I., Moores G., Paulo D., Parsons S. et al. Annals of Mathematics and Artificial Intelligence DOI: 10.1007/s10472-015-9483-5
Chapter Existential Rules and Bayesian Networks for Probabilistic Ontological Data Exchange Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-319-21542-6_19
Article A quantitative approach to belief revision in structured probabilistic argumentation Simari G.I., Shakarian P., Falappa M.A. Annals of Mathematics and Artificial Intelligence DOI: 10.1007/s10472-015-9476-4
Article A desiderata for modeling and reasoning with social knowledge Gallo F.R., Santos N.A., Simari G.I., Falappa M.A. http://cs.uns.edu.ar/%7Egis/publications/CACIC2015-GalloAbadSimariFalappa-SKBs.pdf
Article Combining existential rules with the power of CP-theories Noia T.D., Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Oxford University Research Archive (ORA) (University of Oxford)
Article Probabilistic Ontological Data Exchange with Bayesian Networks Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I.

2014

Chapter Probabilistic Preference Logic Networks Lukasiewicz T., Vanina M.M., Simari G.I. Frontiers in artificial intelligence and applications DOI: 10.3233/978-1-61499-419-0-561
Article Ontology-Based Query Answering with Group Preferences Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. ACM Transactions on Internet Technology DOI: 10.1145/2677207
Article Preference-Based Query Answering in Probabilistic Datalog+/– Ontologies Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Journal on Data Semantics DOI: 10.1007/s13740-014-0040-x
Chapter Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+/– Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-319-13413-0_3
Article Computing k-rank answers with Ontological CP-Nets. Noia T.D., Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Oxford University Research Archive (ORA) (University of Oxford)
Book Data-driven Generation of Policies Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3
Chapter Belief Revision in Structured Probabilistic Argumentation Shakarian P., Simari G.I., Falappa M.A. Lecture notes in computer science DOI: 10.1007/978-3-319-04939-7_16
Chapter Ontological CP-Nets Noia T.D., Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Lecture notes in computer science DOI: 10.1007/978-3-319-13413-0_15
Chapter Answering Ontological Ranking Queries Based on Subjective Reports Lukasiewicz T., Martínez M.V., Molinaro C., Predoiu L., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-319-11508-5_19
Article Computing k−Rank Answers with Ontological CP−Nets Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O.
Preprint An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare Shakarian P., Simari G.I., Moores G., Parsons S., Falappa M.A. arXiv (Cornell University) DOI: 10.48550/arxiv.1404.6699
Article Data−Driven Algorithms for Policy Generation Simari G.I.
Article A General Framework for Inconsistency−Tolerant Query Answering in Datalog+⁄− Lukasiewicz T., Martínez M.V., Simari G.I. Oxford University Research Archive (ORA) (University of Oxford)

2013

Article Query answering under probabilistic uncertainty in Datalog+ / − ontologies Gottlob G., Lukasiewicz T., Martínez M.V., Simari G.I. Annals of Mathematics and Artificial Intelligence DOI: 10.1007/s10472-013-9342-1
Chapter Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– Lukasiewicz T., Martínez M.V., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-41030-7_35
Article Policy-based inconsistency management in relational databases Martínez M.V., Parisi F., Pugliese A., Simari G.I., Subrahmanian V.S. International Journal of Approximate Reasoning DOI: 10.1016/j.ijar.2013.12.004
Chapter Preference-Based Query Answering in Probabilistic Datalog+/- Ontologies Lukasiewicz T., Martínez M.V., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-41030-7_36
Chapter Reasoning with Semantic-Enabled Qualitative Preferences Noia T.D., Lukasiewicz T., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-40381-1_29
Article MANCaLog: a logic for multi-attribute network cascades Shakarian P., Simari G.I., Schroeder R. http://arxiv.org/pdf/1301.0302.pdf DOI: 10.5555/2484920.2485129
Chapter Group Preferences for Query Answering in Datalog+/- Ontologies Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Lecture notes in computer science DOI: 10.1007/978-3-642-40381-1_28
Chapter Query Answering in Datalog+/- Ontologies under Group Preferences and Probabilistic Uncertainty Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Lecture notes in computer science DOI: 10.1007/978-3-319-04244-2_18
Chapter Experimental Evaluation Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_5
Article Parallel Abductive Query Answering in Probabilistic Logic Programs Simari G.I., Dickerson J.P., Sliva A., Subrahmanian V.S. ACM Transactions on Computational Logic DOI: 10.1145/2480759.2480764
Article Query Answering in Probabilistic Datalog+/- Ontologies under Group Preferences Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) DOI: 10.1109/wi-iat.2013.26
Report Reasoning about Complex Networks: A Logic Programming Approach Shakarian P., Simari G.I., Callahan D. US Dept of the Army DOI: 10.21236/ada591598
Chapter Different Kinds of Effect Estimators Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_3
Article Reasoning with DL−Based CP−Nets Noia T.D., Lukasiewicz T., Simari G.I. Oxford University Research Archive (ORA) (University of Oxford)
Chapter Introduction and Related Work Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_1
Article Top−k Query Answering in Datalog+/ Ontologies under Subjective Reports Lukasiewicz T., Martínez M.V., Predoiu L., Simari G.I. Oxford University Research Archive (ORA) (University of Oxford)
Chapter Tractable Probabilistic Description Logic Programs Lukasiewicz T., Simari G.I. Studies in fuzziness and soft computing DOI: 10.1007/978-3-642-37509-5_6
Article Query Answering in Probabilistic Datalog+⁄− Ontologies under Group Preferences Lukasiewicz T., Martínez M.V., Simari G.I., Tifrea-Marciuska O. Oxford University Research Archive (ORA) (University of Oxford)
Chapter Conclusions Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_6
Chapter A Comparison with Planning Under Uncertainty Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_4
Article MANCaLog: a logic for multi-attribute network cascades Shakarian P., Simari G.I., Schroeder R. International Joint Conference on Autonomous Agents and Multiagent Systems DOI: 10.65109/fkqa5684
Chapter Optimal State Change Attempts Parker A., Simari G.I., Sliva A., Subrahmanian V.S. SpringerBriefs in computer science DOI: 10.1007/978-1-4939-0274-3_2

2012

Chapter Inconsistency Handling in Datalog+/− Ontologies Lukasiewicz T., Maria V.M., Simari G.I. Frontiers in artificial intelligence and applications DOI: 10.3233/978-1-61499-098-7-558
Article Annotated Probabilistic Temporal Logic Shakarian P., Simari G.I., Subrahmanian V.S. ACM Transactions on Computational Logic DOI: 10.1145/2159531.2159535
Chapter Inconsistency-Tolerant Query Rewriting for Linear Datalog+/– Lukasiewicz T., Martínez M.V., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-32925-8_13
Article Focused most probable world computations in probabilistic logic programs Simari G.I., Martínez M.V., Sliva A., Subrahmanian V.S. Annals of Mathematics and Artificial Intelligence DOI: 10.1007/s10472-012-9285-y
Chapter Consistent Answers in Probabilistic Datalog+/– Ontologies Lukasiewicz T., Martínez M.V., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-33203-6_12
Chapter Forecasting Group-Level Actions Using Similarity Measures Simari G.I., Earp D., Martínez M.V., Sliva A., Subrahmanian V.S. Handbook of Computational Approaches to Counterterrorism DOI: 10.1007/978-1-4614-5311-6_9
Chapter SOMA: Stochastic Opponent Modeling Agents for Forecasting Violent Behavior Sliva A., Simari G.I., Martínez M.V., Subrahmanian V.S. Handbook of Computational Approaches to Counterterrorism DOI: 10.1007/978-1-4614-5311-6_6
Chapter Using Temporal Probabilistic Rules to Learn Group Behavior Dickerson J.P., Simari G.I., Subrahmanian V.S. Handbook of Computational Approaches to Counterterrorism DOI: 10.1007/978-1-4614-5311-6_12
Chapter Forecasting Changes in Terror Group Behavior Martínez M.V., Sliva A., Simari G.I., Subrahmanian V.S. Handbook of Computational Approaches to Counterterrorism DOI: 10.1007/978-1-4614-5311-6_11
Article Heuristic Ranking in Tightly Coupled Probabilistic Description Logics Lukasiewicz T., Martínez M.V., Orsi G., Simari G.I. arXiv (Cornell University) DOI: 10.48550/arxiv.1210.4894
Chapter Policy Analytics Generation Using Action Probabilistic Logic Programs Simari G.I., Dickerson J.P., Sliva A., Subrahmanian V.S. Handbook of Computational Approaches to Counterterrorism DOI: 10.1007/978-1-4614-5311-6_23

2011

Article Annotated probabilistic temporal logic Shakarian P., Parker A., Simari G.I., Subrahmanian V.V.S. ACM Transactions on Computational Logic DOI: 10.1145/1877714.1877720
Chapter Conjunctive Query Answering in Probabilistic Datalog+/– Ontologies Gottlob G., Lukasiewicz T., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-23580-1_7
Book Markov Decision Processes and the Belief-Desire-Intention Model Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8
Chapter Answering Threshold Queries in Probabilistic Datalog+/– Ontologies Gottlob G., Lukasiewicz T., Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-23963-2_31
Chapter An Empirical Comparison of Models Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_3
Chapter A Theoretical Comparison of Models Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_4
Chapter Related Work Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_5
Chapter Introduction Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_1
Chapter Preliminary Concepts Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_2
Chapter Conclusions, Limitations, and Future Directions Simari G.I., Parsons S. SpringerBriefs in computer science DOI: 10.1007/978-1-4614-1472-8_6
Chapter Approximate Achievability in Event Databases Parker A., Simari G.I., Sliva A., Subrahmanian V.S. Lecture notes in computer science DOI: 10.1007/978-3-642-22152-1_62

2010

Article A graph-theoretic approach to protect static and moving targets from adversaries Dickerson J.P., Simari G.I., Subrahmanian V.S., Kraus S. Adaptive Agents and Multi-Agents Systems DOI: 10.5555/1838206.1838248
Article Abductive Inference in Probabilistic Logic Programs Simari G.I., Subrahmanian V.S. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) DOI: 10.4230/lipics.iclp.2010.192
Chapter Cost-Based Query Answering in Action Probabilistic Logic Programs Simari G.I., Dickerson J.P., Subrahmanian V.S. Lecture notes in computer science DOI: 10.1007/978-3-642-15951-0_30
Chapter Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases Martínez M.V., Parisi F., Pugliese A., Simari G.I., Subrahmanian V.S. Lecture notes in computer science DOI: 10.1007/978-3-642-15951-0_26
Thesis Stochastic reasoning with action probabilistic logic programs Subrahmanian V.S., Simari G.I.

2009

Article Aggregate Query Answering under Uncertain Schema Mappings Gal A., Martínez M.V., Simari G.I., Subrahmanian V.S. Proceedings - International Conference on Data Engineering DOI: 10.1109/icde.2009.55
Chapter CAPE: Automatically Predicting Changes in Group Behavior Sliva A., Subrahmanian V.S., Martínez M.V., Simari G.I. Mathematical Methods in Counterterrorism DOI: 10.1007/978-3-211-09442-6_15
Chapter Using Histograms to Better Answer Queries to Probabilistic Logic Programs Broecheler M., Simari G.I., Subrahmanian V.S. Lecture notes in computer science DOI: 10.1007/978-3-642-02846-5_9
Chapter Stochastic Reasoning with Models of Agent Behavior Simari G.I. Lecture notes in computer science DOI: 10.1007/978-3-642-02846-5_53

2008

Article CONVEX: Similarity-Based Algorithms for Forecasting Group Behavior Martínez M.V., Simari G.I., Sliva A., Subrahmanian V.S. IEEE Intelligent Systems DOI: 10.1109/mis.2008.62
Article Inconsistency management policies Martínez M.V., Parisi F., Pugliese A., Simari G.I., Subrahmanian V.S. http://www.aaai.org/Papers/KR/2008/KR08-036.pdf
Chapter The SOMA Terror Organization Portal (STOP): social network and analytic tools for the real-time analysis of terror groups Sliva A., Subrahmanian V.S., Martínez M.V., Simari G.I. Social Computing, Behavioral Modeling, and Prediction DOI: 10.1007/978-0-387-77672-9_2
Article Promises kept, promises broken: an axiomatic and quantitative treatment of fulfillment Simari G.I., Broecheler M., Subrahmanian V.S., Kraus S. http://www.umiacs.umd.edu/users/sarit/Articles/FulfillmentKr2008-CameraReady.pdf
Chapter Scaling Most Probable World Computations in Probabilistic Logic Programs Simari G.I., Martínez M.V., Sliva A., Subrahmanian V.S. Lecture notes in computer science DOI: 10.1007/978-3-540-87993-0_29

2007

Chapter How Dirty Is Your Relational Database? An Axiomatic Approach Martínez M.V., Pugliese A., Simari G.I., Subrahmanian V.S., Prade H. Lecture notes in computer science DOI: 10.1007/978-3-540-75256-1_12
Article Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds Khuller S., Martínez M.V., Nau D., Sliva A., Simari G.I. et al. Annals of Mathematics and Artificial Intelligence DOI: 10.1007/s10472-008-9089-2
Article CARA: A Cultural-Reasoning Architecture Subrahmanian V.S., Albanese M., Martínez M.V., Nau D., Recupero D.R. et al. IEEE Intelligent Systems DOI: 10.1109/mis.2007.25
Chapter Finding Most Probable Worlds of Probabilistic Logic Programs Khuller S., Martínez M.V., Nau D., Simari G.I., Sliva A. et al. Lecture notes in computer science DOI: 10.1007/978-3-540-75410-7_4

2006

Article On the relationship between MDPs and the BDI architecture Simari G.I., Parsons S. Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems DOI: 10.1145/1160633.1160818
Article A stochastic language for modelling opponent agents Simari G.I., Sliva A., Nau D., Subrahmanian V.S. Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems DOI: 10.1145/1160633.1160677

2004

Article Non prioritized belief revision with ansprolog Simari G.I., Falappa M.A. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Non prioritized answer set revision Simari G.I., Falappa M.A. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Rational decision making in autonomous agents Simari G.I., Parsons S. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Designing an agent system for controlling a robotic soccer team García A.J., Simari G.I., Delladio T.
Article Cognitive robotics in a soccer game domain: a proposal for the e-league competition García A.J., Simari G.I., Delladio T., García D.R., Tucat M. et al.

2003

Article The monkey and bananas problem revisited: a situation calculus approach Simari G.I., García D.R., Filocamo G.R. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article On the problem of comparing two models for rational decision making in autonomous agents Parsons S., Simari G.I. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)
Article Belief Dynamics and Explanations in AnsProlog Simari G.I., Falappa M.A. El Servicio de Difusión de la Creación Intelectual (National University of La Plata)

2002

Article A Primer on Zero Knowledge Protocols Simari G.I. http://www.cs.umd.edu/~gisimari/publications/zkp-simari2002.pdf

Simari Gerardo

PhD in Computer Science
Master of Science
MSc in Computer Science
Computer Science Licenciado

Publications (195)

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

Simari Gerardo

PhD in Computer ScienceMaster of ScienceMSc in Computer ScienceComputer Science Licenciado

Publications (195)

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2003

2002

PhD in Computer Science
Master of Science
MSc in Computer Science
Computer Science Licenciado