• 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 ... order-sorted 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...
  • FL-GrCCA

  • 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 state-transition 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 first-order 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 platform-independent multi-threaded 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 Logico-Metaphysica in Isabelle/HOL. We present an embedding ... Principia Logico-Metaphysica (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 out-of-core functionality, while MUMPS offers only a partial one. The problem size ... paid in speed compared with MUMPS is reasonable. The current stand-alone 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...