Publications of
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Formalizing action and change in modal logic I: the frame problem
In : Journal of Logic and Computation, Vol. 9 N. 5, pp. 701-735, 1999.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
In : Fundamenta Informaticae, Vol. 32 N. 3/4, pp. 281-297, 1997.
Marcos Alexandre Castilho, Andreas Herzig, Ivan José Varzinczak
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
In : Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, 19/04/02-21/04/02.
URL : http://www.irit.fr/~Andreas.Herzig/P/Nmr02.html
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Marcos Alexandre Castilho
Reasoning about actions in modal logic
In : Working Notes of the Symposium on Reasoning about Actions: Foundations and Applications at ESSLLI’98, Saarbrücken, Germany, .
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules (position paper)
In : Tableaux’98, Netherlands, .
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Solving the frame and ramification problem with modal logic plus dependence
In : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/jlc99.html
BibTeXMarcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
A customized tableau method for reasoning about actions and plans in modal logic
In : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXMarcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Modal tableaux for reasoning about actions and plans (regular paper)
In : European Conference on Planning (ECP ), –, Springer, pp. 104-116, January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeX
Modèles logiques pour le raisonnement sur les actions
Master’s Thesis, Université Paul Sabatier, October 1998.
URL : http://www.irit.fr/ACTIVITES/EQ_ALG/Castilho/Ca-PhD.ps.gz
BibTeX