default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 15

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 15, Number 1, August 1995

Commonsense and Nonmonotonic Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ThielscherS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ThielscherS95
Michael Thielscher, Torsten Schaub:
Default Reasoning by Deductive Planning. 1-40
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaaderH95a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaaderH95a
Franz Baader, Bernhard Hollunder:
Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. 41-68
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Subramanian95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Subramanian95
Sakthi Subramanian:
Mechanical Verification of Strategies. 69-93
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Schaub95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Schaub95
Torsten Schaub:
A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving. 95-165

Volume 15, Number 2, October 1995

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Paulson95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Paulson95
Lawrence C. Paulson:
Set Theory for Verification. II: Induction and Recursion. 167-215
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kunen95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kunen95
Kenneth Kunen:
A Ramsey Theorem in Boyer-Moore Logic. 217-235
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Voronkov95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Voronkov95
Andrei Voronkov:
The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees. 237-265
- view
  authority control:
- export record
  dblp key:
  - journals/jar/OhlbachW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/OhlbachW95
Hans Jürgen Ohlbach, Christoph Weidenbach:
A Note on Assumptions about Skolem Functions. 267-275

Volume 15, Number 3, December 1995

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos95
Larry Wos:
Searching for Circles of Pure Proofs. 279-315
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DAgostinoMP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DAgostinoMP95
Giovanna D'Agostino, Angelo Montanari, Alberto Policriti:
A Set-Theoretic Translation Method for Polymodal Logics. 317-337
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertP95
Bernhard Beckert, Joachim Posegga:
leanTAP: Lean Tableau-based Deduction. 339-358
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HookerV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HookerV95
John N. Hooker, V. Vinay:
Branching Rules for Satisfiability. 359-383

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.