
Leibniz
 Referenced in 35 articles
[sw12871]
 logic computation  learning logic formulas from data  discretization of data  subgroup discovery from data  data...

AxiomCalc
 Referenced in 7 articles
[sw20253]
 outputs a hypersequent calculus for the logic and the result of the check. Our approach ... allows for the computerized discovery of new fuzzy logics...

ROSETTA
 Referenced in 23 articles
[sw10969]
 frontend developed for knowledge discovery in an interactive setting. Issues springing from the overall ... programming environments for processoriented synthesis of logic programs...

NMEEFSD
 Referenced in 6 articles
[sw38286]
 algorithm for extracting fuzzy rules in subgroup discovery (NMEEFSD) is described and analyzed ... hybridization between fuzzy logic and genetic algorithms, deals with subgroupdiscovery problems in order...

FOILD
 Referenced in 3 articles
[sw02584]
 allows for discovery of patterns involving multiple relational tables. Inductive logic programming (ILP) techniques have...

ProPPR
 Referenced in 1 article
[sw32915]
 ProPPR: efficient firstorder probabilistic logic programming for structure discovery, parameter learning, and scalable inference ... This paper presents a new, scalable probabilistic logic called ProPPR, which further extends stochastic logic...

DISCOVERY
 Referenced in 1 article
[sw02881]
 General reasonings about approaches to the obtaining discoveries are discussed and a method of discovering ... first order logic is elaborated. Program system DISCOVERY based on a given method is described...

lpc
 Referenced in 6 articles
[sw11217]
 theoretical framework under which LPC is the logical choice for identifying significant genes ... provide a marked reduction in false discovery rates over the conventional methods on both real...

April
 Referenced in 3 articles
[sw25423]
 April  An Inductive Logic Programming System. Inductive Logic Programming (ILP) is a Machine Learning research ... that has been quite successful in knowledge discovery in relational domains. ILP systems...

PLM
 Referenced in 3 articles
[sw38031]
 universal tool for logical reasoning as promoted by Christoph Benzmüller. The most notable result ... presented work is the discovery of a previously unknown paradox in the formulation...

evt
 Referenced in 8 articles
[sw09805]
 formulated as behavioural properties in a modal logic with recursion. We give a summary ... tool offers considerable support for automatic proof discovery through higherlevel tactics tailored...

Ontograte
 Referenced in 1 article
[sw00651]
 combines a highly automatic mapping system, a logic inference engine, and several syntax wrappers that ... that provides a unified semantics for mapping discovery and query translation by transforming database schemas...

DSProlog
 Referenced in 0 articles
[sw19636]
 knowledge discovery support environment (KDSE) for knowledge discovery in PCMdata. Also ... digital signal processing  and Prolog, a logic programming language created around 1972 by Alain Colmerauer...

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

CLAN
 Referenced in 8 articles
[sw00129]
 CLAN: A tool for contract analysis and conflict...

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...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...