팔로우
Ivan Varzinczak
Ivan Varzinczak
Professor, Université Sorbonne Paris Nord
sorbonne-paris-nord.fr의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Semantic foundation for preferential description logics
K Britz, T Meyer, I Varzinczak
Australasian Joint Conference on Artificial Intelligence, 491-500, 2011
1082011
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
702013
Taking defeasible entailment beyond rational closure
G Casini, T Meyer, I Varzinczak
European Conference on Logics in Artificial Intelligence, 182-197, 2019
582019
Introducing defeasibility into OWL ontologies
G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
The Semantic Web-ISWC 2015: 14th International Semantic Web Conference …, 2015
562015
Next steps in propositional Horn contraction
R Booth, T Meyer, IJ Varzinczak
562009
Regression in modal logic
R Demolombe, A Herzig, I Varzinczak
Journal of Applied Non-Classical Logics 13 (2), 165-185, 2003
512003
Principles of KLM-style defeasible description logics
K Britz, G Casini, T Meyer, K Moodley, U Sattler, I Varzinczak
ACM Transactions on Computational Logic (TOCL) 22 (1), 1-46, 2020
492020
On the entailment problem for a logic of typicality
R Booth, G Casini, T Meyer, I Varzinczak
482015
PTL: A propositional typicality logic
R Booth, T Meyer, I Varzinczak
European Workshop on Logics in Artificial Intelligence, 107-119, 2012
482012
Towards practical defeasible reasoning for description logics
G Casini, T Meyer, K Moodley, I Varzinczak
Centre for Artificial Intelligence Research, 2013
472013
Preferential reasoning for modal logics
K Britz, T Meyer, I Varzinczak
Electronic Notes in Theoretical Computer Science 278, 55-69, 2011
472011
Metatheory of actions: beyond consistency
A Herzig, I Varzinczak
Artificial Intelligence 171 (16-17), 951-984, 2007
432007
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
422011
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
392013
From KLM-style conditionals to defeasible modalities, and back
K Britz, I Varzinczak
Journal of Applied Non-Classical Logics 28 (1), 92-121, 2018
372018
Introducing role defeasibility in description logics
K Britz, I Varzinczak
European Conference on Logics in Artificial Intelligence, 174-189, 2016
372016
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
372013
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
MA Castilho, A Herzig, I Varzinczak
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
362002
Rationality and context in defeasible subsumption
K Britz, I Varzinczak
Foundations of Information and Knowledge Systems: 10th International …, 2018
342018
Defeasible modalities
K Britz, I Varzinczak
arXiv preprint arXiv:1310.6409, 2013
342013
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20