Academic: Logic programming Ebooks

Sort by:

The Irish Language in the Digital Ageby Georg Rehm; Hans Uszkoreit
Springer 2012; US$ 54.99
This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development... more...
Add to my wish listAdd to cart
Answer Set Programming for Continuous Domainsby Jeroen Janssen; Steven Schockaert; Dirk Vermeir
Springer 2012; US$ 84.99
"Answer set programming (ASP)" is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains.... more...
Add to my wish listAdd to cart
Quantitative Logic and Soft Computing 2010by Bing-Yuan Cao; Shuili Chen; Guojun Wang; Sicong Guo
Springer 2010; US$ 399.99
This book is the proceedings of the 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010) from Oct. 22-25, 2010 in Xiamen, China. Only high-quality papers are included. The 2nd International Conference on Quantitative Logic and Soft Computing (QL & SC 2010), built on the success of previous conferences, the QL & QS 2009... more...
Add to my wish listAdd to cart
Logic Programmingby Patricia M. Hill; David S. Warren
Springer 2009; US$ 105.00
This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69... more...
Add to my wish listAdd to cart
Logic Synthesis for Compositional Microprogram Control Unitsby Alexander Barkalov; Larysa Titarenko
Springer 2008; US$ 109.99
The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties... more...
Add to my wish listAdd to cart
An Inductive Logic Programming Approach to Statistical Relational Learningby K. Kersting
IOS Press 2006; US$ 131.00
Talks about Logic Programming, Uncertainty Reasoning and Machine Learning. This book includes definitions that circumscribe the area formed by extending Inductive Logic Programming to cases annotated with probability values. It investigates the approach of Learning from proofs and the issue of upgrading Fisher Kernels to Relational Fisher Kernels. more...
Add to my wish listAdd to cart
Visual Basic Design Patternsby Mark Grand; Brad Merrill
Wiley 2005; US$ 45.00
Design Patterns are a type of pattern used in the initial design phase of an object-oriented development project Documents 46 Visual Basic .NET design patterns, including 20 that have never before been published Features case studies that demonstrate how to use design patterns effectively in the real world-and even explains where not to use design... more...
Add to my wish listAdd to cart
Mathematical Programmingby S. M. Sinha
Elsevier Science 2005; US$ 75.95
Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique in making optimal decisions. It has a very wide application in the analysis of management problems, in business and industry, in economic studies, in military problems and in many other fields of our present day activities. In this keen competetive world,... more...
Add to my wish listAdd to cart
Evolving Knowledge Basesby J.A. Leite
IOS Press 2003; US$ 73.00
An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs. more...
Add to my wish listAdd to cart
Logic And Declarative Languageby M. Downward
Taylor and Francis 1998; US$ 58.95
Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the... more...
Add to my wish listAdd to cart