Concepedia

Ivan Varzinczak

IV

24

Publications

557

Citations

18

H-Index

2002

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Centre de Recherche en Informatique

Institut de Recherche en Informatique de Toulouse

University of Luxembourg

Université d'Artois

Ivan Varzinczak is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and semantics.

ORCID

Top concepts

Publications per year

2002–2020

24

Publications

24

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox

Giovanni Casini, Thomas Meyer, Kody Moodley et al. · 2013 · 40 citations · Full text

Regression in Modal Logic

Robert Demolombe, Andreas Herzig, Ivan Varzinczak · Journal of Applied Non-Classical Logics · 2003 · 37 citations

, , +15

Next Steps in Propositional Horn Contraction ∗

Richard Booth, Thomas Meyer, Ivan Varzinczak · Open Repository and Bibliography (University of Luxembourg) · 2009 · 33 citations

Metatheory of actions: Beyond consistency

Andreas Herzig, Ivan Varzinczak · Artificial Intelligence · 2007 · 32 citations · Full text

, , +5

Principles of KLM-style Defeasible Description Logics

Katarina Britz, Giovanni Casini, Thomas Meyer et al. · ACM Transactions on Computational Logic · 2020 · 31 citations

, , +12

Rows per page

1–5 of 24