Ivan Varzinczak
Ivan Varzinczak
Associate Professor, CRIL, Univ. Artois & CNRS. Computer Science Division, Stellenbosch University
Verifierad e-postadress på cril.fr - Startsida
Titel
Citeras av
Citeras av
År
Semantic foundation for preferential description logics
K Britz, T Meyer, I Varzinczak
Australasian Joint Conference on Artificial Intelligence, 491-500, 2011
762011
Next steps in propositional Horn contraction
R Booth, T Meyer, IJ Varzinczak
492009
Regression in modal logic
R Demolombe, A Herzig, I Varzinczak
Journal of Applied Non-Classical Logics 13 (2), 165-185, 2003
462003
Nonmonotonic reasoning in description logics. Rational closure for the ABox
G Casini, T Meyer, K Moodley, I Varzinczak
CAIR (Centre for Artificial Intelligence Research), 2013
422013
Metatheory of actions: beyond consistency
A Herzig, I Varzinczak
Artificial Intelligence 171 (16-17), 951-984, 2007
392007
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation.
MA Castilho, A Herzig, IJ Varzinczak
NMR, 343-348, 2002
352002
Introducing defeasibility into OWL ontologies
G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
International Semantic Web Conference, 409-426, 2015
342015
Preferential reasoning for modal logics
K Britz, T Meyer, I Varzinczak
Electronic Notes in Theoretical Computer Science 278, 55-69, 2011
342011
PTL: A propositional typicality logic
R Booth, T Meyer, I Varzinczak
European Workshop on Logics in Artificial Intelligence, 107-119, 2012
332012
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
R Booth, T Meyer, I Varzinczak, R Wassermann
Journal of Artificial Intelligence Research 42, 31-53, 2011
312011
Semantic diff as the basis for knowledge base versioning
E Franconi, T Meyer, I Varzinczak
312010
Defeasible modalities
K Britz, I Varzinczak
arXiv preprint arXiv:1310.6409, 2013
302013
Ordered interpretations and entailment for defeasible description logics
K Britz, G Casini, T Meyer, K Moodley, I Varzinczak
Technical report, CAIR, CSIR Meraka and UKZN, South Africa, 2013
302013
A propositional typicality logic for extending rational consequence
R Booth, T Meyer, I Varzinczak
Trends in belief revision and argumentation dynamics 48, 123-154, 2013
272013
Introducing role defeasibility in description logics
K Britz, I Varzinczak
European Conference on Logics in Artificial Intelligence, 174-189, 2016
262016
On the entailment problem for a logic of typicality
R Booth, G Casini, T Meyer, I Varzinczak
262015
Preferential role restrictions
K Britz, G Casini, T Meyer, I Varzinczak
CAIR (Centre for Artificial Intelligence Research), 2013
262013
Towards practical defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, I Varzinczak
Centre for Artificial Intelligence Research, 2013
232013
Elaborating domain descriptions
A Herzig, L Perrussel, I Varzinczak
ECAI, 397-401, 2006
232006
On action theory change
IJ Varzinczak
Journal of Artificial Intelligence Research 37, 189-246, 2010
202010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20