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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and… (More)
  • 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… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The purpose of this paper is to study the fundamental mechanism, humans use in argumentation, and to explore ways to implement… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The purpose of this paper is to study the fundamental mechanism humans use in argumentation and its role in different major… (More)
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… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
D This paper gives a theoretical foundation for partial evaluation in logic programming. Let P be a normal program, G a normal… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
An important limitation of traditional logic programming as a knowledge representation tool, in comparison with classical logic… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper studies the stable model semantics of logic progr ams with (abstract) constraint atoms and their properties. We… (More)
Is this relevant?