• HOL-Omega

  • Referenced in 9 articles [sw06581]
  • fundamental axioms and rules of inference. As the new logic is constructed according...
  • Kumo

  • Referenced in 5 articles [sw06963]
  • reduction engine. The most important inference rules in first order logic and hidden equational logic...
  • Psyche

  • Referenced in 5 articles [sw28518]
  • just the primitives corresponding to the inference rules of the logic in natural deduction...
  • EPGY

  • Referenced in 4 articles [sw28722]
  • standard proof strategies and logical inference rules, application of mathematical rules, and verification of logical ... inference. Each course has its own language, database of theorems, and mathematical rules. The system...
  • SNARK

  • Referenced in 4 articles [sw19611]
  • developed in Common Lisp. Its principal inference rules are resolution and paramodulation. SNARK’s style...
  • VIPR

  • Referenced in 4 articles [sw18034]
  • limited number of simple yet powerful inference rules. We present a supplementary verification tool...
  • N3Logic

  • Referenced in 9 articles [sw02003]
  • implies the use of rules to make inferences, choose courses of action, and answer questions ... anything. N3Logic is a logic that allows rules to be expressed in a Web environment...
  • CaPrI

  • Referenced in 2 articles [sw21330]
  • Specifications of inference rules: Extensions of the PTTP technique. We present a language to specify ... inference rules. It is shown how such specifications can be used to control the translation...
  • CSimpl

  • Referenced in 2 articles [sw22725]
  • CSimpl semantics and we provide inference rules for the language constructors to reason about CSimpl ... using rely-guarantee, showing that the inference rules are sound w.r.t. the language semantics. Finally...
  • VeriCool

  • Referenced in 10 articles [sw09749]
  • programming model, a set of rules, which limits thread inference to synchronization points such that...
  • Scavenger

  • Referenced in 3 articles [sw23945]
  • Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • TRIPLE –a query, inference, and transformation language for the semantic web. This paper presents TRIPLE ... layered and modular rule language for the Semantic Web. TRIPLE is based on Horn logic...
  • CatLog3

  • Referenced in 4 articles [sw29641]
  • this paper we review the rules of inference for these primitive connectives and their linguistic...
  • MikiBeta

  • Referenced in 1 article [sw09920]
  • selecting a judgement and clicking an inference rule to apply, without worrying about instanciating metavariables ... parameterized with user-defined judgements and inference rules. Because MikiBeta allows arbitrary side-effect-free ... user code in inference rules, one can construct GUIs with complex operations such as environment...
  • EUODHILOS

  • Referenced in 2 articles [sw24045]
  • logics which consists of axioms, inference rules, and rewriting rules, and also in constructing proofs...
  • ProCom

  • Referenced in 2 articles [sw21329]
  • user. To go further, even the inference rules to be used can be specified...
  • InvA

  • Referenced in 2 articles [sw10124]
  • application of a few inference rules. Through the combination of various techniques such as unification...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • change that extends MEL by adding rewrite rules, which correspond to transitions between states ... nondeterministic. We propose here a calculus to infer reductions, sort inferences, normal forms, and least ... rewrites and sets of reachable terms through rules. We use an abbreviation of the proof...
  • DENDRAL

  • Referenced in 9 articles [sw23919]
  • limiting constraints which are inferred from the data by heuristic rules. The program excludes hypotheses...