• ETPS

  • Referenced in 156 articles [sw06302]
  • automated theorem-prover for first-order logic and type theory. The latter ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS ... prove theorems of first- and higher-order logic interactively, automatically, or in a mixture...
  • KRIPKE

  • Referenced in 8 articles [sw01162]
  • relevant logics E, R and N R are given Hilbert-style axiomatizations and are studied ... from the axiomatizations of these logics we obtain their implication/negation fragments - respectively the system ... show that the relevant logics E, Ri, NRi and O R and the modal...
  • SPIRIT

  • Referenced in 7 articles [sw26763]
  • user as well as all relevant logical transformations and numerical calculations. SPIRIT is an Expert...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • this language also has relevance for the area of probabilistic logic programming. In particular...
  • TPS

  • Referenced in 71 articles [sw00973]
  • automated theorem-prover for first-order logic and type theory. The latter ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS ... prove theorems of first- and higher-order logic interactively, automatically, or in a mixture...
  • DLV

  • Referenced in 30 articles [sw04640]
  • system supports a language based on a logical formalisms with a very high expressive power ... that programs are able to represent relevant practical problems in presence of incomplete or contradictory...
  • Racer

  • Referenced in 65 articles [sw09837]
  • highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor ... that Racer requires ASDF 2.32. This is relevant for Lispworks, for which also (setf asdf ... inference services are provided, such as, e.g., logical abduction. Racer also provides the powerful...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • important problem in computational logic and particularly relevant to the inductive logic programming (ILP) community...
  • Aleph

  • Referenced in 50 articles [sw12108]
  • Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming, 19,20:629--679, available ... other ILP systems. Some of these of relevance to Aleph are: CProgol, FOIL, FORS, Indlog...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • underlying logic represents a general framework that allows to integrate all the relevant aspects ... soft computing technologies are provided: Fuzzy Logic and Fuzzy Cognitive Maps. A strong multithread model...
  • kFOIL

  • Referenced in 12 articles [sw23358]
  • kFOIL algorithm integrates the well-known inductive logic programming system FOIL with kernel methods ... leveraging FOIL search for a set of relevant clauses. The search is driven...
  • multi2boolean

  • Referenced in 4 articles [sw25069]
  • understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean ... general relevance of our method for the study of multilevel logical models...
  • rdefra

  • Referenced in 2 articles [sw29166]
  • HTML pages to get relevant information. This package follows a logic similar to other packages...
  • OrthoDB

  • Referenced in 4 articles [sw22979]
  • relevant orthology level by the NCBI taxonomy. The text searches allow use of complex logic...
  • COSMOS

  • Referenced in 5 articles [sw13329]
  • model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata ... Deterministic Timed Automata (DTA), to describe relevant execution paths of a Discrete Event Stochastic Process...
  • HASL

  • Referenced in 6 articles [sw13330]
  • Automata Stochastic Logic (HASL), a new temporal logic formalism for the verification of discrete event ... machineries to select prefixes of relevant execution paths of a DESP. The advantage with...
  • AgentStra

  • Referenced in 1 article [sw19312]
  • system is presented with relevant strategy agents described. Secondly, the logical flow and screen examples...
  • Path2Models

  • Referenced in 4 articles [sw29332]
  • three types of models are provided: kinetic, logical and constraint-based. Models from over ... list of participants, their interactions, the relevant mathematical constructs, and initial parameter values. Most models...
  • DRAGO

  • Referenced in 3 articles [sw15032]
  • This problem is becoming more and more relevant due to the necessity of building ... each separate ontology. Using Distributed Description Logics as a formal framework for representation of multiple...
  • IntensiVE

  • Referenced in 2 articles [sw10472]
  • article, is a tool suite for specifying relevant structural regularities in an (object-oriented) software ... heart of the IntensiVE tool suite are (logic) program queries and the model of intensional...