Mikhail Soutchanski

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Towards A Logical Account of Epistemic Causality.

[BibT_eX]

[DOI]

Shakil M. Khan

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Hybrid temporal situation calculus.

[BibT_eX]

[DOI]

Vitaliy Batusov

Giuseppe De Giacomo

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Logical Semantics for PDDL+.

[BibT_eX]

[DOI]

Vitaliy Batusov

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Towards Causal Analysis of Protocol Violations.

[BibT_eX]

[DOI]

Shakil M. Khan

Proceedings of the Advances in Artificial Intelligence, 2019

2018

Situation Calculus Semantics for Actual Causality.

[BibT_eX]

[DOI]

Vitaliy Batusov

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Progression of Decomposed Local-Effect Action Theories.

[BibT_eX]

[DOI]

Denis K. Ponomaryov

ACM Trans. Comput. Log., 2017

2015

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.

[BibT_eX]

[DOI]

Diego Calvanese

Giuseppe De Giacomo

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Modeling Organic Chemistry and Planning Organic Synthesis.

[BibT_eX]

[DOI]

Megan Antoniazzi

Proceedings of the Global Conference on Artificial Intelligence, 2015

2013

Organic Synthesis as Artificial Intelligence Planning.

[BibT_eX]

[DOI]

Andrea Marrella

Proceedings of the 6th International Workshop on Semantic Web Applications and Tools for Life Sciences, 2013

Ontology Enhancement through Inductive Decision Trees.

[BibT_eX]

[DOI]

Bart Gajderowicz

Alireza Sadeghian

Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Modeling and Reasoning with Decision-Theoretic Goals.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Towards a Planning-Based Approach to the Automated Design of Chemical Processes.

[BibT_eX]

[DOI]

Andrea Marrella

Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

Progression of Decomposed Situation Calculus Theories.

[BibT_eX]

[DOI]

Denis K. Ponomaryov

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Solving the Projection Problem with OWL2 Reasoners: Experimental Study.

[BibT_eX]

[DOI]

Wael Yehia

Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Towards an Expressive Practical Logical Action Theory.

[BibT_eX]

[DOI]

Wael Yehia

Proceedings of the Turing-100, 2012

Reasoning about Chemical Reactions Using the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Discovery Informatics: The Role of AI Research in Innovating Scientific Processes, 2012

Towards an Expressive Decidable Logical Action Theory.

[BibT_eX]

[DOI]

Wael Yehia

Proceedings of the Cognitive Robotics, 2012

2011

Causal Theories of Actions Revisited.

[BibT_eX]

[DOI]

Fangzhen Lin

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A description logic based situation calculus.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2010

2008

Reasoning about Dynamic Depth Profiles.

[BibT_eX]

[DOI]

Paulo Santos

Proceedings of the ECAI 2008, 2008

Reasoning about Large Taxonomies of Actions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Decidable Reasoning in a Modified Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

2006

The Two-Variable Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the STAIRS 2006, 2006

Decision Making in Large-Scale Domains: A Case Study.

[BibT_eX]

Huy Pham

John Mylopoulos

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Decision Making in Uncertain Real-World Domains Using DT-Golog.

[BibT_eX]

[DOI]

Huy Pham

John Mylopoulos

Proceedings of the Proceedings, 2006

2005

High-level robot programming in dynamic and incompletely known environments.

[BibT_eX]

[DOI]

PhD thesis, 2005

2001

An On-line Decision-Theoretic Golog Interpreter.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1998

Execution Monitoring of High-Level Robot Programs.

[BibT_eX]

Giuseppe De Giacomo

Raymond Reiter

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1994

Logical Formalization of Concurrent Actions for Multi-Agent Systems.

[BibT_eX]

[DOI]