2008 |
12 | | Ivan José Varzinczak:
Action Theory Erasure and Minimal Change.
KR 2008: 651-661 |
11 | EE | Ivan José Varzinczak:
Action Theory Evolution
CoRR abs/0811.1878: (2008) |
2007 |
10 | EE | Andreas 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 |
8 | EE | Andreas Herzig,
Ivan José Varzinczak:
A Modularity Approach for a Fragment of ALC.
JELIA 2006: 216-228 |
7 | EE | Andreas Herzig,
Ivan José Varzinczak:
Metatheory of actions: beyond consistency
CoRR abs/cs/0603034: (2006) |
2005 |
6 | EE | Andreas Herzig,
Ivan José Varzinczak:
Cohesion, coupling and the meta-theory of actions.
IJCAI 2005: 442-447 |
2004 |
5 | EE | Andreas 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 |
3 | EE | Andreas 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 |