Skip to search formSkip to main contentSkip to account menu

Journal of Logic and Computation

The Journal of Logic and Computation is a peer-reviewed academic journal focused on logic and computing. It was established in 1990 and is published… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a… 
Highly Cited
2010
Highly Cited
2010
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural… 
Highly Cited
2009
Highly Cited
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that… 
Highly Cited
2008
Highly Cited
2008
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to… 
2007
2007
In this paper we focus our attention on the decision problem for Propositional Neighborhood Logic (PNL for short). PNL is the… 
Highly Cited
2002
Highly Cited
2002
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible… 
Highly Cited
2001
Highly Cited
2001
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… 
Review
2001
Review
2001
This is a special issue of the Journal of Logic and Computation devoted to hybrid logic, a version of modal logic in which it is… 
1999
1999
In this paper, we provide logic-based foundations for the extended aggregate constructs required by advanced database… 
Highly Cited
1993
Highly Cited
1993
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e…