Background and techniques for formalizing deductive argumentation in a logic-based framework for ...
This book is intended as an introduction to a versatile model for temporal data. It exhibits an o...
Background and techniques for formalizing deductive argumentation in a logic-based framework for ...
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Qua...
This book is written for those who are interested in a fonnalization of human reasoning, especial...
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Qua...
This book is intended as an introduction to a versatile model for temporal data. It exhibits a...
This book is written for those who are interested in a fonnalization of human reasoning, especial...