
Nominal Isabelle
 Referenced in 72 articles
[sw12055]
 prover. It provides a proving infrastructure for reasoning about programming language calculi involving named bound ... equivalence and establishes automatically the reasoning infrastructure for αequated terms. We also prove strong...

PDDL
 Referenced in 96 articles
[sw07079]
 focus the community on the modelling and reasoning issues that must be confronted to make...

Racer
 Referenced in 65 articles
[sw09837]
 download tab. Racer provides implementations of standard reasoning problems for Tboxes and Aboxes ... convenient APIs for accessing its reasoning services from within Common Lisp and Java...

OSCAR
 Referenced in 45 articles
[sw26328]
 reason defeasibly. The paper describes the construction of a generalpurpose defeasible reasoner that ... argumentbased conception of defeasible reasoning. Because the set of warranted conclusions for a defeasible ... reasoner will not generally be recursively enumerable, a defeasible reasoner based upon a rich logic ... criterion takes seriously the idea that defeasible reasoning may involve indefinitely many cycles of retracting...

Smallfoot
 Referenced in 52 articles
[sw09787]
 Separation logic is a program logic for reasoning about programs that manipulate pointer data structures ... than their detailed contents, and this allows reasoning to be fully automatic. The presentation ... presence of pointers; and modular reasoning about concurrent programs...

Abella
 Referenced in 50 articles
[sw09461]
 Abella [3] is an interactive system for reasoning about aspects of object languages that have ... level logic approach to specification and reasoning. One level is defined by a specification logic ... their execution. The second level, called the reasoning logic, embeds the specification logic and allows...

CCalc
 Referenced in 78 articles
[sw09899]
 Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas...

COMET
 Referenced in 77 articles
[sw03051]
 isolate optimal or nearoptimal solutions within reasonable time constraints. This book introduces a method...

MaLARea
 Referenced in 48 articles
[sw10278]
 MaLARea: a Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated ... Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools...

RRL
 Referenced in 55 articles
[sw28904]
 environment for experimenting with automated reasoning algorithms for equational logic based on rewrite techniques ... hard and challenging mathematical problems in automated reasoning literature as well as a research tool...

Biq Mac
 Referenced in 76 articles
[sw10532]
 well. Exact solutions are obtained in a reasonable time for any instance of size...

MCMAS
 Referenced in 73 articles
[sw09463]
 various forms has proven essential to reason about reactive systems, agentbased scenarios are typically...

SLMC
 Referenced in 72 articles
[sw04604]
 mobility, or topology, it is crucial to reason about spatial properties and structural dynamics...

TPS
 Referenced in 71 articles
[sw00973]
 these disciplines, expert systems which can reason, and certain aspects of artificial intelligence...

FaCT++
 Referenced in 70 articles
[sw09836]
 wellknown FaCT OWLDL reasoner. FaCT++ uses the established FaCT algorithms, but with...

SimpleMKL
 Referenced in 66 articles
[sw12290]
 needs numerous iterations for converging towards a reasonable solution. In this paper, we address...

AntNet
 Referenced in 65 articles
[sw11975]
 algorithm and try to explain the reasons for its superiority...

SGeMS
 Referenced in 63 articles
[sw13298]
 developed with two aims in mind: be reasonably comprehensive and userfriendly, and serve...

FRIL
 Referenced in 44 articles
[sw18490]
 Fril  Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with ... decisionsupport systems, evidential and casebased reasoning, fuzzy control and databases. An accompanying disk...

GEX
 Referenced in 35 articles
[sw09961]
 various mathematical concepts. As an automated reasoning software, we can build dynamic logic models which ... reasoning themselves. 1) Geometry Expert (GEX) is a powerful computer program for geometric reasoning. Within ... most of the effective methods for geometric reasoning introduced in the past twenty years, including...