@inproceedings{DBLP:conf/concepts/CarrLMO25,

title = {Rational Inference in Formal Concept Analysis},

author = {Lucas Carr and Nicholas Leisegang and Thomas Andreas Meyer and Sergei Obiedkov},

editor = {Peggy Cellier and Bernhard Ganter and Rokia Missaoui},

url = {https://doi.org/10.1007/978-3-032-03364-2_21},

doi = {10.1007/978-3-032-03364-2_21},

year  = {2025},

date = {2025-01-01},

booktitle = {Conceptual Knowledge Structures - Second International Joint Conference, 

 CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings},

pages = {325–341},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/LeisegangMV25,

title = {Extending Defeasibility for Propositional Standpoint Logics},

author = {Nicholas Leisegang and Thomas Andreas Meyer and Ivan Varzinczak},

editor = {Giovanni Casini and Besik Dundua and Temur Kutsia},

url = {https://doi.org/10.1007/978-3-032-04590-4_4},

doi = {10.1007/978-3-032-04590-4_4},

year  = {2025},

date = {2025-01-01},

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

 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II},

pages = {43–57},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/SauerwaldSFM25,

title = {Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum 

 as Fallback},

author = {Kai Sauerwald and Kenneth Skiba and Eduardo Fermé and Thomas Meyer},

editor = {Giovanni Casini and Besik Dundua and Temur Kutsia},

url = {https://doi.org/10.1007/978-3-032-04590-4_5},

doi = {10.1007/978-3-032-04590-4_5},

year  = {2025},

date = {2025-01-01},

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

 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II},

pages = {58–74},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/CasiniH025,

title = {Reasoning in Defeasible Description Logics with System W and Lexicographic 

 Inference},

author = {Giovanni Casini and Jonas Haldimann and Thomas Meyer},

editor = {Magdalena Ortiz and Renata Wassermann and Torsten Schaub},

url = {https://doi.org/10.24963/kr.2025/22},

doi = {10.24963/KR.2025/22},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 22nd International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, 

 November 11-17, 2025},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/Heyninck00S25,

title = {An Analysis of the Role of Syntax in Inductive Inference},

author = {Jesse Heyninck and Richard Booth and Thomas Meyer and Lars-Phillip Spiegel},

editor = {Magdalena Ortiz and Renata Wassermann and Torsten Schaub},

url = {https://doi.org/10.24963/kr.2025/39},

doi = {10.24963/KR.2025/39},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 22nd International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, 

 November 11-17, 2025},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/LeisegangCM25,

title = {Semantic Bridges Between First Order c-Representations and Cost-Based 

 Semantics: An Initial Perspective},

author = {Nicholas Leisegang and Giovanni Casini and Thomas Andreas Meyer},

editor = {Anna Rapberger and Sebastian Rudolph},

url = {https://ceur-ws.org/Vol-4071/paper16.pdf},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning 

 (NMR 2025) co-located with the 22nd International Conference on 

 Principles of Knowledge Representation and Reasoning (KR 2025), 

 Melbourne, Australia, November 11-13, 2025},

pages = {210–224},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/SlaterMH25,

title = {Toward Defeasible Reasoning Using Knowledge Compilation Techniques},

author = {Luke Slater and Thomas Meyer and Jesse Heyninck},

editor = {Anna Rapberger and Sebastian Rudolph},

url = {https://ceur-ws.org/Vol-4071/paper18.pdf},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning 

 (NMR 2025) co-located with the 22nd International Conference on 

 Principles of Knowledge Representation and Reasoning (KR 2025), 

 Melbourne, Australia, November 11-13, 2025},

pages = {239–252},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:journals/corr/abs-2601-03840,

title = {Defeasible Conditionals using Answer Set Programming},

author = {Racquel Dennison and Jesse Heyninck and Thomas Meyer},

editor = {Martin Gebser and Daniela Inclezan and Francesco Ricca and Manuel Carro and Miroslaw Truszczynski},

url = {https://doi.org/10.4204/EPTCS.439.15},

doi = {10.4204/EPTCS.439.15},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings 41st International Conference on Logic Programming, ICLP 

 2025, Rende, Italy, 12-19th September 2025},

pages = {206–223},

series = {EPTCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/ChamaWMC24,

title = {Defeasible Justification for KML-Style Logic},

author = {Victoria Chama and Steve Wang and Thomas Andreas Meyer and Giovanni Casini},

editor = {Laura Giordano and Jean Christoph Jung and Ana Ozaki},

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

year  = {2024},

date = {2024-01-01},

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

 (DL 2024), Bergen, Norway, June 18-21, 2024},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/HeyninckBM24,

title = {The Role of Syntax in Inductive Inference: A Property-based Study},

author = {Jesse Heyninck and Richard Booth and Thomas Andreas Meyer},

editor = {Nina Gierasimczuk and Jesse Heyninck},

url = {https://ceur-ws.org/Vol-3835/paper15.pdf},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning 

 (NMR 2024) co-located with 21st International Conference on Principles 

 of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 

 November 2-4, 2024},

pages = {142–151},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/HahnKM24,

title = {Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals 

 Applied to Description Logics},

author = {Alexander Hahn and Gabriele Kern-Isberner and Thomas Meyer},

editor = {Nina Gierasimczuk and Jesse Heyninck},

url = {https://ceur-ws.org/Vol-3835/paper17.pdf},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning 

 (NMR 2024) co-located with 21st International Conference on Principles 

 of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 

 November 2-4, 2024},

pages = {162–172},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/HeyninckKMHB23,

title = {Conditional Syntax Splitting for Non-monotonic Inference Operators},

author = {Jesse Heyninck and Gabriele Kern-Isberner and Thomas Andreas Meyer and Jonas Philipp Haldimann and Christoph Beierle},

editor = {Brian Williams and Yiling Chen and Jennifer Neville},

url = {https://doi.org/10.1609/aaai.v37i5.25789},

doi = {10.1609/AAAI.V37I5.25789},

year  = {2023},

date = {2023-01-01},

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

 2023, Thirty-Fifth Conference on Innovative Applications of Artificial 

 Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances 

 in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 

 7-14, 2023},

pages = {6416–6424},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/esws/JaftaLM23,

title = {Investigating Ontology-Based Data Access with GitHub},

author = {Yahlieel Jafta and Louise Leenen and Thomas Meyer},

editor = {Catia Pesquita and Ernesto Jiménez-Ruiz and Jamie P. McCusker and Daniel Faria and Mauro Dragoni and Anastasia Dimou and Raphaël Troncy and Sven Hertling},

url = {https://doi.org/10.1007/978-3-031-33455-9_38},

doi = {10.1007/978-3-031-33455-9_38},

year  = {2023},

date = {2023-01-01},

booktitle = {The Semantic Web - 20th International Conference, ESWC 2023, Hersonissos, 

 Crete, Greece, May 28 - June 1, 2023, Proceedings},

pages = {644–660},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/flairs/HaldimannBK023,

title = {Conditionals, Infeasible Worlds, and Reasoning with System W},

author = {Jonas Haldimann and Christoph Beierle and Gabriele Kern-Isberner and Thomas Meyer},

editor = {Michael Franklin and Soon Ae Chun},

url = {https://doi.org/10.32473/flairs.36.133268},

doi = {10.32473/FLAIRS.36.133268},

year  = {2023},

date = {2023-01-01},

booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence 

 Research Society Conference, FLAIRS 2023, Clearwater Beach, FL, 

 USA, May 14-17, 2023},

publisher = {Florida Online Journals},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/HaldimannMKB23,

title = {Rational Closure Extension in SPO-Representable Inductive Inference 

 Operators},

author = {Jonas Haldimann and Thomas Meyer and Gabriele Kern-Isberner and Christoph Beierle},

editor = {Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz},

url = {https://doi.org/10.1007/978-3-031-43619-2_38},

doi = {10.1007/978-3-031-43619-2_38},

year  = {2023},

date = {2023-01-01},

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

 2023, Dresden, Germany, September 20-22, 2023, Proceedings},

pages = {561–576},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/HeyninckC0S23,

title = {Revising Typical Beliefs: One Revision to Rule Them All},

author = {Jesse Heyninck and Giovanni Casini and Thomas Meyer and Umberto Straccia},

editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},

url = {https://doi.org/10.24963/kr.2023/35},

doi = {10.24963/KR.2023/35},

year  = {2023},

date = {2023-01-01},

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

 Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, 

 September 2-8, 2023},

pages = {355–364},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/HeyninckKM22,

title = {Lexicographic Entailment, Syntax Splitting and the Drowning Problem},

author = {Jesse Heyninck and Gabriele Kern-Isberner and Thomas Andreas Meyer},

editor = {Luc De Raedt},

url = {https://doi.org/10.24963/ijcai.2022/369},

doi = {10.24963/IJCAI.2022/369},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the Thirty-First International Joint Conference on 

 Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 

 2022},

pages = {2662–2668},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/HeyninckKM22,

title = {Conditional Syntax Splitting, Lexicographic Entailment and the Drowning 

 Effect},

author = {Jesse Heyninck and Gabriele Kern-Isberner and Thomas Andreas Meyer},

editor = {Ofer Arieli and Giovanni Casini and Laura Giordano},

url = {https://ceur-ws.org/Vol-3197/paper6.pdf},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 

 NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, 

 Israel, August 7-9, 2022},

pages = {61–69},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/BakerM22,

title = {Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility},

author = {Clayton K. Baker and Thomas Andreas Meyer},

editor = {Ofer Arieli and Giovanni Casini and Laura Giordano},

url = {https://ceur-ws.org/Vol-3197/short1.pdf},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 

 NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, 

 Israel, August 7-9, 2022},

pages = {139–142},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/CasiniMV22,

title = {Situated Conditionals - A Brief Introduction},

author = {Giovanni Casini and Thomas Andreas Meyer and Ivan Varzinczak},

editor = {Ofer Arieli and Giovanni Casini and Laura Giordano},

url = {https://ceur-ws.org/Vol-3197/short4.pdf},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 

 NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, 

 Israel, August 7-9, 2022},

pages = {151–154},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ruleml/CasiniMPV22,

title = {KLM-Style Defeasibility for Restricted First-Order Logic},

author = {Giovanni Casini and Thomas Meyer and Guy Paterson-Jones and Ivan Varzinczak},

editor = {Guido Governatori and Anni-Yasmin Turhan},

url = {https://doi.org/10.1007/978-3-031-21541-4_6},

doi = {10.1007/978-3-031-21541-4_6},

year  = {2022},

date = {2022-01-01},

booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules 

 and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, 

 Proceedings},

pages = {81–94},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sacair/Wang0M22,

title = {Defeasible Justification Using the KLM Framework},

author = {Steve Wang and Thomas Meyer and Deshendran Moodley},

editor = {Anban W. Pillay and Edgar Jembere and Aurona Gerber},

url = {https://doi.org/10.1007/978-3-031-22321-1_13},

doi = {10.1007/978-3-031-22321-1_13},

year  = {2022},

date = {2022-01-01},

booktitle = {Artificial Intelligence Research - Third Southern African Conference, 

 SACAIR 2022, Stellenbosch, South Africa, December 5-9, 2022, Proceedings},

pages = {187–201},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sacair/Heyninck022,

title = {Relevance in the Computation of Non-monotonic Inferences},

author = {Jesse Heyninck and Thomas Meyer},

editor = {Anban W. Pillay and Edgar Jembere and Aurona Gerber},

url = {https://doi.org/10.1007/978-3-031-22321-1_14},

doi = {10.1007/978-3-031-22321-1_14},

year  = {2022},

date = {2022-01-01},

booktitle = {Artificial Intelligence Research - Third Southern African Conference, 

 SACAIR 2022, Stellenbosch, South Africa, December 5-9, 2022, Proceedings},

pages = {202–214},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/CasiniMV21,

title = {Contextual Conditional Reasoning},

author = {Giovanni Casini and Thomas Andreas Meyer and Ivan Varzinczak},

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

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

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 = {6254–6261},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sacair/EverettMM21,

title = {Explanation for KLM-Style Defeasible Reasoning},

author = {Lloyd Everett and Emily Morris and Thomas Meyer},

editor = {Edgar Jembere and Aurona J. Gerber and Serestina Viriri and Anban W. Pillay},

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

doi = {10.1007/978-3-030-95070-5_13},

year  = {2021},

date = {2021-01-01},

booktitle = {Artificial Intelligence Research - Second Southern African Conference, 

 SACAIR 2021, Durban, South Africa, December 6-10, 2021, Proceedings},

pages = {192–207},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/CasiniMV20,

title = {Rational Defeasible Belief Change},

author = {Giovanni Casini and Thomas Meyer and Ivan Varzinczak},

editor = {Diego Calvanese and Esra Erdem and Michael Thielscher},

url = {https://doi.org/10.24963/kr.2020/22},

doi = {10.24963/KR.2020/22},

year  = {2020},

date = {2020-01-01},

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

 Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, 

 September 12-18, 2020},

pages = {213–222},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sacair/BakerDF020,

title = {Cognitive Defeasible Reasoning: the Extent to Which Forms of Defeasible 

 Reasoning Correspond with Human Reasoning},

author = {Clayton Kevin Baker and Claire Denny and Paul Freund and Thomas Meyer},

editor = {Aurona J. Gerber},

url = {https://doi.org/10.1007/978-3-030-66151-9_13},

doi = {10.1007/978-3-030-66151-9_13},

year  = {2020},

date = {2020-01-01},

booktitle = {Artificial Intelligence Research - First Southern African Conference 

 for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 

 22-26, 2021, Proceedings},

pages = {199–219},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sacair/Paterson-JonesC20,

title = {A Boolean Extension of KLM-Style Conditional Reasoning},

author = {Guy Paterson-Jones and Giovanni Casini and Thomas Meyer},

editor = {Aurona J. Gerber},

url = {https://doi.org/10.1007/978-3-030-66151-9_15},

doi = {10.1007/978-3-030-66151-9_15},

year  = {2020},

date = {2020-01-01},

booktitle = {Artificial Intelligence Research - First Southern African Conference 

 for AI Research, SACAIR 2020, Muldersdrift, South Africa, February 

 22-26, 2021, Proceedings},

pages = {236–252},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}