Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Deduction And Theorem Proving (I.2.3) > Logic Programming (I.2.3...)  
  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 per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy