Publications

@inproceedings{DBLP:conf/ijcai/HeyninckRS23,

title = {Ranking-based Argumentation Semantics Applied to Logical Argumentation},

author = {Jesse Heyninck and Badran Raddaoui and Christian Straßer},

url = {https://doi.org/10.24963/ijcai.2023/364},

doi = {10.24963/IJCAI.2023/364},

year  = {2023},

date = {2023-01-01},

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

 Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, 

 SAR, China},

pages = {3268–3276},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/WilhelmSKHBH23,

title = {Splitting Techniques for Conditional Belief Bases in the Context of 

 c-Representations},

author = {Marco Wilhelm and Meliha Sezgin and Gabriele Kern-Isberner and Jonas Haldimann and Christoph Beierle and Jesse Heyninck},

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

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

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

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 = {462–477},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/ArieliH23,

title = {Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered 

 Preferences},

author = {Ofer Arieli and Jesse Heyninck},

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

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

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

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 = {55–64},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/Heyninck23,

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

 to Knowledge Representation (Preliminary Report)},

author = {Jesse Heyninck},

editor = {Kai Sauerwald and Matthias Thimm},

url = {https://ceur-ws.org/Vol-3464/paper7.pdf},

year  = {2023},

date = {2023-01-01},

booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning 

 co-located with the 20th International Conference on Principles of 

 Knowledge Representation and Reasoning (KR 2023) and co-located 

 with the 36th International Workshop on Description Logics (DL 2023), 

 Rhodes, Greece, September 2-4, 2023},

volume = {3464},

pages = {64–73},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/Heyninck23a,

title = {Semantics for Logic Programs with Choice Constructs on the Basis of 

 Approximation Fixpoint Theory (Preliminary Report)},

author = {Jesse Heyninck},

editor = {Kai Sauerwald and Matthias Thimm},

