 |
|
 Knowledge Representation, Reasoning and Declarative Problem Solving
This book is about the language of logic programming with answer set semantics and its application
to knowledge representation reasoning and declarative problem solving This book will be useful
to researchers in logic programming declarative programming articial intelligence knowledge
representation and autonomous agents to... |  |  |  |  |
|
|
|
 Introduction to Mathematical Logic
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer... |  |  Insights into Game Theory: An Alternative Mathematical Experience
Few branches of mathematics have been more influential in the social sciences than game theory. In recent years, it has become an essential tool for all social scientists studying the strategic behaviour of competing individuals, firms and countries. However, the mathematical complexity of game theory is often very intimidating for students... |  |  Finite-State Language Processing (Language, Speech, and Communication)
Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This... |
|
| Result Page: 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 |