Ivan José Varzinczak Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jos Lehmann, Ivan José Varzinczak, Alan Bundy: Reasoning with Context in the Semantic Web. J. Web Sem. 12: 1-2 (2012)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katarina Britz, Thomas Meyer, Ivan José Varzinczak: Normal Modal Preferential Consequence. Australasian Conference on Artificial Intelligence 2012: 505-516
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak: A Protege Plug-in for Defeasible Reasoning. Description Logics 2012
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Booth, Thomas Meyer, Ivan José Varzinczak: PTL: A Propositional Typicality Logic. JELIA 2012: 107-119
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak: A defeasible reasoning approach for description logic ontologies. SAICSIT Conf. 2012: 69-78
2011
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katarina Britz, Thomas Meyer, Ivan José Varzinczak: Preferential Reasoning for Modal Logics. Electr. Notes Theor. Comput. Sci. 278: 55-69 (2011)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. (JAIR) 42: 31-53 (2011)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katarina Britz, Johannes Heidema, Ivan José Varzinczak: Constrained Consequence. Logica Universalis 5(2): 327-350 (2011)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katarina Britz, Thomas Meyer, Ivan José Varzinczak: Semantic Foundation for Preferential Description Logics. Australasian Conference on Artificial Intelligence 2011: 491-500
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arina Britz, Thomas Meyer, Ivan José Varzinczak: Concept Model Semantics for DL Preferential Reasoning. Description Logics 2011
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak: Root Justifications for Ontology Repair. RR 2011: 275-280
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan José Varzinczak: On Action Theory Change. J. Artif. Intell. Res. (JAIR) 37: 189-246 (2010)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein: A Logic for Reasoning about Actions and Explicit Observations. Australasian Conference on Artificial Intelligence 2010: 395-404
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann: Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066
2009
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak: Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707
2008
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan José Varzinczak: Action Theory Erasure and Minimal Change. KR 2008: 651-661
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ivan José Varzinczak: Action Theory Evolution. CoRR abs/0811.1878 (2008)
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: Metatheory of actions: Beyond consistency. Artif. Intell. 171(16-17): 951-984 (2007)
2006
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. ECAI 2006: 397-401
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: A Modularity Approach for a Fragment of ALC. JELIA 2006: 216-228
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: Metatheory of actions: beyond consistency. CoRR abs/cs/0603034 (2006)
2005
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: Cohesion, coupling and the meta-theory of actions. IJCAI 2005: 442-447
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: On the Modularity of Theories. Advances in Modal Logic 2004: 93-109
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: Domain Descriptions Should Be Modular. ECAI 2004: 348-352
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Herzig, Ivan José Varzinczak: Domain descriptions should be modular. NMR 2004: 204-211
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Demolombe, Andreas Herzig, Ivan José Varzinczak: Regression in Modal Logic. Journal of Applied Non-Classical Logics 13(2): 165-185 (2003)
2002
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

1Richard Booth
[c16] [j5] [c10] [c9]
2Katarina Britz (Arina Britz)
[c18] [j6] [j4] [c14] [c13]
3Alan Bundy
[j7]
4Marcos A. Castilho
[c1]
5Robert Demolombe
[j1]
6Alexander Ferrein (Alexander Antoine Ferrein)
[c11]
7Johannes Heidema
[j4]
8Andreas Herzig
[j2] [c7] [c6] [i1] [c5] [c4] [c3] [c2] [j1] [c1]
9Jos Lehmann
[j7]
10Thomas Meyer
[c18] [c17] [c16] [c15] [j6] [c14] [c13] [c12] [c11]
11Thomas Andreas Meyer (Tommie Meyer)
[j5] [c10] [c9]
12Kodylan Moodley
[c17] [c15] [c12]
13Laurent Perrussel
[c7]
14Gavin Rens
[c11]
15Renata Wassermann
[j5] [c10]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 23:48:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page