Journal of Automated Reasoning - researchr journal

researchr

You are not signed in
Sign in
Sign up

333	--	355	Mark E. Stickel. Automated Deduction by Theory Resolution
357	--	390	John G. Mauceri. Robot Selection Expert Rose
391	--	405	Jon Doyle. Circumscription and Implicit Definability
407	--	434	Natarajan Shankar. Towards Mechanical Metamathematics
435	--	440	Hans Jürgen Ohlbach. Predicate Logic Hacker Tricks

231	--	261	William McCune, Lawrence J. Henschen. Experiments with Semantic Paramodulation
263	--	283	Alan Bundy. Incidence Calculus: A Mechanism for Probabilistic Reasoning
285	--	326	Robert L. Constable, Todd B. Knoblock, Joseph L. Bates. Writing Programs that Construct Proofs
327	--	332	Hans Jürgen Ohlbach, Manfred Schmidt-Schauß. The Lion and the Unicorn

121	--	139	David M. Russinoff. An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson s Theorem
141	--	160	Adnan H. Yahya, Lawrence J. Henschen. Deduction in Non-Horn Databases
161	--	208	Peter Friedland, Yumi Iwasaki. The Concept and Implementation of Skeletal Plans
209	--	228	Ewing L. Lusk, Ross A. Overbeek. Reasoning about Equality

1	--	3	Larry Wos. Editorial: A Journal Is Born
6	--	9	Larry Wos. What Is Automated Reasoning?
9	--	13	Fernando C. N. Pereira. Logic Programming
13	--	17	Robert Hong. Research in Intelligent Robots
17	--	23	Robert S. Boyer, J. Strother Moore. Program Verification
23	--	28	W. W. Bledsoe, Lawrence J. Henschen. What Is Automated Theorem Proving?
28	--	35	Bruce G. Buchanan. Expert Systems
35	--	37	Graham Wrightson. Nonclassical Logic Theorem Proving
37	--	41	C. Cordell Green. What Is Program Synthesis?
49	--	74	James S. Bennett. ROGET: A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System
75	--	101	Christian Lengauer. On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency
103	--	114	Ewing L. Lusk, Ross A. Overbeek. Non-Horn Problems

runs on WebDSL