Publications

@inproceedings{10.1007/978-3-031-78255-8_29,

title = {Knowledge Compilation for KLM-Style Defeasible Reasoning},

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

editor = {Aurona Gerber and Jacques Maritz and Anban W. Pillay},

url = {https://link.springer.com/chapter/10.1007/978-3-031-78255-8_29},

isbn = {978-3-031-78255-8},

year  = {2025},

date = {2025-01-01},

urldate = {2025-01-01},

booktitle = {Artificial Intelligence Research},

pages = {493–508},

publisher = {Springer Nature Switzerland},

address = {Cham},

abstract = {In artificial intelligence, knowledge compilation involves transforming knowledge into a form that facilitates efficient reasoning. We introduce a method for knowledge compilation of ranked interpretations within the KLM framework for defeasible reasoning. Leveraging binary decision diagrams (BDDs), a well-established tool in knowledge compilation, we demonstrate that ranked interpretations can be effectively represented using a BDD with multiple terminal nodes, termed a ranked binary decision diagram (RBDD). Additionally, we show that an existing procedure for checking entailment against a BDD can be adapted with minimal modification to check defeasible entailment against an RBDD.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1007/978-3-031-78255-8_9,

title = {Predicting and Discovering Weather Patterns in South Africa Using Spatial-Temporal Graph Neural Networks},

author = {Adeeb Gaibie and Hamza Amir and Irene Nandutu and Deshendran Moodley},

editor = {Aurona Gerber and Jacques Maritz and Anban W. Pillay},

url = {https://link.springer.com/chapter/10.1007/978-3-031-78255-8_9},

isbn = {978-3-031-78255-8},

year  = {2025},

date = {2025-01-01},

urldate = {2025-01-01},

booktitle = {Artificial Intelligence Research},

pages = {144–160},

publisher = {Springer Nature Switzerland},

address = {Cham},

abstract = {This study explores Spatial-Temporal Graph Neural Networks (STGNNs) for predicting and discovering weather patterns in South Africa. We compared the predictive performance of three recent STGNNs, i.e. the Adaptive Graph Convolutional Recurrent Network (AGCRN), Conditional Local Convolution Recurrent Network (CLCRN) and Graph WaveNet (GWN) to a Temporal Convolution Network (TCN) to predict temperature, humidity, pressure and wind speed at 45 weather stations in South Africa. We also analysed the quality and usability of the spatial-temporal dependency graph learnt by the different STGNNs. Using the TCN as a baseline we analyse the increase in performance by adding spatial information and identify the stations most likely to be influenced by changes in neighbouring stations. While AGCRN achieved the best overall predictive performance, the dependency graph learned by CLCRN captured the most plausible spatial-temporal dependencies. The findings highlight the strengths and limitations of AGCRN and CLCRN for weather prediction and for automatic discovery of prominent weather patterns in South Africa.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/compsac/NzomoM25,

title = {Integrating Knowledge Graphs and Bayesian Networks: A Hybrid Approach 

 for Explainable Disease Risk Prediction},

author = {Mbithe Nzomo and Deshendran Moodley},

editor = {Hossain Shahriar and Kazi Shafiul Alam and Hiroyuki Ohsaki and Stelvio Cimato and Miriam A. M. Capretz and Shamem Ahmed and Sheikh Iqbal Ahamed and AKM Jahangir Alam Majumder and Munirul Haque and Tomoki Yoshihisa and Alfredo Cuzzocrea and Michiharu Takemoto and Nazmus Sakib and Marwa Elsayed},

url = {https://doi.org/10.1109/COMPSAC65507.2025.00111},

doi = {10.1109/COMPSAC65507.2025.00111},

year  = {2025},

date = {2025-01-01},

booktitle = {49th IEEE Annual Computers, Software, and Applications Conference, 

 COMPSAC 2025, Toronto, ON, Canada, July 8-11, 2025},

pages = {834–844},

publisher = {IEEE},

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

volume = {16094},

pages = {58–74},

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

volume = {16094},

pages = {43–57},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

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

volume = {15941},

pages = {325–341},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/Heyninck25,

title = {An Algebraic Notion of Conditional Independence, and Its Application 

 to Knowledge Representation},

author = {Jesse Heyninck},

editor = {Toby Walsh and Julie Shah and Zico Kolter},

url = {https://doi.org/10.1609/aaai.v39i14.33641},

doi = {10.1609/AAAI.V39I14.33641},

year  = {2025},

date = {2025-01-01},

booktitle = {AAAI-25, Sponsored by the Association for the Advancement of Artificial 

 Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA},

pages = {14967–14975},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/KillenYH25,

title = {An Alternative Theory of Stable Revision for Nondeterministic Approximation 

 Fixpoint Theory and the Relationships},

author = {Spencer Killen and Jia-Huai You and Jesse Heyninck},

editor = {Toby Walsh and Julie Shah and Zico Kolter},

url = {https://doi.org/10.1609/aaai.v39i14.33648},

doi = {10.1609/AAAI.V39I14.33648},

year  = {2025},

date = {2025-01-01},

booktitle = {AAAI-25, Sponsored by the Association for the Advancement of Artificial 

 Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA},

pages = {15033–15040},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/SpaansH25,

title = {A Unifying Framework for Semiring-Based Constraint Logic Programming 

 With Negation},

author = {Jeroen Spaans and Jesse Heyninck},

url = {https://doi.org/10.24963/ijcai.2025/299},

doi = {10.24963/IJCAI.2025/299},

year  = {2025},

date = {2025-01-01},

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

 Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 

 2025},

pages = {2684–2692},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/KettmannHS25,

title = {Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic 

 Programming Semantics},

author = {Pascal Kettmann and Jesse Heyninck and Hannes Strass},

url = {https://doi.org/10.24963/ijcai.2025/506},

doi = {10.24963/IJCAI.2025/506},

year  = {2025},

date = {2025-01-01},

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

 Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 

 2025},

pages = {4544–4552},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/SpiegelHHKB25,

title = {Generalized Safe Conditional Syntax Splitting of Belief Bases},

author = {Lars-Phillip Spiegel and Jonas Haldimann and Jesse Heyninck and Gabriele Kern-Isberner and Christoph Beierle},

url = {https://doi.org/10.24963/ijcai.2025/521},

doi = {10.24963/IJCAI.2025/521},

year  = {2025},

date = {2025-01-01},

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

 Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 

 2025},

pages = {4678–4686},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{leisegang2024towards,

title = {Towards Propositional KLM-Style Defeasible Standpoint Logics},

author = {Nicholas Leisegang and Thomas Meyer and Sebastian Rudolph},

url = {https://link.springer.com/chapter/10.1007/978-3-031-78255-8_27},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

booktitle = {Southern African Conference for Artificial Intelligence Research},

pages = {459–475},

organization = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{carr2024non,

title = {Non-monotonic Extensions to Formal Concept Analysis via Object Preferences},

author = {Lucas Carr and Nicholas Leisegang and Thomas Meyer and Sebastian Rudolph},

url = {https://link.springer.com/chapter/10.1007/978-3-031-78255-8_28},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

booktitle = {Southern African Conference for Artificial Intelligence Research},

pages = {476–492},

organization = {Springer},

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

volume = {3739},

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

volume = {3835},

pages = {142–151},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/HeyninckA24,

title = {Semantics for Non-Flat Assumption-Based Argumentation, Revisited},

author = {Jesse Heyninck and Ofer Arieli},

url = {https://www.ijcai.org/proceedings/2024/378},

year  = {2024},

date = {2024-01-01},

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

 Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 

 2024},

pages = {3413–3420},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/BeierleSHWHK24,

title = {Conditional Splittings of Belief Bases and Nonmonotonic Inference 

 with c-Representations},

author = {Christoph Beierle and Lars-Phillip Spiegel and Jonas Haldimann and Marco Wilhelm and Jesse Heyninck and Gabriele Kern-Isberner},

editor = {Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco},

url = {https://doi.org/10.24963/kr.2024/10},

doi = {10.24963/KR.2024/10},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 21st International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. 

 November 2-8, 2024},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/Heyninck24,

title = {Operator-Based Semantics for Choice Programs: Is Choosing Losing?},

author = {Jesse Heyninck},

editor = {Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco},

url = {https://doi.org/10.24963/kr.2024/42},

doi = {10.24963/KR.2024/42},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 21st International Conference on Principles of 

 Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. 

 November 2-8, 2024},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/lpnmr/HeyninckKL24,

title = {Abstract Dialectical Frameworks are Boolean Networks},

author = {Jesse Heyninck and Matthias Knorr and João Leite},

editor = {Carmine Dodaro and Gopal Gupta and Maria Vanina Martinez},

url = {https://doi.org/10.1007/978-3-031-74209-5_8},

doi = {10.1007/978-3-031-74209-5_8},

year  = {2024},

date = {2024-01-01},

booktitle = {Logic Programming and Nonmonotonic Reasoning - 17th International 

 Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings},

volume = {15245},

pages = {98–111},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/Heyninck0024,

title = {Abstract Dialectical Frameworks are Boolean Networks},

author = {Jesse Heyninck and Matthias Knorr and João Leite},

editor = {Nina Gierasimczuk and Jesse Heyninck},

url = {https://ceur-ws.org/Vol-3835/paper6.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},

volume = {3835},

pages = {53–60},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/sac/ArieliH24,

title = {Collective Attacks in Assumption-Based Argumentation},

author = {Ofer Arieli and Jesse Heyninck},

editor = {Jiman Hong and Juw Won Park},

url = {https://doi.org/10.1145/3605098.3635916},

doi = {10.1145/3605098.3635916},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 

 SAC 2024, Avila, Spain, April 8-12, 2024},

pages = {746–753},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rulemlrr/FernandesFVF24,

title = {PolyCoP: A Connection Prover For (Possibly) Any Logical Language},

author = {Renan Fernandes and Fred Freitas and Ivan Varzinczak and Pedro P. M. Farias},

editor = {Anisa Rula and Emanuel Sallinger and Ognjen Savkovic and Ioana Georgiana Ciuciu and Ioan Toma and Josiane Xavier Parreira and Radu Prodan and Hui Song and Ahmet Soylu},

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

year  = {2024},

date = {2024-01-01},

booktitle = {Companion Proceedings of the 8th International Joint Conference on 

 Rules and Reasoning co-located with 20th Reasoning Web Summer School 

 (RW 2024) and 16th DecisionCAMP 2024 as part of Declarative AI 

 2024, Bucharest, Romania, September 16-18, 2024},

volume = {3816},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Wanyana2023b,

title = {A Personal Health Agent for Decision Support in Arrhythmia Diagnosis},

author = {Tezira Wanyana and Mbithe Nzomo and C. Sue Price and Deshendran Moodley},

editor = {Leszek A. Maciaszek and Maurice D. Mulvenna and Martina Ziefle},

url = {https://airu.org.za/wp-content/uploads/2023/07/Wanyana-et-al.-A-Personal-Health-Agent-for-Decision-Support-in-Arrhythmia-Diagnosis.pdf},

doi = {10.1007/978-3-031-37496-8_20},

year  = {2023},

date = {2023-07-14},

urldate = {2023-07-14},

booktitle = {Information and Communication Technologies for Ageing Well and e-Health. ICT4AWE ICT4AWE 2021 2022.},

volume = {1856},

pages = {385–407},

publisher = {Springer, Cham},

series = {Communications in Computer and Information Science},

abstract = {We propose an architecture for a personal health agent (PHA) that combines machine learning and a Bayesian network (BN) for detecting and diagnosing heart disease, specifically arrhythmia. Machine learning (ML) is used for classifying a patient’s ECG signal. Four ML models, i.e. gradient boosting, random forest, multilayer perceptron and support vector machine, are compared and evaluated using a dataset of 5,340 records containing 12-lead ECG signals created from the Chapman-Shaoxing database. Among the four models, the gradient boosting model produces the best accuracy of 82.88% when classifying an ECG signal as either atrial fibrillation, other arrhythmia, or no arrhythmia. The detected pattern is integrated into a BN that captures expert knowledge about the causes of arrhythmia. The BN structure and parameters are informed by expert knowledge from the literature and evaluated using Pitchforth and Mengersen’s framework. The agent uses a decision support module to guide the diagnosis process. It suggests what questions to ask to increase certainty of the presence of arrhythmia, and it suggests what arrhythmia causes to follow up. This is achieved using sensitivity analysis and diagnostic Bayesian reasoning respectively. The architecture is evaluated using application use cases.},

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

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{Frances2023refine,

title = {Refinement of the Classification of Translations – Extension of the vartrans Module in OntoLex-Lemon},

author = {Frances Gillis-Webber},

url = {https://aclanthology.org/2023.ldk-1.4/},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

booktitle = {LDK 2023 – 4th Conference on Language, Data and Knowledge},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}