Ivan Varzinczak

Dikutip oleh

	Semua	Sejak 2020
Kutipan	1668	554
indeks-h	26	12
indeks-i10	48	21

260

130

195

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 6 8 27 22 22 14 50 71 50 119 58 71 56 79 165 257 149 99 96 110 98 1

Akses publik

Lihat semua

19 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Thomas MeyerProfessor in Computer Science, University of Cape Town; Co-Director of CAIR (cair.org.za)Email yang diverifikasi di uct.ac.za
Giovanni CasiniCNR - ISTIEmail yang diverifikasi di isti.cnr.it
Richard BoothCardiff UniversityEmail yang diverifikasi di cardiff.ac.uk
Kody MoodleySenior Research Engineer, the Netherlands eScience CenterEmail yang diverifikasi di esciencecenter.nl
Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse)Email yang diverifikasi di irit.fr
Renata WassermannComputer Science, Universidade de São PauloEmail yang diverifikasi di ime.usp.br
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterEmail yang diverifikasi di cs.man.ac.uk
Laurent PerrusselIRIT, Université Toulouse CapitoleEmail yang diverifikasi di irit.fr
chafik anassePhD, Artois UniversityEmail yang diverifikasi di cril.fr
Sébastien KoniecznyCNRSEmail yang diverifikasi di cril.fr
Zied BouraouiProfessor of Computer Science, CRIL CNRS & Artois UniversityEmail yang diverifikasi di univ-artois.fr
Gavin RensStellenbosch University, South AfricanEmail yang diverifikasi di sun.ac.za
Truong-Thanh MaPhD in Computer Science, CICT, Can Tho UniversityEmail yang diverifikasi di ctu.edu.vn
Alan BundyProfessor of Automated Reasoning, University of EdinburghEmail yang diverifikasi di ed.ac.uk
Marcos CastilhoDInf/UFPREmail yang diverifikasi di ufpr.br
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoEmail yang diverifikasi di inf.unibz.it
Renan Leandro FernandesUniversidade Federal de PernambucoEmail yang diverifikasi di cin.ufpe.br
Alexander FerreinProfessor of Robotics, Mobile Autonomous Systems & Cognitive Robotics Institute, FH AachenEmail yang diverifikasi di fh-aachen.de
Szymon KlarmanKnowledge ArchitectEmail yang diverifikasi di klarman.me
Cleyton RodriguesProfessor da Universidade de PernambucoEmail yang diverifikasi di upe.br

Ikuti

Ivan Varzinczak

Professor, Université Sorbonne Paris Nord

Email yang diverifikasi di sorbonne-paris-nord.fr - Beranda

Logic Defeasible Reasoning Description Logic Modal Logic Knowledge Representation and Reasoning


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Semantic foundation for preferential description logics K Britz, T Meyer, I Varzinczak Australasian Joint Conference on Artificial Intelligence, 491-500, 2011	107	2011
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	68	2013
Taking defeasible entailment beyond rational closure G Casini, T Meyer, I Varzinczak European Conference on Logics in Artificial Intelligence, 182-197, 2019	56	2019
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	56	2015
Next steps in propositional Horn contraction R Booth, T Meyer, IJ Varzinczak	54	2009
Regression in modal logic R Demolombe, A Herzig, I Varzinczak Journal of Applied Non-Classical Logics 13 (2), 165-185, 2003	52	2003
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	48	2020
Towards practical defeasible reasoning for description logics G Casini, T Meyer, K Moodley, I Varzinczak Centre for Artificial Intelligence Research, 2013	48	2013
On the entailment problem for a logic of typicality R Booth, G Casini, T Meyer, I Varzinczak	47	2015
PTL: A propositional typicality logic R Booth, T Meyer, I Varzinczak European Workshop on Logics in Artificial Intelligence, 107-119, 2012	46	2012
Preferential reasoning for modal logics K Britz, T Meyer, I Varzinczak Electronic Notes in Theoretical Computer Science 278, 55-69, 2011	46	2011
Metatheory of actions: beyond consistency A Herzig, I Varzinczak Artificial Intelligence 171 (16-17), 951-984, 2007	43	2007
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	42	2011
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	39	2013
From KLM-style conditionals to defeasible modalities, and back K Britz, I Varzinczak Journal of Applied Non-Classical Logics 28 (1), 92-121, 2018	37	2018
Introducing role defeasibility in description logics K Britz, I Varzinczak Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016	37	2016
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	37	2002
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	36	2013
Rationality and context in defeasible subsumption K Britz, I Varzinczak Foundations of Information and Knowledge Systems: 10th International …, 2018	34	2018
Defeasible modalities K Britz, I Varzinczak arXiv preprint arXiv:1310.6409, 2013	34	2013

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama