Ivan Varzinczak
Université d'Artois
H-index: 25
Europe-France
Top articles of Ivan Varzinczak
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A connection method for a defeasible extension of | arXiv preprint arXiv:2306.09561 | Renan Fernandes Fred Freitas Ivan Varzinczak | 2023/6/16 |
Situated conditional reasoning | Artificial Intelligence | Giovanni Casini Thomas Meyer Ivan Varzinczak | 2023/6/1 |
Defeasible linear temporal logic | Journal of Applied Non-Classical Logics | Anasse Chafik Fahima Cheikh-Alili Jean-François Condotta Ivan Varzinczak | 2023/1/2 |
Region-based merging of open-domain terminological knowledge | arXiv preprint arXiv:2205.02660 | Zied Bouraoui Sébastien Konieczny Thanh Ma Nicolas Schwind Ivan Varzinczak | 2022/5/5 |
Reasoning Web. Declarative Artificial Intelligence: 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures | Mantas Šimkus Ivan Varzinczak | 2022/1/31 | |
Situated Conditionals-A Brief Introduction. | Giovanni Casini Thomas Andreas Meyer Ivan Varzinczak | 2022 | |
KLM-Style Defeasibility for Restricted First-Order Logic | Giovanni Casini Thomas Meyer Guy Paterson-Jones Ivan Varzinczak | 2022/9/26 | |
Tree edit distance based ontology merging evaluation framework | Zied Bouraoui Sébastien Konieczny Thanh Ma Ivan Varzinczak | 2022/7/19 | |
Contextual conditional reasoning | Proceedings of the AAAI Conference on Artificial Intelligence | Giovanni Casini Thomas Meyer Ivan Varzinczak | 2021/5/18 |
A one-pass tree-shaped tableau for defeasible LTL | Anasse Chafik Fahima Cheikh-Alili Jean-François Condotta Ivan Varzinczak | 2021 | |
A Connection Method for a Defeasible Extension of 긔 Lc | Renan Fernandes Fred Freitas Ivan Varzinczak | 2021 | |
Automated Reasoning with Legal Ontologies: A Case Study on Brazilian Councilwoman Marielle Franco’s Murder | Cleyton Mário de Oliveira Rodrigues Frederico Luis Gonçalves de Freitas Ivan José Varzinczak João Fausto Lorenzato de Oliveira | 2021/6/23 | |
Conditional inference under disjunctive rationality | Proceedings of the AAAI Conference on Artificial Intelligence | Richard Booth Ivan Varzinczak | 2021/5/18 |
Model-based merging of open-domain ontologies | Zied Bouraoui Sébastien Konieczny Truong-Thanh Ma Ivan Varzinczak | 2020/11/9 | |
An exercise in a non-classical semantics for reasoning with incompleteness and inconsistencies | Ivan Varzinczak | 2020 | |
A survey on multiple revision | Proceedings | Fillipe Manoel Xavier Resina Renata Wassermann | 2020 |
Rational defeasible belief change | Giovanni Casini Thomas Meyer Ivan Varzinczak | 2020 | |
Defeasible description logics | KI-Künstliche Intelligenz | Ivan Varzinczak | 2020/12 |
Towards conditional inference under disjunctive rationality | NMR 2020 Workshop Notes | Richard Booth Ivan Varzinczak | 2020 |
Principles of KLM-style defeasible description logics | ACM Transactions on Computational Logic (TOCL) | Katarina Britz Giovanni Casini Thomas Meyer Kody Moodley Uli Sattler | 2020/11/15 |