Ivan José Varzinczak

12 papers A* 2A 1B 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2014 J jnl
On Action Theory Change.
CoRR
Ivan José Varzinczak
2012 — conf
A defeasible reasoning approach for description logic ontologies.
SAICSIT
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
2012 J jnl
Reasoning with Context in the Semantic Web.
J. Web Semant.
Jos Lehmann, Ivan José Varzinczak, Alan Bundy
2011 — conf
Root Justifications for Ontology Repair.
RR
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak
2010 J jnl
On Action Theory Change.
J. Artif. Intell. Res.
Ivan José Varzinczak
2009 A* conf
Next Steps in Propositional Horn Contraction.
IJCAI
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
2008 A* conf
Action Theory Erasure and Minimal Change.
KR
Ivan José Varzinczak
2008 J jnl
Action Theory Evolution
CoRR
Ivan José Varzinczak
2007 J jnl
Metatheory of actions: Beyond consistency.
Artif. Intell.
Andreas Herzig, Ivan José Varzinczak
2004 A conf
Domain Descriptions Should Be Modular.
ECAI
Andreas Herzig, Ivan José Varzinczak
2004 B conf
On the Modularity of Theories.
Advances in Modal Logic
Andreas Herzig, Ivan José Varzinczak
2002 — conf
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation.
NMR
Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak