Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
This paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object… 
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… 
2007
2007
Holldobler and Kalinke showed how, given a propositional logic program P , a 3-layer feedforward artificial neural network may be… 
Highly Cited
2003
Highly Cited
2003
Trust management (TM) is a promising approach for authorization and access control in distributed systems, based on signed… 
2002
2002
A machine learning technique called Graph-Based Induction (GBI) extracts typical patterns from graph data by stepwise pair… 
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… 
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… 
Highly Cited
1987
Highly Cited
1987