Refine Results
Sort By
From
To
Page 1
Page 1
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
Managing Closed-Loop Supply Chains
Introduction Closing supply chains refers to taking care of items once they are no longer desired or can no longer be used by their user. Smart management of closed-loop supply chains means profitable recovery of value from these items (products, functional components, materials or packaging). The company closing the supply chain may be the original equipment manuf- turer (OEM), a distribution partner or a third party not involved in the f- ward distribution. In recent years, the management of closed-loop supply chains has gained importance because of increased legislation on producer respon- bility, requiring companies to take back products from customers and to organize for proper recovery and disposal. This legislation is partially due to increased awareness of environmental issues. However, smart com- nies have also understood that returned products often contain lots of value to be recovered. They manage closed-loop supply chains simply because it is a profitable business proposition.
Channel strategies and marketing mix in a connected world
Aims to revisit the “traditional” interaction between channel strategies and the marketing mix in a connected world. In particular, it focuses on the following four dimensions in this context: Consumers, Products, Value Proposition and Sustainability. Keeping in mind the growing digitalization of business processes in the retail world and the move towards omni-channel retailing.
Logic, Thought and Action
Contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.
Completeness theory for propositional logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.
Causation, Coherence and Concepts : A Collection of Essays
the papers cover epistemology, general philosophy of science, philosophy of language, and philosophy of mind. The section titles Belief, Causation, Laws, Coherence, and Concepts and the paper titles give a more adequate impression of the topics dealt with.
Attitudes and changing contexts
In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes this view within possible world semantics.
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
AiREAS : Sustainocracy for a healthy city : Phase 3 : Civilian participation – Including the global health deal proposition
This volume describes phase 3 of the AiREAS multidisciplinary cocreation effort to produce a Healthy City. Phase 1 referred to making visible the invisible from an air quality and human exposure perspective. Phase 2 studies air quality related to health and Phase 3 looks at air quality, health and lifestyle from the perspective of persuasion to innovative change. The three books together describe the coming about and first results of the AiREAS "healthy city" cooperative in the city of Eindhoven and Province of North Brabant in the Netherlands. AiREAS is an initiative focused on the multidisciplinary co-creation of healthy cities using the core human value of human health and air quality as guiding principle for profound regional innovation.
A Modern Perspective on Type Theory : From its Origins until Today
The first part of the book is historical, yet at the same time, places historical systems (like Russell's RTT) in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms), but at the same time, places another historical system (the proof checker Automath) in the modern setting. The third part uses this bridging in the first two parts between historical and modern systems to propose new systems that bring more advantages together. This book has much to offer to mathematicians, logicians and to computer scientists in general. It will have considerable influence for many years to come.' - Henk Barendregt
