Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Logic programming

Known as: Relational programming, Logic programming language, Logical (programming) 
Logic programming is a programming paradigm based on formal logic. A program written in a logic programming language is a set of sentences in logical… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Abstract Major assumptions in computational intelligence and machine learning consist of the availability of a historical dataset… Expand
Is this relevant?
Review
2018
Review
2018
Machine learning is adopted in a wide range of domains where it shows its superiority over traditional rule-based algorithms… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and… Expand
  • figure 2
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
  • P. Dung
  • Artif. Intell.
  • 1995
  • Corpus ID: 1273896
The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and to explore ways to implement… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The deep symmetry of linear logic [18] makes it suitable for providing abstract models of computation, free from implementation… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A general logic program (abbreviated to "program" hereafter) is a set of roles that have both positive and negative subgoals. It… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper studies the stable model semantics of logic programs with (abstract) constraint atoms and their properties. We… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a… Expand
Is this relevant?