Publications

@inproceedings{DBLP:conf/iclp/ThevapalanHK21,

title = {Establish Coherence in Logic Programs Modelling Expert Knowledge via 

 Argumentation},

author = {Andre Thevapalan and Jesse Heyninck and Gabriele Kern-Isberner},

editor = {Joaqu'ın Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily LeBlanc and Rafael Peñaloza and Elmer Salazar and Ari Saptawijaya and Felix Weitkämper and Jessica Zangari},

url = {https://ceur-ws.org/Vol-2970/causalpaper4.pdf},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the International Conference on Logic Programming 2021 

 Workshops co-located with the 37th International Conference on Logic 

 Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 

 2021},

volume = {2970},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/SkibaRTHK21,

title = {Ranking Extensions in Abstract Argumentation},

author = {Kenneth Skiba and Tjitze Rienstra and Matthias Thimm and Jesse Heyninck and Gabriele Kern-Isberner},

editor = {Zhi-Hua Zhou},

url = {https://doi.org/10.24963/ijcai.2021/282},

doi = {10.24963/IJCAI.2021/282},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial 

 Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 

 August 2021},

pages = {2047–2053},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/Heyninck0K021,

title = {Tractable Reasoning Using Logic Programs with Intensional Concepts},

author = {Jesse Heyninck and Ricardo Gonçalves and Matthias Knorr and João Leite},

editor = {Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak},

url = {https://doi.org/10.1007/978-3-030-75775-5_22},

doi = {10.1007/978-3-030-75775-5_22},

year  = {2021},

date = {2021-01-01},

booktitle = {Logics in Artificial Intelligence - 17th European Conference, JELIA 

 2021, Virtual Event, May 17-20, 2021, Proceedings},

volume = {12678},

pages = {329–345},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/HeyninckA21,

title = {Approximation Fixpoint Theory for Non-Deterministic Operators and 

 Its Application in Disjunctive Logic Programming},

author = {Jesse Heyninck and Ofer Arieli},

editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem},

url = {https://doi.org/10.24963/kr.2021/32},

doi = {10.24963/KR.2021/32},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 18th International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2021, Online event, November 

 3-12, 2021},

pages = {334–344},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/HeyninckKRST21,

title = {Revision and Conditional Inference for Abstract Dialectical Frameworks},

author = {Jesse Heyninck and Gabriele Kern-Isberner and Tjitze Rienstra and Kenneth Skiba and Matthias Thimm},

editor = {Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem},

url = {https://doi.org/10.24963/kr.2021/33},

doi = {10.24963/KR.2021/33},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 18th International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2021, Online event, November 

 3-12, 2021},

pages = {345–355},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/0001V21a,

title = {Conditional Inference under Disjunctive Rationality},

author = {Richard Booth and Ivan Varzinczak},

url = {https://doi.org/10.1609/aaai.v35i7.16774},

doi = {10.1609/AAAI.V35I7.16774},

year  = {2021},

date = {2021-01-01},

booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 

 2021, Thirty-Third Conference on Innovative Applications of Artificial 

 Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances 

 in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 

 2021},

pages = {6227–6234},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/FernandesFV21,

title = {A Connection Method for a Defeasible Extension of ALC},

author = {Renan Fernandes and Fred Freitas and Ivan Varzinczak},

editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt},

url = {https://ceur-ws.org/Vol-2954/paper-12.pdf},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 34th International Workshop on Description Logics 

 (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 

 Bratislava, Slovakia, September 19th to 22nd, 2021},

volume = {2954},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/time/ChafikACV21,

title = {A One-Pass Tree-Shaped Tableau for Defeasible LTL},

author = {Anasse Chafik and Fahima Cheikh Alili and Jean-François Condotta and Ivan Varzinczak},

editor = {Carlo Combi and Johann Eder and Mark Reynolds},

url = {https://doi.org/10.4230/LIPIcs.TIME.2021.16},

doi = {10.4230/LIPICS.TIME.2021.16},

year  = {2021},

date = {2021-01-01},

booktitle = {28th International Symposium on Temporal Representation and Reasoning, 

 TIME 2021, September 27-29, 2021, Klagenfurt, Austria},

volume = {206},

pages = {16:1–16:18},

publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},

series = {LIPIcs},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}