• 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]
  • front-end developed for knowledge discovery in an interactive setting. Issues springing from the overall ... programming environments for process-oriented synthesis of logic programs...
  • NMEEF-SD

  • Referenced in 6 articles [sw38286]
  • algorithm for extracting fuzzy rules in subgroup discovery (NMEEF-SD) is described and analyzed ... hybridization between fuzzy logic and genetic algorithms, deals with subgroup-discovery problems in order...
  • FOIL-D

  • 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 first-order 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 higher-level 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 PCM-data. 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...