default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 1
Volume 1, Number 1, 1985
- Larry Wos:
Editorial: A Journal Is Born. 1-3 - Larry Wos:
What Is Automated Reasoning? J. Autom. Reason. 1(1): 6-9 (1985) - Fernando C. N. Pereira:
Logic Programming. J. Autom. Reason. 1(1): 9-13 (1985) - Robert Hong:
Research in Intelligent Robots. J. Autom. Reason. 1(1): 13-17 (1985) - Robert S. Boyer, J Strother Moore:
Program Verification. J. Autom. Reason. 1(1): 17-23 (1985) - W. W. Bledsoe, Lawrence J. Henschen:
What Is Automated Theorem Proving? J. Autom. Reason. 1(1): 23-28 (1985) - Bruce G. Buchanan:
Expert Systems. J. Autom. Reason. 1(1): 28-35 (1985) - Graham Wrightson:
Nonclassical Logic Theorem Proving. J. Autom. Reason. 1(1): 35-37 (1985) - C. Cordell Green:
What Is Program Synthesis? J. Autom. Reason. 1(1): 37-41 (1985) - James S. Bennett:
ROGET: A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System. 49-74 - Christian Lengauer:
On the Role of Automated Theorem Proving in the Compile-Time Derivation of Concurrency. 75-101 - Ewing L. Lusk, Ross A. Overbeek:
Non-Horn Problems. 103-114
Volume 1, Number 2, 1985
- David M. Russinoff:
An Experiment with the Boyer-Moore Theorem Prover: A Proof of Wilson's Theorem. 121-139 - Adnan H. Yahya, Lawrence J. Henschen:
Deduction in Non-Horn Databases. 141-160 - Peter Friedland, Yumi Iwasaki:
The Concept and Implementation of Skeletal Plans. 161-208 - Ewing L. Lusk, Ross A. Overbeek:
Reasoning about Equality. 209-228
Volume 1, Number 3, 1985
- William McCune, Lawrence J. Henschen:
Experiments with Semantic Paramodulation. 231-261 - Alan Bundy:
Incidence Calculus: A Mechanism for Probabilistic Reasoning. 263-283 - Robert L. Constable, Todd B. Knoblock, Joseph L. Bates:
Writing Programs that Construct Proofs. 285-326 - Hans Jürgen Ohlbach, Manfred Schmidt-Schauß:
The Lion and the Unicorn. 327-332
Volume 1, Number 4, 1985
- Mark E. Stickel:
Automated Deduction by Theory Resolution. 333-355 - John G. Mauceri:
Robot Selection Expert 'Rose'. 357-390 - Jon Doyle
:
Circumscription and Implicit Definability. 391-405 - Natarajan Shankar:
Towards Mechanical Metamathematics. 407-434 - Hans Jürgen Ohlbach:
Predicate Logic Hacker Tricks. 435-440
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-16 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
