Publications de
Andreas Herzig, Ivan José Varzinczak
Metatheory of actions: beyond consistency
Dans : Artificial Intelligence, Elsevier, Vol. 171, p. 951-984, 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aij07.html
BibTeXRobert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in Modal Logic
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 13 N. 2, p. 165-185, 2003.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeX
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
Dans : Eleventh International Workshop on Nonmonotonic Reasoning (NMR¿2006), Lake District, .
Andreas Herzig, Ivan José Varzinczak
A modularity approach for a fragment of ALC
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, 13/09/06-15/09/06, Springer-Verlag, LNCS/LNAI 4160, p. 216-228, septembre 2006.
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak
Elaborating domain descriptions
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, 26/08/06-01/09/06, Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.), IOS Press, p. 397-401, août 2006.
Andreas Herzig, Ivan José Varzinczak
Cohesion, coupling and the meta-theory of actions
Dans : 19th Int. Joint Conf. on Artificial Intelligence (IJCAI’2005), Edinburgh, L. Kaelbling, A. Saffiotti (Eds.), Morgan Kaufmann Publishers, p. 442-447, août 2005.
Andreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular
Dans : Sixteenth European Conference on Artificial Intelligence (ECAI¿2004), Valencia, Ramón López de Mántara, Lorenza Saitta (Eds.), IOS Press, p. 348-352, août 2004.
Andreas Herzig, Ivan José Varzinczak
On modularity of theories
Dans : Proc. Int. Workshop on Advances in Modal Logic (AiML 2004), Manchester, 09/09/04-11/09/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular
Dans : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai04.html
BibTeXAndreas Herzig, Ivan José Varzinczak
Domain descriptions should be modular (preliminary draft)
Dans : Electronic Festschrift for the 60th Anniversary of Norman Foo, Sydney, 29/11/03, Abhaya Nayak, Maurice Pagnucco (Eds.).
Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai04.html
BibTeXRobert Demolombe, Andreas Herzig, Ivan José Varzinczak
Regression in modal logic
Dans : Methods for Modalities (M4M-3), Nancy, 22/09/03-23/09/03.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl03.html
BibTeXMarcos 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
Dans : Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, 19/04/02-21/04/02.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Nmr02.html
BibTeX
Andreas Herzig, Ivan José Varzinczak
On the modularity of theories
Dans : Advances in Modal Logic, Volume 5. Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.) , King’s College Publications, p. 93-109, 2005.
Accès : http://www.irit.fr/~Andreas.Herzig/P/AiML04.html
BibTeX