Ivan Varzinczak
Inserm(FR)University of Cape Town(ZA)Sorbonne Université(FR)Université Sorbonne Paris Nord(FR)Sorbonne Paris Cité(FR)Laboratoire d'Informatique Médicale et d'Ingénierie des Connaissances en e-SantéUniversité Paris 1 Panthéon-Sorbonne(FR)
Publications by Year
Research Areas
Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Multi-Agent Systems and Negotiation, Advanced Algebra and Logic, AI-based Problem Solving and Planning
Most-Cited Works
- → Semantic Foundation for Preferential Description Logics(2011)63 cited
- Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox(2013)
- → Regression in Modal Logic(2003)37 cited
- → Introducing Defeasibility into OWL Ontologies(2015)35 cited
- Next Steps in Propositional Horn Contraction ∗(2009)
- → Metatheory of actions: Beyond consistency(2007)32 cited
- → Principles of KLM-style Defeasible Description Logics(2020)31 cited
- It Depends on the Context! A decidable logic of actions and plans based on a ternary dependence relation(2002)