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.
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
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
Highly Cited
1997
Highly Cited
1997
Abstract This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit… Expand
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… Expand
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
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
Review
1990
Review
1990
This book presents a systematic overview of the interaction between logic programming and database systems. Merging these two… Expand
Highly Cited
1990
Highly Cited
1990
Recently there has been increasing interest in systems which induce rst order logic programs from examples. However, many… Expand
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
Highly Cited
1987
Highly Cited
1987
  • J. Lloyd
  • Symbolic Computation
  • 1987
  • Corpus ID: 46408498
This is the second edition of an account of the mathematical foundations of logic programming. Its purpose is to collect, in a… Expand