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

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

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… Expand
  • figure 1.1
  • figure 1.3
  • figure 1.4
  • figure 1.6
  • figure 1.7
2010
2010
Complex distributed systems pose great challenges for quality assurance. Size, complexity and concurrency of these systems often… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… Expand
  • table 1
2009
2009
The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge… Expand
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
2008
Highly Cited
2008
Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language to… Expand
  • figure 1
  • figure 4
  • figure 5
  • table 1
  • table 2
2007
2007
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
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible… Expand
2001
2001
The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies… Expand
2000
2000
  • F. Spoto
  • J. Log. Program.
  • 2000
  • Corpus ID: 8820844
Abstract In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of… Expand
  • figure 1
  • figure 7
1991
1991
Interpretation of Functional Languages: From Theory to Practice