Ivan José Varzinczak
Orcid: 0000-0002-0025-9632Affiliations:
- Université Paris 8, France
- Université d'Artois, France (former)
According to our database1,
Ivan José Varzinczak
authored at least 73 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on ijv.ovh
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Proceedings of the Knowledge Science, Engineering and Management, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies.
Proceedings of the Artificial Intelligence Research, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
2019
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability.
FLAP, 2019
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Summary of main contributions to the field and some general perspectives on future research.
, 2019
2018
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.
Logica Universalis, 2018
J. Appl. Non Class. Logics, 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the Foundations of Information and Knowledge Systems, 2018
2017
Proceedings of the 30th International Workshop on Description Logics, 2017
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017
2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
2015
Proceedings of the Semantic Web - ISWC 2015, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 2015 AAAI Spring Symposia, 2015
2014
Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014
2013
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012
2011
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
J. Artif. Intell. Res., 2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011
Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011
Proceedings of the AFRICON 2011, 2011
2010
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010
2009
2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
2007
2006
What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic.
PhD thesis, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Elaborating Domain Descriptions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
2003
2002
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002