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