url = {https://ceur-ws.org/Vol-3464/paper8.pdf},

year  = {2023},

date = {2023-01-01},

booktitle = {Proceedings of the 21st International Workshop on Non-Monotonic Reasoning 

 co-located with the 20th International Conference on Principles of 

 Knowledge Representation and Reasoning (KR 2023) and co-located 

 with the 36th International Workshop on Description Logics (DL 2023), 

 Rhodes, Greece, September 2-4, 2023},

volume = {3464},

pages = {74–83},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Davidson2022b,

title = {ST-GNNs for Weather Prediction in South Africa},

author = {Mikhail Davidson and Deshendran Moodley},

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

year  = {2022},

date = {2022-11-28},

urldate = {2022-11-28},

booktitle = {Artificial Intelligence Research. SACAIR 2022.},

volume = {1734},

pages = {93-107},

publisher = {Springer, Cham},

series = {Communications in Computer and Information Science},

abstract = {Spatial-temporal graph neural networks (ST-GNN) have been shown to be highly effective for flow prediction in dynamic systems, but are under explored for weather prediction applications. We compare and evaluate Graph WaveNet (GWN) and the Low Rank Weighted Graph Neural Network (WGN) for weather prediction in South Africa. We compare these results to two basic temporal deep neural networks architectures, i.e. the Long Short-Term Memory (LSTM) and the Temporal Convolutional Neural Network (TCN), for maximum temperature prediction across 21 weather stations in South Africa. We also perform rigorous experiments to evaluate the stability and robustness of both ST-GNNs. The results show that the GWN model outperforms the other models across different prediction horizons with an average SMAPE score of 8.30%. We also analyse and compare learnt adjacency matrices of the two ST-GNNs to gain insights into the prominent spatial-temporal dependencies between weather stations.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Heyninck2022b,

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

author = {Jesse Heyninck and Thomas Meyer},

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

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

year  = {2022},

date = {2022-11-28},

booktitle = {Artificial Intelligence Research. SACAIR 2022.},

volume = {1743},

pages = {202-214},

publisher = {Springer, Cham},

series = {Communications in Computer and Information Science},

abstract = {Inductive inference operators generate non-monotonic inference relations on the basis of a set of conditionals. Examples include rational closure, system P and lexicographic inference. For most of these systems, inference has a high worst-case computational complexity. Recently, the notion of syntax splitting has been formulated, which allows restricting attention to subsets of conditionals relevant for a given query. In this paper, we define algorithms for inductive inference that take advantage of syntax splitting in order to obtain more efficient decision procedures. In particular, we show that relevance allows to use the modularity of knowledge base is a parameter that leads to tractable cases of inference for inductive inference operators such as lexicographic inference.},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Everett2022b,

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

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

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

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

year  = {2022},

date = {2022-01-29},

urldate = {2022-01-29},

booktitle = {Artificial Intelligence Research. SACAIR 2021.},

volume = {1551},

pages = {192-207},

publisher = {Springer, Cham},

series = {Communications in Computer and Information Science},

abstract = {Explanation services are a crucial aspect of symbolic reasoning systems but they have not been explored in detail for defeasible formalisms such as KLM. We evaluate prior work on the topic with a focus on KLM propositional logic and find that a form of defeasible explanation initially described for Rational Closure which we term weak justification can be adapted to Relevant and Lexicographic Closure as well as described in terms of intuitive properties derived from the KLM postulates. We also consider how a more general definition of defeasible explanation known as strong explanation applies to KLM and propose an algorithm that enumerates these justifications for Rational Closure.},

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

title = {Exploring Graph Neural Networks for Stock Market Prediction on the JSE},

author = {Kialan Pillay and Deshendran Moodley},

url = {https://link.springer.com/chapter/10.1007/978-3-030-95070-5_7},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

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

pages = {95–110},

organization = {Springer, Cham},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{drake2022invest,

title = {INVEST: Ontology Driven Bayesian Networks for Investment Decision Making on the JSE},

author = {Rachel Drake and Deshendran Moodley},

url = {https://pubs.cs.uct.ac.za/id/eprint/1526/},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

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

pages = {252–273},

organization = {https://2021.sacair.org.za/wp-content/uploads/2022/02/SACAIR21-Proceedings~…},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{blem2022deep,

title = {Deep Neural Networks For Online Trend Prediction},

author = {Morgan Blem and Chesney Cristaudo and Deshendran Moodley},

url = {https://ieeexplore.ieee.org/abstract/document/9841335},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {2022 25th International Conference on Information Fusion (FUSION)},

pages = {1–8},

organization = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/HeyninckTKRS22,

title = {Conditional Abstract Dialectical Frameworks},

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

url = {https://doi.org/10.1609/aaai.v36i5.20511},

doi = {10.1609/AAAI.V36I5.20511},

year  = {2022},

date = {2022-01-01},

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

 2022, Thirty-Fourth Conference on Innovative Applications of Artificial 

 Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances 

 in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 

 - March 1, 2022},

pages = {5692–5699},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/comma/RienstraHKST22,

title = {Explaining Argument Acceptance in ADFs},

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

editor = {Kristijonas Cyras and Timotheus Kampik and Oana Cocarascu and Antonio Rago},

url = {https://ceur-ws.org/Vol-3209/1525.pdf},

year  = {2022},

date = {2022-01-01},

booktitle = {1st International Workshop on Argumentation for eXplainable AI co-located 

 with 9th International Conference on Computational Models of Argument 

 (COMMA 2022), Cardiff, Wales, September 12, 2022},

volume = {3209},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/comma/SkibaTRHK22,

title = {Realisability of Rankings-based Semantics},

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

editor = {Sarah Alice Gaggl and Jean-Guy Mailly and Matthias Thimm and Johannes Peter Wallner},

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

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of the Fourth International Workshop on Systems and Algorithms 

 for Formal Argumentation co-located with the 9th International Conference 

 on Computational Models of Argument (COMMA 2022), Cardiff, Wales, 

 United Kingdom, September 13, 2022},

volume = {3236},

pages = {73–85},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/HeyninckKRST22,

title = {Possibilistic Logic Underlies Abstract Dialectical Frameworks},

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

editor = {Luc De Raedt},

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

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

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 = {2655–2661},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/Kern-IsbernerHB22,

title = {Conditional Independence for Iterated Belief Revision},

author = {Gabriele Kern-Isberner and Jesse Heyninck and Christoph Beierle},

editor = {Luc De Raedt},

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

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

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 = {2690–2696},

publisher = {ijcai.org},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/BouraouiKMSV22,

title = {Region-Based Merging of Open-Domain Terminological Knowledge},

author = {Zied Bouraoui and Sébastien Konieczny and Thanh Ma and Nicolas Schwind and Ivan Varzinczak},

editor = {Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer},

url = {https://proceedings.kr.org/2022/9/},

year  = {2022},

date = {2022-01-01},

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

 Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, 

 July 31 - August 5, 2022},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ksem/BouraouiKMV22,

title = {Tree Edit Distance Based Ontology Merging Evaluation Framework},

author = {Zied Bouraoui and Sébastien Konieczny and Thanh Ma and Ivan Varzinczak},

editor = {Gérard Memmi and Baijian Yang and Linghe Kong and Tianwei Zhang and Meikang Qiu},

url = {https://doi.org/10.1007/978-3-031-10986-7_31},

doi = {10.1007/978-3-031-10986-7_31},

year  = {2022},

date = {2022-01-01},

booktitle = {Knowledge Science, Engineering and Management - 15th International 

 Conference, KSEM 2022, Singapore, August 6-8, 2022, Proceedings, 

 Part II},

volume = {13369},

pages = {383–395},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/CasiniS22,

title = {A General Framework for Modelling Conditional Reasoning - Preliminary 

 Report},

author = {Giovanni Casini and Umberto Straccia},

editor = {Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer},

url = {https://proceedings.kr.org/2022/12/},

year  = {2022},

date = {2022-01-01},

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

 Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, 

 July 31 - August 5, 2022},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/StracciaC22,

title = {A Minimal Deductive System for RDFS with Negative Statements},

author = {Umberto Straccia and Giovanni Casini},

editor = {Gabriele Kern-Isberner and Gerhard Lakemeyer and Thomas Meyer},

url = {https://proceedings.kr.org/2022/35/},

year  = {2022},

date = {2022-01-01},

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

 Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, 

 July 31 - August 5, 2022},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/nmr/CasiniS22,

title = {Defeasible Reasoning in RDFS},

author = {Giovanni Casini and Umberto Straccia},

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

url = {https://ceur-ws.org/Vol-3197/short5.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 = {155–158},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{kouassi2021automated,

title = {Automated deep learning for trend prediction in time series data},

author = {Kouame Kouassi and Deshendran Moodley},

url = {https://ieeexplore.ieee.org/abstract/document/9626910},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {2021 IEEE 24th International Conference on Information Fusion (FUSION)},

pages = {1–8},

organization = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{wanyana2021agent,

title = {An agent architecture for knowledge discovery and evolution},

author = {Tezira Wanyana and Deshendran Moodley},

url = {https://link.springer.com/chapter/10.1007/978-3-030-87626-5_18},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

booktitle = {KI 2021: Advances in Artificial Intelligence: 44th German Conference on AI, Virtual Event, September 27–October 1, 2021, Proceedings 44},

pages = {241–256},

organization = {Springer International Publishing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}