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.
2015
2015
On Argumentation with Purely Defeasible Rules
aspic \(^{+}\) is one of the most widely used systems for structured arguments and includes the use of both strict and defeasible… 
2015
2015
Distributional learning of syntax
ness of Representational Primitives 
2011
2011
A Notion of Coherence for Books on Conditional Events in Many-valued Logic
We introduce a new approach to conditional probability over many-valued events, which is based on bets. Then we show that this… 
2009
2009
P-stable as an extension of WFS
We summarize the foundations and applications of the new semantics called p-stable and we show that it holds the important… 
2008
2008
SOA Simulation and Verification by Event-Driven Policy Enforcement
The verification of SOA (Service-Oriented Architecture) applications is important, and, simulation is a promising method because… 
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… 
2006
2006
Slicing Execution for Model Checking C Programs
This paper presents a novel method, namely slicing execution, for model checking C programs with respect to temporal safety… 
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… 
Review
1998
Review
1998
Speciication of Dynamics for Knowledge-based Systems (extended Abstract)
During the last years, a number of formal speciication languages for knowledge-based systems have been developed. Characteristic… 
Review
1997
Review
1997
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract)
Abstract interpretation was originally introduced by Patrick and Radhia Cousot as a unifying mathematical framework underlying… 
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)