Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
اقرأ المزيد
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
اقرأ المزيد
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed ...
اقرأ المزيد
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
اقرأ المزيد
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Logical Approaches to Computational Barriers
The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...
اقرأ المزيد
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 ...
اقرأ المزيد
Logical Foundations for Rule-Based Systems
The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide ...
اقرأ المزيدMEGAFLOW - Numerical Flow Simulation for Aircraft Design
This volume contains results of the German CFD initiative MEGAFLOW which combines many of the CFD development activities ...
اقرأ المزيد
MICAI 2007: Advances in Artificial Intelligence
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized ...
اقرأ المزيد
Machine Ethics
This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...
اقرأ المزيد
Machine Learning Challenges
This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...
اقرأ المزيدMachine Learning and Knowledge Extraction : 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, Virtual Event, August 17–20, 2021, Proceedings
This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain ...
اقرأ المزيد
Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020
This book proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It ...
اقرأ المزيد
Machine Learning for Cyber Physical Systems
This book presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical ...
اقرأ المزيد
Market Segmentation Analysis
This open access book offers something for everyone working with market segmentation: practical guidance for users of market ...
اقرأ المزيد
Market-Conform Valuation of Options
we will investigate the 'market-conform' pricing of newly issued contingent claims. A contingent claim is a derivative ...
اقرأ المزيد
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيد
Mathematical Methods for Engineers and Geoscientists
This book introduces and explains classical and modern mathematical procedures as applied to the real problems confronting ...
اقرأ المزيد
