Logic Programming and Nonmonotonic Reasoning

Practical Aspects of Declarative Languages

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of...

Logics in Artificial Intelligence

This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Int...

Hybrid Models for Coupling Deductive and Inductive Reasoning

This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Mode...

Artificial Intelligence for Healthcare, and Hybrid Models for Coupling Deductive and Inductive Reasoning

This book constitutes the proceedings of the First International Joint Conference on Artificial I...