![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Automated Reasoning (JAR), Volume 45
Volume 45, Number 1, June 2010
- Yang Xiang, Kevin Grant:
Preface: Special Issue on Uncertain Reasoning. 1-2 - Gabriele Kern-Isberner, Manuela Ritterskamp:
Preference Fusion for Default Reasoning Beyond System Z. 3-19 - Miguel A. Palacios-Alonso, Carlos A. Brizuela
, Luis Enrique Sucar
:
Evolutionary Learning of Dynamic Naive Bayesian Classifiers. 21-37 - Salem Benferhat, Safa Yahi, Habiba Drias
:
A New Default Theories Compilation for MSP-Entailment. 39-59 - 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
- Alessandro Armando
, Peter Baumgartner, Gilles Dowek
:
Preface. 89 - Franz Baader
, Rafael Peñaloza
:
Automata-Based Axiom Pinpointing. 91-129 - Marius Bozga, Radu Iosif, Swann Perarnau:
Quantitative Separation Logic and Programs with Lists. 131-156 - Vivek Nigam, Dale Miller
:
A Framework for Proof Systems. 157-188 - Tobias Nipkow
:
Linear Quantifier Elimination. 189-212
Volume 45, Number 3, October 2010
- 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 - 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 - James Cheney
:
Equivariant Unification. 267-300 - 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
- Bernhard Beckert, Reiner Hähnle
:
Tests and Proofs - Preface of the Special Issue. 327-329 - Andrea Calvagna
, Angelo Gargantini
:
A Formal Logic Approach to Constrained Combinatorial Testing. 331-358 - Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
:
Automated Flaw Detection in Algebraic Specifications. 359-395 - 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 - 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 - Delphine Longuet, Marc Aiguier, Pascale Le Gall:
Proof-Guided Test Selection from First-Order Specifications with Equality. 437-473
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.