default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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 2026-01-18 02:05 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:
