Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,226,004 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Argument map
Artur d'Avila Garcez
Computer 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
M. Bodirsky
ArXiv
2012
Corpus ID: 1010227
A constraint satisfaction problem (CSP) is a computational problem where the input consists of a finite set of variables and a…
Expand
Highly Cited
2010
Highly Cited
2010
Constructive Logic with Strong Negation as a Substructural Logic
M. Busaniche
,
R. Cignoli
Journal of Logic and Computation
2010
Corpus ID: 8548581
Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural…
Expand
Highly Cited
2009
Highly Cited
2009
A Conflict-based Operator for Mapping Revision
G. Qi
,
Qiu Ji
,
P. Haase
Description Logics
2009
Corpus ID: 11015746
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that…
Expand
Highly Cited
2008
Highly Cited
2008
Constraint rule-based programming of norms for electronic institutions
Andrés García-Camino
,
J. Rodríguez-Aguilar
,
C. Sierra
,
W. Vasconcelos
Autonomous Agents and Multi-Agent Systems
2008
Corpus ID: 1878900
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to…
Expand
2007
2007
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
Davide Bresolin
,
A. Montanari
,
P. Sala
Symposium on Theoretical Aspects of Computer…
2007
Corpus ID: 27770983
In this paper we focus our attention on the decision problem for Propositional Neighborhood Logic (PNL for short). PNL is the…
Expand
Highly Cited
2002
Highly Cited
2002
Architecting for Reuse: A Software Framework for Automated Negotiation
C. Bartolini
,
C. Preist
,
N. Jennings
International Workshop on Agent-Oriented Software…
2002
Corpus ID: 14934634
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible…
Expand
Highly Cited
2001
Highly Cited
2001
Ordered linear logic and applications
Jeff Polakow
,
F. Pfenning
2001
Corpus ID: 117092364
This thesis introduces a, new logical system, ordered linear logic, which combines reasoning with unrestricted, linear, and…
Expand
Review
2001
Review
2001
Journal of Logic and Computation. Special Issue on Hybrid Logic
C. Areces
,
P. Blackburn
2001
Corpus ID: 196188450
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…
Expand
1999
1999
Logic-Based User-Defined Aggregates for the Next Generation of Database Systems
C. Zaniolo
,
Haixun Wang
The Logic Programming Paradigm
1999
Corpus ID: 15777260
In this paper, we provide logic-based foundations for the extended aggregate constructs required by advanced database…
Expand
Highly Cited
1993
Highly Cited
1993
Fibrations, logical predicates and indeterminates
C. Hermida
CST
1993
Corpus ID: 122505884
Within the framework of categorical logic/type theory, we provide a category-theoretic account of some logical concepts, i.e…
Expand
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)
ACCEPT & CONTINUE