default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 45

> 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 45, Number 1, June 2010

Special Issue: Uncertain Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/XiangG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/XiangG10
Yang Xiang, Kevin Grant:
Preface: Special Issue on Uncertain Reasoning. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kern-IsbernerR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kern-IsbernerR10
Gabriele Kern-Isberner, Manuela Ritterskamp:
Preference Fusion for Default Reasoning Beyond System Z. 3-19
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Palacios-AlonsoBS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Palacios-AlonsoBS10
Miguel A. Palacios-Alonso, Carlos A. Brizuela, Luis Enrique Sucar:
Evolutionary Learning of Dynamic Naive Bayesian Classifiers. 21-37
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BenferhatYD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BenferhatYD10
Salem Benferhat, Safa Yahi, Habiba Drias:
A New Default Theories Compilation for MSP-Entailment. 39-59
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PichonD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PichonD10
Frédéric Pichon, Thierry Denoeux:
The Unnormalized Dempster's Rule of Combination: A New Justification from the Least Commitment Principle and Some Extensions. 61-87

Volume 45, Number 2, August 2010

Selected Papers from the 4th International Joint Conference on Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArmandoBD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArmandoBD10
Alessandro Armando, Peter Baumgartner, Gilles Dowek:
Preface. 89
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaaderP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaaderP10
Franz Baader, Rafael Peñaloza:
Automata-Based Axiom Pinpointing. 91-129
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BozgaIP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BozgaIP10
Marius Bozga, Radu Iosif, Swann Perarnau:
Quantitative Separation Logic and Programs with Lists. 131-156
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NigamM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NigamM10
Vivek Nigam, Dale Miller:
A Framework for Proof Systems. 157-188
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nipkow10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nipkow10
Tobias Nipkow:
Linear Quantifier Elimination. 189-212

Volume 45, Number 3, October 2010

- view
  authority control:
- export record
  dblp key:
  - journals/jar/YeCG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YeCG10
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao:
Visually Dynamic Presentation of Proofs in Plane Geometry - Part 1. Basic Features and the Manual Input Method. 213-241
- view
  authority control:
- export record
  dblp key:
  - journals/jar/YeCG10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YeCG10a
Zheng Ye, Shang-Ching Chou, Xiao-Shan Gao:
Visually Dynamic Presentation of Proofs in Plane Geometry - Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method. 243-266
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Cheney10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Cheney10
James Cheney:
Equivariant Unification. 267-300
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GaldinoA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GaldinoA10
André Luiz Galdino, Mauricio Ayala-Rincón:
A Formalization of the Knuth-Bendix(-Huet) Critical Pair Theorem. 301-325

Volume 45, Number 4, December 2010

Tests and Proofs

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BeckertH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BeckertH10
Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - Preface of the Special Issue. 327-329
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CalvagnaG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvagnaG10
Andrea Calvagna, Angelo Gargantini:
A Formal Logic Approach to Constrained Combinatorial Testing. 331-358
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DunetsSR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DunetsSR10
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif:
Automated Flaw Detection in Algebraic Specifications. 359-395
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AngelettiGNPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AngelettiGNPS10
Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. 397-414
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BousquetLMOL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BousquetLMOL10
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet:
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies. 415-435
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LonguetAG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LonguetAG10
Delphine Longuet, Marc Aiguier, Pascale Le Gall:
Proof-Guided Test Selection from First-Order Specifications with Equality. 437-473

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.