Rob Miller

György Turán

Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

STAR: A System of Argumentation for Story Comprehension and Beyond.

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Non-Monotonic Reasoning and Story Comprehension.

[BibT_eX]

[DOI]

CoRR, 2014

A Psychology-Inspired Approach to Automated Narrative Text Comprehension.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Story Comprehension through Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

2013

Reasoning about Triggered Scenarios in Logic Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2013, 2013

2012

The Scientific Contribution of Marek Sergot.

[BibT_eX]

[DOI]

Proceedings of the Logic Programs, Norms and Action, 2012

2011

Modular-έ and the role of elaboration tolerance in solving the qualification problem.

[BibT_eX]

[DOI]

Artif. Intell., 2011

2009

SAGE: A Logical Agent-Based Environment Monitoring and Control System.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence, 2009

2008

Fred meets Tweety.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Ramifications: An Extension and Correspondence Result for the Event Calculus.

[BibT_eX]

[DOI]

Jeremy Forth

J. Log. Comput., 2007

AAAI 2007 Spring Symposium Series Reports.

[BibT_eX]

[DOI]

Piotr J. Gmytrasiewicz

AI Mag., 2007

2006

Three problems in logic-based knowledge representation.

[BibT_eX]

[DOI]

Aslib Proc., 2006

2005

Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2002

An Abductive Approach for Analysing Event-Based Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 18th International Conference, 2002

Some Alternative Formulations of the Event Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

E-RES: Reasoning about Actions, Events and Observations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

2000

Planning with Incomplete Information

[BibT_eX]

[DOI]

CoRR, 2000

E-RES: A System for Reasoning about Actions, Events and Observations

[BibT_eX]

[DOI]

CoRR, 2000

1999

The Event Calculus in Classical Logic - Alternative Axiomatisations.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1999

An Argumentation Framework of Reasoning about Actions and Change.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1997

A Simple Declarative Language for Describing Narratives With Actions.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Reasoning about Actions, Narratives and Ramification.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1997

1996

Reasoning about Discontinuities in the Event Calculus.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

1995

Situation Calculus Specifications for Event Calculus Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Narratives in the Situation Calculus.

[BibT_eX]

[DOI]