Electronic Proceedings in Theoretical Computer Science

Title Publication Date Language Citations
Assessing Drivers' Situation Awareness in Semi-Autonomous Vehicles: ASP based Characterisations of Driving Dynamics for Modelling Scene Interpretation and Projection2023/09/12English
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming2023/09/12English
Sorting Strategies for Interactive Conflict Resolution in ASP2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Explanations for Answer Set Programming2023/09/12English
Towards One-Shot Learning for Text Classification using Inductive Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Deontic Paradoxes in ASP with Weak Constraints2023/09/12English
A Dataflow Analysis for Comparing and Reordering Predicate Arguments2023/09/12English
On the Independencies Hidden in the Structure of a Probabilistic Logic Program2023/09/12English
Understanding ProbLog as Probabilistic Argumentation2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
On the Potential of CLIP for Compositional Logical Reasoning2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Explainable Answer-set Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Beyond Traditional Neural Networks: Toward adding Reasoning and Learning Capabilities through Computational Logic Techniques2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Nemo: First Glimpse of a New Rule Engine2023/09/12English
Deep Inductive Logic Programming meets Reinforcement Learning2023/09/12English
Quantification and Aggregation over Concepts of the Ontology2023/09/12English
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach2023/09/12English
Bottom-Up Stratified Probabilistic Logic Programming with Fusemate2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Proceedings 39th International Conference on Logic Programming2023/09/12English
Leasing the Cloud-Edge Continuum, à la Carte2023/09/12English
On Feasibility of Declarative Diagnosis2023/09/12English