Gerardo Ignacio Simari - Home Page


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

13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

20th European Conference on Artificial Intelligence (ECAI 2012)

6th International Conference on Web Reasoning and Rule Systems (RR 2012)

6th International Conference on Scalable Uncertainty Management (SUM 2012)

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

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

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

XVIII Congreso Argentino de Ciencias de la Computacion (CACIC 2012)

XIX Workshop de Investigadores en Ciencias de la Computacion (WICC 2012)

 

 

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

 

 

During Hilary Term 2012, I will be class tutor for the course Theory of Data and Knowledge Bases

 

 

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

-        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

-        SIMS: Scalable Incompleteness and Inconsistency Management Strategies

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

2012

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

-        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, Accepted for publication.

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

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

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.

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

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

-        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

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)

-        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