@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},

volume = {13870},

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 = {AAAI Press},

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},

volume = {14281},

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},

volume = {3197},

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},

volume = {3197},

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},

volume = {3197},

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},

volume = {13752},

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},

volume = {1734},

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},

volume = {1734},

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},

volume = {1551},

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},

volume = {1342},

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},

volume = {1342},

pages = {236–252},

publisher = {Springer},

series = {Communications in Computer and Information Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/birthday/BritzCMV19,

title = {A KLM Perspective on Defeasible Reasoning for Description Logics},

author = {Katarina Britz and 

 Giovanni Casini and 

 Thomas Meyer and 

 Ivan Varzinczak},

editor = {Carsten Lutz and 

 Uli Sattler and 

 Cesare Tinelli and 

 Anni{-}Yasmin Turhan and 

 Frank Wolter},

url = {https://doi.org/10.1007/978-3-030-22102-7_7},

doi = {10.1007/978-3-030-22102-7_7},

year  = {2019},

date = {2019-01-01},

booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated 

 to Franz Baader on the Occasion of His 60th Birthday},

volume = {11560},

pages = {147–173},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/CasiniHMS19,

title = {Arbitrary Ranking of Defeasible Subsumption},

author = {Giovanni Casini and 

 Michael Harrison and 

 Thomas Meyer and 

 Reid Swan},

editor = {Mantas Simkus and 

 Grant E. Weddell},

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

year  = {2019},

date = {2019-01-01},

booktitle = {Proceedings of the 32nd International Workshop on Description Logics, 

 Oslo, Norway, June 18-21, 2019},

volume = {2373},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/fair2/HarrisonM19,

title = {Rational preferential reasoning for datalog},

author = {Michael Harrison and 

 Thomas Meyer},

editor = {Marelie H. Davel and 

 Etienne Barnard},

url = {https://ceur-ws.org/Vol-2540/FAIR2019_paper_67.pdf},

year  = {2019},

date = {2019-01-01},

booktitle = {Proceedings of the South African Forum for Artificial Intelligence 

 Research, Cape Town, South Africa, 4-6 December, 2019},

volume = {2540},

pages = {232–243},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/CasiniMV19,

title = {Simple Conditionals with Constrained Right Weakening},

author = {Giovanni Casini and 

 Thomas Meyer and 

 Ivan Varzinczak},

editor = {Sarit Kraus},

url = {https://doi.org/10.24963/ijcai.2019/226},

doi = {10.24963/IJCAI.2019/226},

year  = {2019},

date = {2019-01-01},

booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on 

 Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 

 2019},

pages = {1632–1638},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/CasiniMV19,

title = {Taking Defeasible Entailment Beyond Rational Closure},

author = {Giovanni Casini and 

 Thomas Meyer and 

 Ivan Varzinczak},

editor = {Francesco Calimeri and 

 Nicola Leone and 

 Marco Manna},

url = {https://doi.org/10.1007/978-3-030-19570-0_12},

doi = {10.1007/978-3-030-19570-0_12},

year  = {2019},

date = {2019-01-01},

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

 2019, Rende, Italy, May 7-11, 2019, Proceedings},

volume = {11468},

pages = {182–197},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/BothaMP19,

title = {A Bayesian Extension of the Description Logic emphALC},

author = {Leonard Botha and 

 Thomas Meyer and 

 Rafael Pe{ñ}aloza},

editor = {Francesco Calimeri and 

 Nicola Leone and 

 Marco Manna},

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

doi = {10.1007/978-3-030-19570-0_22},

year  = {2019},

date = {2019-01-01},

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

 2019, Rende, Italy, May 7-11, 2019, Proceedings},

volume = {11468},

pages = {339–354},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/BothaMP18,

title = {The Bayesian Description Logic BALC},

author = {Leonard Botha and 

 Thomas Andreas Meyer and 

 Rafael Pe{ñ}aloza},

editor = {Magdalena Ortiz and 

 Thomas Schneider},

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

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the 31st International Workshop on Description Logics 

 co-located with 16th International Conference on Principles of Knowledge 

 Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 

 27th - to - 29th, 2018},

volume = {2211},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/haisa/MoutonPM18,

title = {A Social Engineering Prevention Training Tool: Methodology and Design 

 for Validating the SEADM},

author = {Francois Mouton and 

 Michael Pepper and 

 Thomas Meyer},

editor = {Nathan L. Clarke and 

 Steven Furnell},

url = {https://www.cscan.org/?page=openaccess&eid=20&id=374},

year  = {2018},

date = {2018-01-01},

booktitle = {Twelfth International Symposium on Human Aspects of Information Security 

 & Assurance, HAISA 2018, Dundee, Scotland, UK, August 29-31, 

 2018, Proceedings},

pages = {12–27},

publisher = {University of Plymouth},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ki/RensM18,

title = {Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous 

 Events},

author = {Gavin Rens and 

 Thomas Andreas Meyer},

editor = {Christoph Beierle and 

 Gabriele Kern{-}Isberner and 

 Marco Ragni and 

 Frieder Stolzenburg and 

 Matthias Thimm},

url = {https://ceur-ws.org/Vol-2194/paper_4.pdf},

year  = {2018},

date = {2018-01-01},

booktitle = {Proceedings of the 7th Workshop on Dynamics of Knowledge and Belief 

 (DKB-2018) and the 6th Workshop KI & Kognition (KIK-2018) 

 co-located with 41st German Conference on Artificial Intelligence 

 (KI 2018), Berlin, Germany, September 25, 2018},

volume = {2194},

pages = {41–54},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ki/RensNM18,

title = {Maximizing Expected Impact in an Agent Reputation Network},

author = {Gavin Rens and 

 Abhaya Nayak and 

 Thomas Andreas Meyer},

editor = {Frank Trollmann and 

 Anni{-}Yasmin Turhan},

url = {https://doi.org/10.1007/978-3-030-00111-7_9},

doi = {10.1007/978-3-030-00111-7_9},

year  = {2018},

date = {2018-01-01},

booktitle = {KI 2018: Advances in Artificial Intelligence - 41st German Conference 

 on AI, Berlin, Germany, September 24-28, 2018, Proceedings},

volume = {11117},

pages = {99–106},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ki/RensMKN18,

title = {Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence},

author = {Gavin Rens and 

 Thomas Andreas Meyer and 

 Gabriele Kern{-}Isberner and 

 Abhaya Nayak},

editor = {Frank Trollmann and 

 Anni{-}Yasmin Turhan},

url = {https://doi.org/10.1007/978-3-030-00111-7_29},

doi = {10.1007/978-3-030-00111-7_29},

year  = {2018},

date = {2018-01-01},

booktitle = {KI 2018: Advances in Artificial Intelligence - 41st German Conference 

 on AI, Berlin, Germany, September 24-28, 2018, Proceedings},

volume = {11117},

pages = {343–356},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/CasiniFMV18,

title = {A Semantic Perspective on Belief Change in a Preferential Non-Monotonic 

 Framework},

author = {Giovanni Casini and 

 Eduardo Fermé and 

 Thomas Meyer and 

 Ivan Varzinczak},

editor = {Michael Thielscher and 

 Francesca Toni and 

 Frank Wolter},

url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18071},

year  = {2018},

date = {2018-01-01},

booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings 

 of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 

 30 October - 2 November 2018},

pages = {220–229},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}