• NQTHM

  • Referenced in 149 articles [sw07543]
  • partial recursive functions. These changes in the logic were described completely in their “Metafunctions: proving ... procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition ... quantification and partial functions to a computational logic and its theorem prover” [J. Autom. Reasoning...
  • XSB

  • Referenced in 138 articles [sw13877]
  • Logic Programming and Deductive Database system for Unix and Windows. XSB Prolog. It is being ... number of institutions, including the Computer Science Department of Stony Brook University, Universidade Nova...
  • LPL software

  • Referenced in 19 articles [sw04860]
  • undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. LPL consists...
  • IMPS

  • Referenced in 51 articles [sw09143]
  • logic, algebra, and analysis and provides some support for modeling applications in computer science...
  • MCK

  • Referenced in 31 articles [sw09465]
  • logic of knowledge, developed at the School of Computer Science and Engineering at the University ... variety of approaches to model checking the logic of knowledge. The novelty of this model...
  • Orbital library

  • Referenced in 13 articles [sw05562]
  • oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer...
  • TABLEAUX

  • Referenced in 18 articles [sw11674]
  • attractive feature of these logics for possible applications in computer science and AI. The system...
  • Isar

  • Referenced in 144 articles [sw04599]
  • actually formalizing parts of mathematics and computer science, there are still obstacles in addressing ... quite independent of the underlying logic, and integrates a broad range of automated proof methods...
  • LATIN

  • Referenced in 15 articles [sw19699]
  • logics and related formal systems. These systems are at the core of mathematics and computer ... science and are implemented in systems like (semi-)automated theorem provers, model checkers, computer algebra...
  • ACTLW

  • Referenced in 7 articles [sw21031]
  • Nicola, F.W. Vaandrager, Action versus logics for transition systems, in: Semantics of Systems of Concurrent ... Proceedings LITP Spring School on Theoretical Computer Science, LNCS 469, 1990, pp. 407-419]. ACTLW ... checking are shown. Usage of this new logic is illustrated by an example of verification...
  • EVOLP

  • Referenced in 4 articles [sw02677]
  • Over the years, Logic Programming has proved to be a good and natural tool ... computer science. However, it is not so easy to use in dynamic environments. Evolving Logic ... elegant and powerful extension of Logic Programming suitable for Multi-Agent Systems, planning and other ... transforming it into an equivalent normal logic program over an extended language, that serves...
  • onlineSPARC

  • Referenced in 2 articles [sw30283]
  • answer set programming. Recent progress in logic programming (e.g. the development of the answer ... computer science, the complexity of downloading, installing, and using tools for writing logic programs could...
  • AUTO2

  • Referenced in 6 articles [sw17595]
  • theorem prover for classical higher-order logic named auto2. The prover is designed to make ... several formalization projects in mathematics and computer science, demonstrating the high level of automation...
  • Paraconsistency

  • Referenced in 1 article [sw28572]
  • paraconsistent logic avoids the explosion. Quite a few applications in computer science and engineering ... formalize a paraconsistent many-valued logic that we motivated and described in a special issue...
  • QLGQ

  • Referenced in 2 articles [sw18547]
  • This book provides a brief background in logic and introduces the concept ... suitable for graduate-level students in computer science...
  • Newton

  • Referenced in 6 articles [sw21236]
  • reconcile the declarative nature of constraint logic programming (CLP) languages over intervals with advanced interval ... achieves an effective pruning at a reasonable computation cost and generalizes some traditional interval operators ... been applied to numerous applications in science and engineering, including nonlinear equation-solving, unconstrained optimization...
  • ITSM2000

  • Referenced in 6 articles [sw16941]
  • economics, engineering and the natural and social sciences. It assumes knowledge only of basic calculus ... professional version of the Windows-based computer package ITSM2000, now available as a free download ... from the Springer Extras website. The logic and tools of time series model-building...
  • HASPRNG

  • Referenced in 3 articles [sw06044]
  • computational science applications. In order to accelerate SPRNG in high performance reconfigurable computing systems ... Cray XD1 reconfigurable computing platforms, HASPRNG includes the reconfigurable logic for Field Programmable Gate Arrays...
  • HYPERS

  • Referenced in 5 articles [sw06392]
  • scales remains a major challenge in computational science. Previously, we introduced a new asynchronous approach ... unidimensional infrastructure for asynchronous simulations on logically uniform meshes. As the first example of this...
  • Hoarescope

  • Referenced in 0 articles [sw05569]
  • programs over natural numbers using Hoare logic (Hoare calculus). It can be used ... learning this aspect of theoretical computer science at the undergraduate level. Hoarescope performs inferences...