Browse All Reviews
Computing Methodologies (I)
Artificial Intelligence (I.2)
Deduction And Theorem Proving (I.2.3)
> Logic Programming (I.2.3...)
All Media Types
1-10 of 41 Reviews about "
Logic Programming (I.2.3...)
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
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2023 ThinkLoud