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)

Related topics

Related topics

4 relations
Argument mapArtur d'Avila GarcezComputer science

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Complexity Classification in Infinite-Domain Constraint Satisfaction
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
Constructive Logic with Strong Negation as a Substructural Logic
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
A Conflict-based Operator for Mapping Revision
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
Constraint rule-based programming of norms for electronic institutions
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to… 
2007
2007
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
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
Architecting for Reuse: A Software Framework for Automated Negotiation
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible… 
Highly Cited
2001
Highly Cited
2001
Ordered linear logic and applications
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and… 
Review
2001
Review
2001
Journal of Logic and Computation. Special Issue on Hybrid Logic
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
Logic-Based User-Defined Aggregates for the Next Generation of Database Systems
In this paper, we provide logic-based foundations for the extended aggregate constructs required by advanced database… 
Highly Cited
1993
Highly Cited
1993
Fibrations, logical predicates and indeterminates
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)