Journal of Logical and Algebraic Methods in Programming

Known as: The Journal on Logic Programming, J. Log. Program., J. Log. Prog. 
The Journal of Logical and Algebraic Methods in Programming (ISSN 2352-2208) is a peer-reviewed scientific journal established in 1984. It was… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The correspondence between up-closed multirelations and isotone predicate transformers is well known. Less known is that… (More)
  • figure 1
Is this relevant?
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
Anonymous resources and meta statements are two of the more interesting features of RDF — an emerging standard for representing… (More)
Is this relevant?
2000
2000
Terms and Atoms Syntactically, we assume a set of variables V and an underlying alphabet = f ; ;g consisting of a single binary… (More)
Is this relevant?
1999
1999
This paper studies the properties of inverse resolution in normal logic programs. The V-operators are known as operations for… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper we present an extension of logic programming (LP) that is suitable not only for the “rational” component of a… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Constraint Logic Programming (CLP) is a general scheme for extending logic programming to include constraints. It is… (More)
  • figure 2
Is this relevant?