Gerardo Ignacio Simari - Home Page
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. 63–70.
~~~ 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):185–201 (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), 103–109.
~~~ 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:918–930,
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 ~~~
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(3–4),
259–301, 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
-
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. 1017–1023.
-
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:(4–5): 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. 791–803.
-
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. 640–651
-
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 ~~~
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. 247–263.
~~~ 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. 372–385.
-
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. 51–57, 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. 295–331, 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)
-
Society for Imprecise Probability: Theories
and Applications (SIPTA)
-
Touristic information about Bahia Blanca, Buenos Aires, and Argentina
in general
|
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 |
|