Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
اقرأ المزيد
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
اقرأ المزيد
Logic, Thought and Action
This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Logical Aspects of Computational Linguistics
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
اقرأ المزيد
Logical Aspects of Computational Linguistics
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI ...
اقرأ المزيد
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Machine Ethics
This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...
اقرأ المزيد
Managing Virtualization of Networks and Services
This volume of the Lecture Notes in Computer Science series contains all papers th accepted for presentation at the 18 IFIP/IEEE ...
اقرأ المزيد
Mathematical Modelling for Sustainable Development
Mathematics needs Sustainable Development. When science was gradually reinvented in European medieval societies, it was legitimised ...
اقرأ المزيد
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
اقرأ المزيد
Methods of Legal Reasoning
The book attempts to describe and criticize four methods used in legal practice, legal dogmatics and legal theory: logic, ...
اقرأ المزيدModel-Based Reasoning in Science, Technology, and Medicine
The volume is based on the papers that were presented at the international conference Model-Based Reasoning in Science and ...
اقرأ المزيد
Modeling and Retrieval of Context
Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and ...
اقرأ المزيد
Modeling and Using Context
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling ...
اقرأ المزيد
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. ...
اقرأ المزيد
Moral Psychology Today
This book brings together in one volume some of the very latest developments in moral psychology that were presented at a ...
اقرأ المزيد
Multi-Agent Systems and Applications V
The technical research paper section of the proceedingscontains pure - search papers as well as research results in application ...
اقرأ المزيد
On Law and Reason
This is an outline of a coherence theory of law. Its basic ideas are: reasonable support and weighing of reasons. All the ...
اقرأ المزيد
