Gerardo Ignacio Simari - Home Page


Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: D:\Gis\website-oxford\GerryWeb_lowRes.jpg

Department of Computer Science, University of Oxford

(Previously known as the Oxford University Computing Laboratory)

 

Conference links

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

8th International Conference on Scalable Uncertainty Management (SUM 2014 – in Oxford)

28th AAAI Conference on Artificial Intelligence (AAAI 2014)

21st European Conference on Artificial Intelligence (ECAI 2014)

Vienna Summer of Logic (VSL 2014)

30th Conference on Uncertainty in Artificial Intelligence (UAI 2014)

8th International Conference on Web Reasoning and Rule Systems (RR 2014)

2014 International Conference on Social Computing, Behavioral-Cultural Modeling, and Prediction (SBP 2014)

14th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2014)

XIX Congreso Argentino de Ciencias de la Computaciόn (CACIC 2013)

XVI Workshop de Investigadores en Ciencias de la Computaciόn (WICC 2014)

 

 

Gerardo I. Simari
gerardo.simari@cs.ox.ac.uk

Department of Computer Science

University of Oxford

Oxford, United Kingdom

 

Click here to download my Curriculum Vitae (December 2013)

 

 

I am generally class tutor/teaching assistant for the course Theory of Data and Knowledge Bases, usually offered during Hilary Term.

 

 

Background

-        EPSRC Senior Researcher in the Information Systems Group at the Department of Computer Science, University of Oxford (2012–Present)

-        Fulford Junior Research Fellow at Somerville College, University of Oxford (2011–2013)

-        ERC/Google Postdoctoral Research Assistant in the Information Systems Group, Department of Computer Science, University of Oxford (2011–2012)

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

-        Master of Science, University of Maryland College Park (2007)

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

-        Licenciado in Computer Science, Universidad Nacional del Sur, Argentina (2002)

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

Research Interests

-        Reasoning under Uncertainty

-        Logic Programming, Probabilistic Logic Programming

-        Ontology Languages for the Semantic Web

-        Inconsistency Management in Databases

-        Reasoning with Preferences

-        Autonomous Agents and Multi-agent Systems

-        Reasoning about Complex Networks

-        Cyber Security and Cyber Warfare

-        Belief Revision

Current and Past Projects

-        Query Answering under Uncertainty in the Semantic Web (Student projects available! Please email for details)

-        Combinatorial and Scalable Initiation in Complex Networks

-        SOMA: Stochastic Opponent Modeling Agents

-        PAGE: Policy Analytics Generation Engine

-        SIMS: Scalable Incompleteness and Inconsistency Management Strategies

-        CARA: Cognitive Architecture for Reasoning about Adversaries

Selected Publications [ dblp ] [ Google Scholar ] [ Microsoft Academic ]

~~~ 2014 ~~~

-        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.

-        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.

-        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), To Appear.

-        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 Incosistency-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), Post-proceedings In Press.

-        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, In Press (online first version: http://link.springer.com/article/10.1007%2Fs10472-013-9342-1).

-        Stochastic Reasoning with Action Probabilistic Logic Programs

Gerardo I. Simari

AI Communications, In Press

-        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) at the Third Conference on Autonomous Agents and Multi-agent Systems (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 - Home Page

-        Amy Sliva - Home Page

-        Department of Computer Science, University of Maryland College Park

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

-        Laboratory for Computational Cultural Dynamics (LCCD) 

-        Universidad Nacional del Sur - Department of Computer Science and Engineering

-        Universidad Nacional del Sur - Artificial Intelligence R&D Laboratory (LIDIA)

-        Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET)

-        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


Contact Information
 

Address:

Department of Computer Science, University of Oxford

Wolfson Building

Parks Road

Oxford OX1 3QD

UNITED KINGDOM

 

 

Phone:  ++ 44 (0) 1865 283548
Fax: ++ 44 (0) 1865 273839