Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 14

> 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 14, Number 1, February 1995

Commonsense and Nonmonotonic Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lifschitz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lifschitz95
Vladimir Lifschitz:
Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning. 1
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Niemela95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Niemela95
Ilkka Niemelä:
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning. 3-42
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ginsberg95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ginsberg95
Matthew L. Ginsberg:
Modality and Interrupts. 43-91
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlferesDP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlferesDP95
José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira:
A Logic Programming System for Nonmonotonic Reasoning. 93-147
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaaderH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaaderH95
Franz Baader, Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms. 149-180

Volume 14, Number 2, April 1995

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BouhoulaR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BouhoulaR95
Adel Bouhoula, Michaël Rusinowitch:
Implicit Induction in Conditional Theories. 189-235
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ramsay95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ramsay95
Allan Ramsay:
Theorem Proving for Intensional Logic. 237-255
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouGZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouGZ95
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang:
Automated Production of Traditional Proofs in Solid Geometry. 257-291
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KapurSZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KapurSZ95
Deepak Kapur, G. Sivakumar, Hantao Zhang:
A Path Ordering for Proving Termination of AC Rewrite Systems. 293-316
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Vadaparty95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Vadaparty95
Kumar V. Vadaparty:
On the Complexity of Nested-Object Matching. 317-323
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LovelandRW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LovelandRW95
Donald W. Loveland, David W. Reed, Debra Sue Wilson:
SATCHMORE: SATCHMO with REIevancy. 325-351

Volume 14, Number 3, June 1995

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Schlechta95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Schlechta95
Karl Schlechta:
Logic, Topology, and Integration. 353-381
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HartK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HartK95
Joan Hart, Kenneth Kunen:
Single Axioms for Odd Exponent Groups. 383-412
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Jech95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Jech95
Thomas Jech:
OTTER Experiments in a System of Combinatory Logic. 413-426
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChakrabartiSM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChakrabartiSM95
I. Chakrabarti, Dipankar Sarkar, Arun K. Majumdar:
Identification of Inductive Properties during Verification of Synchronous Sequential Circuits. 427-462

a service of

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.