Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Journal of Automated Reasoning
Kluwer Academic Publishers
 
   
 
Options:
 
  1-10 of 38 reviews Date Reviewed 
  Safe autonomy under perception uncertainty using chance-constrained temporal logic
Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning 60(1): 43-62, 2018.  Type: Article

The topic of self-driving cars is receiving a lot of press lately. This paper on safe autonomy is an interesting read for people researching autonomous vehicles or more generally autonomous control systems. While the authors provide re...

Jan 17 2019
  Hammer for Coq: automation for dependent type theory
Czajka Ł., Kaliszyk C. Journal of Automated Reasoning 61(1-4): 423-453, 2018.  Type: Article

Interactive theorem proving is today seeing an explosion of use similar to what computer algebra systems (CASs) saw in the late 1980s. But there is another aspect to mathematics that CASs do not do: reasoning and proofs....

Jan 3 2019
  Sentence-normalized conditional narrowing modulo in rewriting logic and Maude
Aguirre L., Martí-Oliet N., Palomino M., Pita I. Journal of Automated Reasoning 60(4): 421-463, 2018.  Type: Article

Rewriting logic can naturally express both concurrent computation and logical deduction and is thus applied in system specification and verification. Here, a core question is whether, from an initial state, the execution of the system ...

Jan 3 2019
  A verified SAT solver framework with learn, forget, restart, and incrementality
Blanchette J., Fleury M., Lammich P., Weidenbach C. Journal of Automated Reasoning 61(1-4): 333-365, 2018.  Type: Article

SAT solvers are automatic decision procedures for the propositional satisfiability problem; they play an important role in planning, scheduling, optimization, and especially the formal verification of hardware and software systems. Thu...

Dec 10 2018
   Formalization of the resolution calculus for first-order logic
Schlichtkrull A. Journal of Automated Reasoning 61(1-4): 455-484, 2018.  Type: Article

Are you interested in proof assistants in which human experts guide automatic theorem provers to verify subgoals? The paper focuses on research dedicated to a theoretical aim: applying a special proof assistant to produce human-readabl...

Oct 26 2018
  OWL reasoning: subsumption test hardness and modularity
Matentzoglu N., Parsia B., Sattler U. Journal of Automated Reasoning 60(4): 385-419, 2018.  Type: Article

This paper is aimed at web ontology language (OWL) authors and tool developers. These people know that SROIQ(D), the logic that underpins OWL, has a high worst-case complexity (N2Exptime), and that this shows up in s...

Oct 16 2018
  Generalizing Morley’s and other theorems with automated realization
Braude E., Abdyldayev S. Journal of Automated Reasoning 60(4): 503-526, 2018.  Type: Article

Progress in the area of automated theorem proving has been traditionally demonstrated by automatically and mechanically proving conjectures and theorems in classical mathematics. Examples include the proof of the four-color theorem and...

Oct 10 2018
  The role of the Mizar Mathematical Library for interactive proof development in Mizar
Bancerek G., Byliński C., Grabowski A., Korniłowicz A., Matuszewski R., Naumowicz A., Pąk K. Journal of Automated Reasoning 61(1-4): 9-32, 2018.  Type: Article

The scientific process produces different kinds of knowledge, obtained over different spans of time. Research focused on “implementing mathematics,” specifically capturing definitions, theorems, and proofs, requires...

Aug 30 2018
  A verified ODE solver and the Lorenz attractor
Immler F. Journal of Automated Reasoning 61(1-4): 73-111, 2018.  Type: Article

Lorenz used a system of ordinary differential equations (ODEs) to study atmospheric dynamics phenomena [1]. He established the great sensitivity of the results obtained by this simplified model to very small, nearly negligible changes ...

Aug 27 2018
  CoSMed: a confidentiality-verified social media platform
Bauerei&bgr; T., Pesenti Gritti A., Popescu A., Raimondi F. Journal of Automated Reasoning 61(1-4): 113-139, 2018.  Type: Article

What do we mean when we say that a system is verified? In theory it means that certain properties of a system have been proved to hold. In practice, the answer is rather more complicated....

Aug 22 2018
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy