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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
  • Jasen Markovski
  • Eleventh International Conference on Application…
  • 2011
  • Corpus ID: 13828970
We propose a model-based systems engineering framework for supervisory control of stochastic discrete-event systems with… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2011
Highly Cited
2011
In this paper, we extend Dung's seminal argument framework to form a probabilistic argument framework by associating… Expand
  • table 4
  • table 5
  • table 4
  • table 5
  • figure 7
Is this relevant?
2008
2008
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2006
2006
We expose a formalism that allows the expression of any theory with one or more axiom schemes using a finite number of axioms… Expand
  • figure 1
Is this relevant?
Review
2006
Review
2006
With improving technology, theorem proving and related methods are being successfully applied to larger problems and used in more… Expand
Is this relevant?
2005
2005
Structural recursion over sets is meaningful only if the result is independent of the order in which the set's elements are… Expand
Is this relevant?
2002
2002
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive… Expand
Is this relevant?
2000
2000
The concept of locales for Isabelle enables local definition and assumption for interactive mechanical proofs. Furthermore… Expand
Is this relevant?
2000
2000
Abstract This paper describes an algebraic approach to the sharing analysis of logic programs based on an abstract domain of set… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
  • 1986
  • Corpus ID: 189901477
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage… Expand
Is this relevant?