One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book…
Title from title screen.Title from website (viewed Jan. 20, 2006).Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to …
Includes index."The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs - thereby combining the benefits of bot…
The Amu Darya and Syr Darya rivers of Central Asia flow across deserts to empty into the Aral Sea. Under Soviet rule, so much water was diverted from the rivers for agricultural purposes that salinity levels rapidly rose and the sea shrank. There was an upsurge in dust storms containing toxic salt residue, and a new desert began to replace the sea. At the same time, agricultural runoff rendered…
Failed or abandoned software development projects cost the U.S. economy alone billions of dollars a year. In Software Development Failures, Kweku Ewusi-Mensah offers an empirically grounded study that suggests why these failures happen and how they can be avoided. Case studies analyzed include the well-known Confirm travel industry reservation program, FoxMeyer's Delta, the IRS's Tax System Mod…
A selection of revised papers from a workshop organized by the editors and held in Amsterdam on 21-22 May 2002, with the addition of some invited papers by social researchers.A multidisciplinary examination of the interplay between social capital-the value derived from social ties-and information technology.OCLC-licensed vendor bibliographic record.
An overview of expertise sharing, an approach to knowledge management that emphasizes the human components of knowledge work in addition to information storage and retrieval. The field of knowledge management focuses on how organizations can most effectively store, manage, retrieve, and enlarge their intellectual properties. The repository view of knowledge management emphasizes the gathering, …
"A Bradford book."According to the received view of linguistic communication, the primary function of language is to enable speakers to reveal the propositional contents of their thoughts to hearers. Speakers are able to do this because they share with their hearers an understanding of the meanings of words. Christopher Gauker rejects this conception of language, arguing that it rests on an unt…
This book constitutes the refereed proceedings of the 9th International Conference on Web Reasoning and Rule Systems, RR 2015, held in Berlin, Germany, in August 2015. The 5 full papers, 4 technical communications presented together with 4 invited talks were carefully reviewed and selected from 16 submissions. The scale and the heterogenous nature of web data poses many challenges, and turns ba…
Introductory textbook covering all the main features of the 'web programming' languages PHP and MySQL together with detailed examples that will enable readers (whether students on a taught course or independent learners) to use them to create their own applications or understand existing ones. A particular focus is the use of PHP to generate MySQL commands from a script as it is executed. E…