Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

Ethical and legal concerns make it necessary for programs that may directly influence the life
of people (via, eg, legal or health counseling) to justify in human-understandable terms the …

Humans understand language by extracting information (meaning) from sentences,
combining it with existing commonsense knowledge, and then performing reasoning to draw …

Understanding the meaning of a text is a fundamental challenge of natural language
understanding (NLU) research. An ideal NLU system should process a language in a way …

Driving an automobile involves the tasks of observing surroundings, then making a driving
decision based on these observations (steer, brake, coast, etc.). In autonomous driving, all …

Deep learning models such as CNNs have surpassed human performance in computer
vision tasks such as image classi-fication. However, despite their sophistication, these …

Automated legal reasoning and its application in smart contracts and automated decisions
are increasingly attracting interest. In this context, ethical and legal concerns make it …

Automated legal reasoning and its application in smart contract is getting interest. In this
context, ethical and legal concerns make it necessary for automated reasoners to justify in …

FOLD-RM is an automated inductive learning algorithm for learning default rules for mixed
(numerical and categorical) data. It generates an (explainable) answer set programming …

We present xclingo, a tool for generating explanations from ASP programs annotated with
text and labels. These annotations allow tracing the application of rules or the atoms derived …