Wyniki wyszukiwania:

An Introduction to Multi-Paradigm Programming using C++ is a self-contained reference book for those studying and using C++. Starting from scratch, Dirk Vermeir explains the idea of address, value and type in C++ before quickly moving on to cover the more important aspects of the language such as classes, templates, generic programming and inheritance. He includes recent developments in C++, such as STL and the iostream library, and there is also a chapter devoted to program design principles. By using plenty of examples to illustrate the text, the reader is stimulated and inspired to see how...

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. Such problems occur naturally in diverse fields such as the design of gas and electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can...

Suitable for modeling problems with continuous domains, this title shows how ASP techniques can be generalized to FASP, paving the way to implement fuzzy answer set solvers, that can take advantage of existing fuzzy reasoners.