
ETPS
 Referenced in 156 articles
[sw06302]
 automated theoremprover for firstorder logic and type theory. The latter ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS ... prove theorems of first and higherorder logic interactively, automatically, or in a mixture...

KRIPKE
 Referenced in 8 articles
[sw01162]
 relevant logics E, R and N R are given Hilbertstyle 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...

CPlogic
 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 theoremprover for firstorder logic and type theory. The latter ... students; it contains only commands relevant to proving theorems interactively. TPS and ETPS ... prove theorems of first and higherorder 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:629679, 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 wellknown 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 constraintbased. 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 (objectoriented) software ... heart of the IntensiVE tool suite are (logic) program queries and the model of intensional...