Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Journal of Automated Reasoning
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
We propose a model-based systems engineering framework for supervisory control of stochastic discrete-event systems with… Expand
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
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
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
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
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage… Expand
Is this relevant?