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

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… Expand
  • figure 1.1
  • figure 1.3
  • figure 1.4
  • figure 1.6
  • figure 1.7
2010
2010
Interaction-based Runtime Verification for Systems of Systems Integration
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
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… Expand
  • table 1
2009
2009
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
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
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… Expand
  • figure 1
  • figure 4
  • figure 5
  • table 1
  • table 2
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… Expand
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… Expand
2001
2001
Model-based execution monitoring
The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies… Expand
2000
2000
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
  • 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
Abstract interpretation of functional languages: from theory to practice
Interpretation of Functional Languages: From Theory to Practice 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE