
HOLOmega
 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 relyguarantee, 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 firstorder 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 userdefined judgements and inference rules. Because MikiBeta allows arbitrary sideeffectfree ... 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...