jose alferes

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 21st International Conference on Practical ...

Principles and Practice of Semantic Web Reasoning

Here are the proceedings of the 4th International Workshop on Principles and Practice of Semantic...

Rule Technologies. Research, Tools, and Applications

The 19 full papers, 1 short paper, 2 keynote abstracts, 2 invited tutorial papers, 1 invited stan...

Logics in Artificial Intelligence

Progress in Artificial Intelligence

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the P...

Principles and Practice of Semantic Web Reasoning

Here are the proceedings of the 4th International Workshop on Principles and Practice of Seman...

Progress in Artificial Intelligence

The Portuguese Association for Arti cial Intelligence (APPIA) has been re- larly organising the P...

Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 21 sup stsupInternati...

Reasoning with Logic Programming

As the first monograph in the field, this state-of-the-art survey provides a rigorous presentatio...

Logics in Artificial Intelligence

Logics have, for many years, laid claim to providing a formal basis for the study and development...

Rule Technologies. Research, Tools, and Applications

This book constitutes the refereed proceedings of the 10thInternational RuleML Symposium, Ru...

ADIn 2404 e a Doutrina Da Proteção Integral

O estudo tem o escopo de discutir acerca da classificação indicativa como um instrumento de prote...