Skip to search formSkip to main contentSkip to account menu

Journal of Automated Reasoning

The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
This theory is a formalization of the resolution calculus for first-order logic. It is proven sound and complete. The soundness… 
2015
2015
The paper describes an approach to the construction of a resolution-type technique basing on a certain generalization of the… 
2013
2013
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting over is now available… 
2012
2012
In this paper we propose a process-theoretic concurrency model to express supervisory control properties. In light of the present… 
2007
2007
It is commonly believed that it makes no difference whether one starts with relational types or functional types in formulating… 
2005
2005
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called… 
2002
2002
La tesis que se presenta describe MathEdu, una herramienta para el diseno y resolucion interactiva de ejercicios que involucren… 
2000
2000
Les motivations initiales de ce travail proviennent de l'etalonnage de cameras en vision artificielle. Nous nous sommes surtout… 
Review
1999
Review
1999
A number of combinatorial problems of interest to computational economists, such as some two-sided matching problems, belong to… 
1996
1996
Semantics Many concrete semantics have been defined by selecting either a specific model of every logic program (such as the well…