
NQTHM
 Referenced in 151 articles
[sw07543]
 partial functions to a computational logic and its theorem prover” [J. Autom. Reasoning 4, No.2...

SCC
 Referenced in 11 articles
[sw09809]
 reasoning for partial conditional specifications having sorts and subsorts and with domains of functions defined...

mural
 Referenced in 9 articles
[sw23627]
 ability of the system to support reasoning in different logics. The chapter illustrates ... calculus and for a logic of partial functions. The next chapter is a very detailed...

Fran
 Referenced in 11 articles
[sw21482]
 collection of data types and functions for composing richly interactive, multimedia animations. The key ideas ... proper treatment of real time, to guide reasoning and implementation. A method to effectively ... also described, which relies on the partial information structure on the domain of event times...

ASPMT2SMT
 Referenced in 5 articles
[sw13280]
 satisfiability modulo theories based on the functional stable model semantics. It is shown that ... grounder gringo and SMT solver z3. gringo partially grounds input programs while leaving some variables ... effectively handle real number computations for reasoning about continuous changes...

MACEK
 Referenced in 7 articles
[sw12052]
 tools and routines for reasonably efficient combinatorial computations with representable matroids, especially for matroid constructions ... represented by matrices over finite fields and partial fields. Many common matroids are distributed with ... representability and for isomorphism are available. More functions are planned for the future...

MiniTab
 Referenced in 2 articles
[sw26324]
 Domain minimization is a form of nonmonotonic reasoning that, roughly speaking, expresses the conjecture that ... already known constants (there are no function symbols allowed in this system ... ordersorted predicate logic and allows for function symbols in those sorts whose domains ... problem of having no function symbols is partially overcome...

MetaPrime
 Referenced in 4 articles
[sw12542]
 previously available technique could ever even partially analyze, for instance noncoherent fault trees with more ... event trees because such trees denote Boolean functions on which these concepts can be applied ... particular in expert system applications such as reasoning maintenance and multiple fault diagnosis. The application...

FLGrCCA
 Referenced in 4 articles
[sw00296]
 view of this, this work proposes a partial order relation and lattice computing, respectively ... inclusion measure function based on both a nonlinear positive valuation function, namely $\arctan ... vector machines (SVMs) and the fuzzy lattice reasoning (FLR) classifier, for a number...

Nefrit
 Referenced in 2 articles
[sw04094]
 calculated as a weighted average of partial fuzzy utilities.par A new part of the system ... theoretically worked out. An overall fuzzy utility function is set by a rule base ... based on the principle of approximate reasoning. (A plan for the future is to enforce...

DrACuLa
 Referenced in 3 articles
[sw29646]
 with ACL2’s syntax. Second, for motivational reasons, students prefer to work on projects that ... present DRACULA, a pedagogic programming environment that partially solves these problems. The environment adds ... user interface in terms of statetransition functions, enabling them later to prove theorems about...

PPlan
 Referenced in 2 articles
[sw20685]
 used to support arbitrary dynamical reasoning tasks. The semantics of the firstorder preference language ... function of the weights of its component properties. A preference formula provides a partial order...

QuIt
 Referenced in 1 article
[sw29333]
 extended expressions. This language can express both functional and temporal properties of loops. We prove ... approach to automate the tasks of partial correctness verification, termination analysis and invariant generation ... theorem provers and/or SMT solvers to reason about these properties. Our approach supports full first...

Algorithm 992
 Referenced in 3 articles
[sw30516]
 propose a platformindependent multithreaded function library that provides data structures to generate, differentiate ... bases, our library can also generate, (partially) differentiate, modify, and visualize a large family ... numerically stable and efficient up to a reasonable dimension number and may be useful...

PLM
 Referenced in 3 articles
[sw38031]
 Representation and Partial Automation of the Principia LogicoMetaphysica in Isabelle/HOL. We present an embedding ... Principia LogicoMetaphysica (PLM) in the automated reasoning framework Isabelle/HOL. The Theory of Abstract Objects ... reasoning of mathematics, as abstract objects and provides an axiomatic framework that allows to reason ... Leibniz’ concepts, and has the ambition to function as a foundational theory of mathematics...

FALKSOL
 Referenced in 1 article
[sw39830]
 full outofcore functionality, while MUMPS offers only a partial one. The problem size ... paid in speed compared with MUMPS is reasonable. The current standalone implementation of FALKSOL...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...