Topic
Computational logic
About: Computational logic is a research topic. Over the lifetime, 4185 publications have been published within this topic receiving 135716 citations.
Papers published on a yearly basis
1 / 3
Papers
Book•
1 Jan 1984TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
Abstract: This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers. In addition to presenting the technical results, the book also contains many illustrative examples and problems. The text is intended to be self-contained, the only prerequisites being some familiarity with PROLOG and knowledge of some basic undergraduate mathematics. The material is suitable either as a reference book for researchers or as a textbook for a graduate course on the theoretical aspects of logic programming and deductive database systems.
4,510 citations
Book•
1 Jan 1972
TL;DR: A comparison of first- and second-order logic in the case of SETs shows that the former is more likely to be correct and the latter is less likely.
Abstract: USEFUL FACTS ABOUT SETS. SENTENTIAL LOGIC. FIRST-ORDER LOGIC. UNDECIDABILITY. SECOND-ORDER LOGIC.
2,691 citations
TL;DR: This paper is primarily concerned with a special case of one of the leading problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula.
Abstract: This paper is primarily concerned with a special case of one of the leading problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula*. But in the course of this investigation it is necessary to use certain theorems on combinations which have an independent interest and are most conveniently set out by themselves beforehand.
2,512 citations
Book•
[...]
1 Jan 1992
Abstract: Publisher Summary
This chapter focuses on logic programming, which is closely related to PROLOG. Logic programming constitutes the theoretical framework of PROLOG. This close connection led to the adoption of logic programming as the basis for the influential Japanese Fifth Generation Project. The power of logic programming stems from two reasons. First, it is an extremely simple formalism. It also relies on mathematical logic, which developed its own methods and techniques and which provides a rigorous mathematical framework. The chapter presents a self-contained introduction to the theory of logic programming. It also discusses the causal dependence between various concepts and notions and presents the notion of SLD-resolution, which is central to the subject of logic programming.
1,739 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2023 | 3 |
| 2022 | 6 |
| 2021 | 12 |
| 2020 | 22 |
| 2019 | 19 |
| 2018 | 33 |