Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1) > Computational Logic (F.4.1...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 95 Reviews about "Computational Logic (F.4.1...)": Date Reviewed   Determining the currency of data Fan W., Geerts F., Wijsen J.  ACM Transactions on Database Systems 37(4): 1-46, 2012. Type: Article Dirty data refers to inaccurate, incomplete, or erroneous data in a computer system. One form of dirty data is created when relational databases contain multiple relations for an entity. Determining which of the entity attribute values are... Mar 27 2013   Computational logic and human thinking: how to be artificially intelligent Kowalski R.,  Cambridge University Press, New York, NY, 2011. 332 pp. Type: Book (978-0-521123-36-5) Computational thinking is a relatively new approach to education, centered on problem solving as well as system design and analysis based on the paradigms of computer science [1]. By stressing computational thinking at all levels of education,... Jul 10 2012   Practical algorithms for unsatisfiability proof and core generation in SAT solvers Asín Achá R., Nieuwenhuis R., Oliveras A., Rodríguez-Carbonell E.  AI Communications 23(2-3): 145-157, 2010. Type: Article Boolean satisfiability (SAT), a nondeterministic polynomial-time (NP) complete problem, deals with determining whether a given set of Boolean propositions can evaluate to a true value, by choosing an appropriate assignment to their constituent... Aug 11 2010   From word to sentence: a pregroup analysis of the object pronoun who(m) Lambek J.  Journal of Logic, Language and Information 16(3): 303-323, 2007. Type: Article This linguistics paper should interest a computing audience. As is well known, Chomsky advocated the idea that language is hard-wired into human beings in the form of a universal grammar; Lambek’s approach supports a ... Aug 28 2008   Outlier detection by logic programming Angiulli F., Greco G., Palopoli L.  ACM Transactions on Computational Logic 9(1): 7-es, 2007. Type: Article Detecting outliers in data mining, in the scenario of logic programming, is the topic covered in this paper. The specific problem, in this context, is that the background knowledge may (or may not) be in accordance with the hypotheses derived by... Apr 28 2008   Combining sets with cardinals Zarba C.  Journal of Automated Reasoning 34(1): 1-29, 2005. Type: Article The introduction to this excellent, instructive, highly theoretical paper is also a clear statement of its general motivation: to enable (decidable) reasoning about “logical formulas involving sets of elements of a given nature (such as... Jun 16 2006   Comparisons and computation of well-founded semantics for disjunctive logic programs Wang K., Zhou L.  ACM Transactions on Computational Logic 6(2): 295-327, 2005. Type: Article This rather long paper is a theoretical one, on reasoning about disjunctive information. One starts with a knowledge base built from atoms, a, and their negatives, not a, and structured by some rules of the... Jan 17 2006   Majority-based reversible logic gates Yang G., Hung W., Song X., Perkowski M.  Theoretical Computer Science 334(1-3): 259-274, 2005. Type: Article Yang et al. investigate the construction of reversible logic gates without constants. The key area of application is quantum computing. The basic idea of reversible computing is to avoid destroying bits. This has the physical correlate that... Nov 28 2005   Design of logic-based intelligent systems Truemper K.,  Wiley-Interscience, New York, NY, 2004. 352 pp. Type: Book (9780471484035), Reviews: (2 of 2) This book could be used as a senior undergraduate or graduate text for a course on intelligent systems that is a follow-on to a more general course on modern artificial intelligence (AI) principles and practices. The book should interest... Feb 16 2005   Alfred Tarski: life and logic Feferman A., Feferman S.,  Cambridge University Press, New York, NY, 2004.Type: Book (9780521802406) This biography of Alfred Tarski is an engaging, well-written account of one of the great logicians of the twentieth century. It gives both a clear presentation of Tarski’s intellectual accomplishments, and a balanced portrait of Tarski, the ... Feb 9 2005       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2013 ThinkLoud, Inc. Terms of Use | Privacy Policy