Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lire la suiteThis book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteStructural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
Lire la suiteEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
Lire la suiteThis book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...
Lire la suiteThis volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE ...
Lire la suiteMathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised ...
Lire la suiteBy presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Lire la suiteThe book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, ...
Lire la suiteThe volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
Lire la suiteComputing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
Lire la suiteThis volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
Lire la suiteThis volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
Lire la suiteThis book brings together in one volume some of the very latest developments in moral psychology that were presented at a ...
Lire la suiteThe technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...
Lire la suiteThis is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the ...
Lire la suite