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

29th AAAI Conference on Artificial Intelligence (AAAI 2015)

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)

XX Congreso Argentino de Ciencias de la Computaciόn (CACIC 2014)

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 (updated May 2014)

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

Background

- University of Oxford: 2011–Present

· Member of the Information Systems Group: 2011–Present

· EPSRC Senior Researcher (2012–Present)

· 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

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

- Universidad Nacional del Sur: 1998–2005

· Member of the AI Research and Development Laboratory (LIDIA): 2002–2005

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

· 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

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

- Probabilistic Preference Logic Networks

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

Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), To Appear.

- Ontology-based Query Answering with Group Preferences

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

ACM Transactions on Internet Technology, In Press.

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

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

- Preference-based Query Answering in Probabilistic Datalog+/- Ontologies

Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, and Oana Tifrea-Marciuska

Journal on Data Semantics, In Press.

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

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

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

- 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

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

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