Gerardo Simari Home Page

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 and Somerville College, University of Oxford

(Previously known as the Oxford University Computing Laboratory)

Conference links

23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)

29th International Conference on Logic Programming (ICLP 2013 and ICLP DC 2013)

7th International Conference on Scalable Uncertainty Management (SUM 2013)

29th Conference on Uncertainty in Artificial Intelligence (UAI 2013)

7th International Conference on Web Reasoning and Rule Systems (RR 2013)

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

13th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2012)

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

XV Workshop de Investigadores en Ciencias de la Computaciόn (WICC 2013)

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

Department of Computer Science and

Somerville College

University of Oxford

Oxford, United Kingdom

Click here to download my Curriculum Vitae (May 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

- Fulford Junior Research Fellow at Somerville College, University of Oxford

- 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, Answer Set Semantics

- Semantic Web

- Inconsistency Management in Databases

- Autonomous Agents and Multi-agent Systems

- Reasoning about Complex Networks

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

~~~ 2013 ~~~

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

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

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

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

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

- Query Answering Under Uncertainty in Datalog+/- Ontologies

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

Annals of Mathematics and Artificial Intelligence, In Press.

- Stochastic Reasoning with Action Probabilistic Logic Programs

Gerardo I. Simari

AI Communications, Accepted for Publication.

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

- Data-driven Algorithms for Policy Generation

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

SpringerBriefs in Computer Science, In Press.

- 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), 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), 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)

Galway, Ireland, August 29-30, 2011, 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),

Dayton, OH, USA, October 10-12, 2011, 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), 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), Toulouse, France, September 27-29, 2010.

- 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), Toulouse, France, September 27-29, 2010.

- Abductive Inference in Probabilistic Logic Programs

Gerardo I. Simari and V.S. Subrahmanian

26th International Conference on Logic Programming (ICLP 2010), Tech. Comm.,

Edinburgh, UK, July 16-19, 2010.

- 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),

Pasadena, CA, USA, July 14-17, 2009.

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)

Shanghai, China, March 29-April 4, 2009.

- 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), pp. 372-385, Lecture Notes in Artificial Intelligence, vol. 5291, Springer Berlin / Heidelberg.

- 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), Sydney, Australia, September 16-19, 2008.

- 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), Sydney, Australia, September 16-19, 2008.

- 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, Phoenix, AZ, USA, April 1-2, 2008.

~~~ 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),

pp. 45-59, October 2007. Lecture Notes in Artificial Intelligence, vol. 4772, Springer Berlin / Heidelberg,

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), pp. 103-114, October-November, 2007. Lecture Notes in Artificial

Intelligence, vol. 4724, Springer Berlin / Heidelberg, 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, August 27-28, 2007, 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), May 8 to 12, 2006, Future University, Hakodate, Japan.

- 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), May 8 to 12, 2006, Future University, Hakodate, Japan.

~~~ 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). July 19 to 23, 2004, Columbia University, New York, USA. Pages 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