• 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 94 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 T-boxes and A-boxes ... 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 general-purpose defeasible reasoner that ... argument-based 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...
  • 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...
  • CCalc

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

  • Referenced in 46 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...
  • COMET

  • Referenced in 73 articles [sw03051]
  • isolate optimal or near-optimal solutions within reasonable time constraints. This book introduces a method...
  • MCMAS

  • Referenced in 73 articles [sw09463]
  • various forms has proven essential to reason about reactive systems, agent-based scenarios are typically...
  • Biq Mac

  • Referenced in 73 articles [sw10532]
  • well. Exact solutions are obtained in a reasonable time for any instance of size...
  • TPS

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

  • Referenced in 71 articles [sw04604]
  • mobility, or topology, it is crucial to reason about spatial properties and structural dynamics...
  • FaCT++

  • Referenced in 68 articles [sw09836]
  • well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with...
  • AntNet

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

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

  • Referenced in 63 articles [sw13298]
  • developed with two aims in mind: be reasonably comprehensive and user-friendly, and serve...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • Fril - Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with ... decision-support systems, evidential and case-based 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...