dblp.uni-trier.dewww.uni-trier.de

Ivan José Varzinczak

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12 Ivan José Varzinczak: Action Theory Erasure and Minimal Change. KR 2008: 651-661
11EEIvan José Varzinczak: Action Theory Evolution CoRR abs/0811.1878: (2008)
2007
10EEAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007)
2006
9 Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. ECAI 2006: 397-401
8EEAndreas Herzig, Ivan José Varzinczak: A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228
7EEAndreas Herzig, Ivan José Varzinczak: Metatheory of actions: beyond consistency CoRR abs/cs/0603034: (2006)
2005
6EEAndreas Herzig, Ivan José Varzinczak: Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447
2004
5EEAndreas Herzig, Ivan José Varzinczak: On the Modularity of Theories. Advances in Modal Logic 2004: 93-109
4 Andreas Herzig, Ivan José Varzinczak: Domain Descriptions Should Be Modular. ECAI 2004: 348-352
3EEAndreas Herzig, Ivan José Varzinczak: Domain descriptions should be modular. NMR 2004: 204-211
2003
2 Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)
2002
1 Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak: It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. NMR 2002: 343-348

Coauthor Index

1Marcos A. Castilho [1]
2Robert Demolombe [2]
3Andreas Herzig [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
4Laurent Perrussel [9]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)