Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Logic Programming (I.2.3...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 41 Reviews about "Logic Programming (I.2.3...)": Date Reviewed   A progression semantics for first-order logic programs Zhou Y., Zhang Y. Artificial Intelligence 250 58-79, 2017.  Type: Article This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can b... Mar 9 2018   Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples Besold T., Garcez A., Stenning K., van der Torre L., van Lambalgen M. Minds and Machines 27(1): 37-77, 2017.  Type: Article Modeling human reasoning means dealing with uncertainty. The approach of conventional logic in which rules are absolute cannot be applied. Instead there is uncertainty: we need to use rules but accept that there may be cases where ther... Jun 28 2017   Abductive logic programming agents with destructive databases Kowalski R., Sadri F. Annals of Mathematics and Artificial Intelligence 62(1-2): 129-158, 2011.  Type: Article Abductive logic programming extends traditional rule-based logic programming with integrity constraints over so-called abducible predicates. Abduction, the introduction by an agent of new hypotheses to help explain a given fact, occurs... Jun 8 2012   Computing intensional answers to questions--an inductive logic programming approach Cimiano P., Rudolph S., Hartfiel H. Data & Knowledge Engineering 69(3): 261-278, 2010.  Type: Article Ordinary database systems answer a query by listing the items that satisfy the query. They can be more helpful, however, if they can point out regularities in the data that was examined while answering the query. In this paper, the aut... Sep 29 2010   Logical problems of systems analysis of organization-and-engineering systems and main ways to solve them Luk’Yanova L. Cybernetics and Systems Analysis 42(3): 426-432, 2006.  Type: Article Organization and engineering systems (OES) are critical to the production industry. They are capital intensive, and must deal with a high degree of uncertainty.... Jan 17 2007    Logic programming with infinite sets Cenzer D., Remmel J., Marek V. Annals of Mathematics and Artificial Intelligence 44(4): 309-339, 2005.  Type: Article A common problem in logic programming (or more generally in artificial intelligence) is the question of how to reason about sets of infinite cardinality. The common notations of normal logic programs--that is, statements reali... Jun 20 2006   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 intere... Feb 16 2005   Logic in computer science: modelling and reasoning about systems Huth M., Ryan M., Cambridge University Press, New York, NY, 2004.  Type: Book (9780521543101) Software verification programs are to system designers and programmers as spelling checkers are to writers: a way of hopefully avoiding and correcting professional lapses due to ignorance or laziness. This textbook, now in its second e... Jan 14 2005   Binding-time analysis for Mercury Vanhoof W., Bruynooghe M.  Logic programming (Proceedings of the 1999 International Conference on Logic Programming, Las Cruces, New Mexico, United States, 500-514, 1999.  Type: Proceedings Partial evaluation (or program specialization) is a technique that transforms a program into another program, by pre-computing some of its operations. This kind of program transformation typically has been approached from two points of... Oct 14 2004   Query transformations for improving the efficiency of ILP systems Costa V., Srinivasan A., Camacho R., Blockeel H., Demoen B., Janssens G., Struyf J., Vandecasteele H., Van Laer W. The Journal of Machine Learning Research 4(4): 465-491, 2004.  Type: Article There are two main tasks that inductive logic programming (ILP) systems have to perform: refinement (of clauses and/or programs), and testing queries for logical implication (or nonimplication, in the case of negative examples). The au... Aug 26 2004       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud® Terms of Use | Privacy Policy