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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Article history: Received 19 September 2014 Received in revised form 13 October 2015 Accepted 14 October 2015 Available online… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • table 2
2010
2010
The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal… Expand
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2008
2008
The Proof-Carrying Code (PCC) paradigm has emerged as a way of instilling trust in the code user about the properties of the code… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
2007
2007
Holldobler and Kalinke showed how, given a propositional logic program P , a 3-layer feedforward artificial neural network may be… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2003
Highly Cited
2003
Trust management (TM) is a promising approach for authorization and access control in distributed systems, based on signed… Expand
Highly Cited
1999
Highly Cited
1999
Abstract The use of tabling in logic programming allows bottom-up evaluation to be incorporated in a top-down framework… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
1996
Review
1996
  • J. Minker
  • Logic in Databases
  • 1996
  • Corpus ID: 17767699
At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that logic and databases was a field in its… Expand