Ivan VARZINCZAK

Item

Title
Ivan VARZINCZAK
Given name
Ivan
familyName
VARZINCZAK
Status
MCF
Identifier
scanr:idref114587450
Is Part Of
LIASD EID
Début de recherche
01/09/2022
Nomenclature CNU
CNU 27
firstName
Ivan José
Is Referenced By
idref:114587450
orcid:0000-0002-0025-9632
Subject
Description Logics
Rank
17
Defeasible
Rank
11
defeasible
Rank
10
Représentation des connaissances
Rank
10
Non-monotonic reasoning
Rank
6
ontological
Rank
5
Knowledge representation and reasoning
Rank
4
KLM
Rank
4
Description Logics
Rank
4
Ontologies (informatique)
Rank
4
Espaces topologiques
Rank
4
answers to questions
Rank
4
Knowledge representation
Rank
3
Rationality
Rank
3
Belief merging
Rank
3
Preprint
Rank
2
list of contributors
Fahima Cheikh
Jean-François Condotta
Giovanni Casini
Zied Bouraoui
Sébastien Konieczny
Eduardo Fermé
Nicolas Schwind
Italo Romani de Oliveira
Gilles Richard
member
Laboratoire d'Intelligence Artificielle et Sémantique des Données
Start
2023-01-01T00:00:00
End
2023-12-31T00:00:00
Paris 8 University Université Paris 8 Vincennes – Saint-Denis
Start
2023-01-01T00:00:00
End
2023-12-31T00:00:00
Centre de recherche en informatique de Lens
Start
2019-01-01T00:00:00
End
2020-12-31T00:00:00
Stellenbosch University
Start
2018-01-01T00:00:00
End
2020-12-31T00:00:00
Centre de recherche en informatique de lens
Start
2010-01-01T00:00:00
End
2022-12-31T00:00:00
Artois University Université d'Artois
Start
2010-01-01T00:00:00
End
2022-12-31T00:00:00
Institut de recherche en informatique de Toulouse
Start
2006-01-01T00:00:00
End
2010-12-31T00:00:00
National Polytechnic Institute of Toulouse Toulouse INP
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
Université Toulouse-Jean-Jaurès University of Toulouse-Jean Jaurès
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
Université Toulouse 3 Paul Sabatier Paul Sabatier University
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
Centre national de la recherche scientifique French National Centre for Scientific Research
Start
2006-01-01T00:00:00
End
2022-12-31T00:00:00
Institut des sciences de la cognition, du cerveau et du comportement de Toulouse
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
Institut national de la santé et de la recherche médicale French Institute of Health and Medical Research
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
Centre de recherches sciences sociales sports et corps
Start
2006-01-01T00:00:00
End
2006-12-31T00:00:00
publications
What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic
Is Referenced By
haltel-00319220
status
author
Preferential Reasoning for Modal Logics
Is Referenced By
halhal-03673921
status
author
Root Justifications for Ontology Repair
Is Referenced By
halhal-03674197
status
author
A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report
Is Referenced By
halhal-03674198
status
author
Semantic Foundation for Preferential Description Logics
Is Referenced By
halhal-03674199
status
author
Constrained Consequence
Is Referenced By
halhal-03673920
status
author
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Is Referenced By
halhal-03673922
status
author
Concept Model Semantics for DL Preferential Reasoning
Is Referenced By
halhal-03673683
status
author
A One-Pass Tree-Shaped Tableau for Defeasible LTL
Is Referenced By
doi10.4230/lipics.time.2021.16
status
author
Towards a Logic of Dilation
Is Referenced By
halhal-03673583
status
author
An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies
Is Referenced By
doi10.1007/978-3-030-66151-9_16
status
author
Habilitation (Summary of main contributions to the field and some general perspectives on future research)
Is Referenced By
haltel-03048085
status
author
On rational entailment for Propositional Typicality Logic
Is Referenced By
doi10.1016/j.artint.2019.103178
status
author
What is a good domain description?
Is Referenced By
nnt2006tou30204
status
author
A Logic for Reasoning about Actions and Explicit Observations
Is Referenced By
halhal-03674202
status
author
On Action Theory Change
Is Referenced By
halhal-03673923
status
author
Semantic Diff as the Basis for Knowledge Base Versioning
Is Referenced By
halhal-03673684
status
author
Pertinent Reasoning
Is Referenced By
halhal-03673814
status
author
Horn Belief Change: A Contraction Core
Is Referenced By
halhal-03674201
status
author
Nonmonotonic reasoning in Description Logics: Rational Closure for the ABox
Is Referenced By
halhal-03673678
status
author
A Propositional Typicality Logic for Extending Rational Consequence
Is Referenced By
halhal-03673837
status
author
Preferential Role Restrictions
Is Referenced By
halhal-03673679
status
author
Conditional Inference under Disjunctive Rationality
Is Referenced By
doi10.1609/aaai.v35i7.16774
status
author
Contextual Conditional Reasoning
Is Referenced By
doi10.1609/aaai.v35i7.16777
status
author
Preferential Modalities Revisited
Is Referenced By
halhal-03674209
status
author
KLM-Style Defeasibility for Restricted First-Order Logic
Is Referenced By
doi10.1007/978-3-031-21541-4_6
status
author
Contextual rational closure for defeasible $\mathcal {ALC}$
Is Referenced By
doi10.1007/s10472-019-09658-2
status
author
Normal Modal Preferential Consequence
Is Referenced By
halhal-03674196
status
author
PTL: A Propositional Typicality Logic
Is Referenced By
halhal-03674195
status
author
A Protégé Plug-in for Defeasible Reasoning
Is Referenced By
halhal-03673680
status
author
A defeasible reasoning approach for description logic ontologies
Is Referenced By
doi10.1145/2389836.2389845
status
author
Defeasible Modes of Inference: A Preferential Perspective
Is Referenced By
halhal-03673681
status
author
Reasoning with Context in the Semantic Web
Is Referenced By
halhal-03673919
status
author
Sur la fusion d'ontologies à domaine ouvert
Is Referenced By
nnt2022arto0406
status
directeurthese
membrejury
Rationality and Context in Defeasible Subsumption
Is Referenced By
doi10.1007/978-3-319-90050-6_7
status
author
Situated conditional reasoning
Is Referenced By
doi10.1016/j.artint.2023.103917
status
author
Tree Edit Distance Based Ontology Merging Evaluation Framework
Is Referenced By
doi10.1007/978-3-031-10986-7_31
status
author
A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
Is Referenced By
halhal-03674259
status
author
Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond
Is Referenced By
halhal-03674207
status
author
A Contraction Core for Horn Belief Change: Preliminary Report
Is Referenced By
halhal-03673813
status
author
Defeasible linear temporal logic
Is Referenced By
doi10.1080/11663081.2023.2209494
status
author
Region-Based Merging of Open-Domain Terminological Knowledge (extended version including the proofs of propositions)
Is Referenced By
halhal-03598135
status
author
Region-Based Merging of Open-Domain Terminological Knowledge
Is Referenced By
doi10.24963/kr.2022/9
status
author
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability
Is Referenced By
halhal-03673914
status
author
Contextual rational closure for defeasible ALC
Is Referenced By
halhal-03673913
status
author
Preferential Tableaux for Contextual Defeasible ALC
Is Referenced By
halhal-03674282
status
author
Reasoning with Contextual Defeasible ALC
Is Referenced By
halhal-03674225
status
author
On the Decidability of a Fragment of preferential LTL
Is Referenced By
halhal-03300290
status
author
Méta-langage endomorphe et planification abstraite pour la reconnaissance des intentions en temps réel
Is Referenced By
nnt2020lyse1032
status
membrejury
Model-based Merging of Open-Domain Ontologies
Is Referenced By
doi10.1109/ictai50040.2020.00015
status
author
Defeasible Description Logics
Is Referenced By
halhal-03673817
status
author
An exercise in a non-classical semantics for reasoning with incompleteness and inconsistencies
Is Referenced By
halhal-03674224
status
author
Rational Defeasible Belief Change
Is Referenced By
halhal-03674218
status
author
Towards Conditional Inference under Disjunctive Rationality
Is Referenced By
halhal-03674206
status
author
Towards defeasible SROIQ
Is Referenced By
halhal-03674208
status
author
Context-based defeasible subsumption for dSROIQ
Is Referenced By
halhal-03674260
status
author
What Does Entailment for PTL Mean?
Is Referenced By
halhal-03674192
status
author
On the entailment problem for a logic of typicality
Is Referenced By
halhal-03674194
status
author
Introducing Defeasibility into OWL Ontologies
Is Referenced By
halhal-03674262
status
author
Defeasible description logics
Is Referenced By
sudoc257788611
status
author
Simple Conditionals with Constrained Right Weakening
Is Referenced By
doi10.24963/ijcai.2019/226
status
author
Cardinality Restrictions Within Description Logic Connection Calculi
Is Referenced By
doi10.1007/978-3-319-99906-7_5
status
author
Editorial: Defeasible and Ampliative Reasoning
Is Referenced By
doi10.1016/j.ijar.2019.05.009
status
author
Defeasible Description Logics
Is Referenced By
doi10.1007/s13218-020-00649-8
status
author
Introducing Role Defeasibility in Description Logics
Is Referenced By
doi10.1007/978-3-319-48758-8_12
status
author
Preferential Accessibility and Preferred Worlds
Is Referenced By
doi10.1007/s10849-017-9264-0
status
author
Taking Defeasible Entailment Beyond Rational Closure
Is Referenced By
doi10.1007/978-3-030-19570-0_12
status
author
A KLM Perspective on Defeasible Reasoning for Description Logics
Is Referenced By
doi10.1007/978-3-030-22102-7_7
status
author
From KLM-style conditionals to defeasible modalities, and back
Is Referenced By
doi10.1080/11663081.2017.1397325
status
author
Preferential Tableaux for Contextual Defeasible $$\mathcal {ALC}$$
Is Referenced By
doi10.1007/978-3-030-29026-9_3
status
author
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies
Is Referenced By
doi10.1007/s11787-018-0211-x
status
author
Principles of KLM-style Defeasible Description Logics
Is Referenced By
doi10.1145/3420258
status
author
Rational Defeasible Belief Change
Is Referenced By
doi10.24963/kr.2020/22
status
author
Item sets
Enseignants Chercheurs de Paris 8

Annotations

There are no annotations for this resource.