• Datalog

  • Referenced in 289 articles [sw20023]
  • Datalog is a declarative logic programming language that syntactically is a subset of Prolog ... found new application in data integration, information extraction, networking, program analysis, security, and cloud computing ... origins date back to the beginning of logic programming, but it became prominent...
  • JPAX

  • Referenced in 29 articles [sw09906]
  • user provided properties formulated in temporal logic. JPAX can in addition analyze the program ... errors such as deadlocks and data races. The concurrency analysis requires no user provided specification ... each performing a specialized analysis, such as the temporal logic verification ... deadlock analysis and the data race analysis. Temporal logic specifications can be formulated...
  • TVLA

  • Referenced in 34 articles [sw09878]
  • where the operational semantics is specified using logical formulae. TVLA has been implemented in Java ... used to perform shape analysis on programs manipulating linked data structures (singly and doubly linked...
  • MADM

  • Referenced in 131 articles [sw06484]
  • ELECTRE), COmplex PRoportional ASsessment (COPRAS), Grey Relational Analysis (GRA), UTility Additive (UTA), and Ordered Weighted ... attributes data of the decision matrix. These methods, which use fuzzy logic to convert...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • Gallier and S. Raatz, J. Logic Program. 4, 119-155 (1987; Zbl 0641.68145)]. The present ... paper together with a detailed analysis of the necessary data structures...
  • SCALE 6.2

  • Referenced in 6 articles [sw18190]
  • files to control the logical flow of the analysis. Data are passed between individual computational...
  • GUHA

  • Referenced in 6 articles [sw27859]
  • from a mainly logical method to a system of exploratory data analysis; and during years...
  • mlf

  • Referenced in 1 article [sw22710]
  • main purpose of data analysis. Fuzzy logic is one of its key techniques. The framework ... give the user unforeseen insights into its data. The algorithms are highly parameterizeable. Given this...
  • DATA-MOCCA

  • Referenced in 7 articles [sw11280]
  • MOdel for Call Center Analysis. This document describes a data-model that has been developed ... facilitate statistical analyses based on individual call data from a call center. The model will ... multi-nodes (i.e., with a multiplicity of logical and/or physical components...
  • THF0

  • Referenced in 14 articles [sw03310]
  • language, adding the syntax for higher-order logic. Maintaining a consistent style between the first ... format data, e.g., parsing tools, pretty-printing tools, system testing, and result analysis, (see Section...
  • Kima

  • Referenced in 3 articles [sw08979]
  • based analysis are turning out to play fundamental roles in debugging concurrent logic programs ... establishing the consistency of communication protocols and data types. Mode/type analysis of Moded Flat...
  • ConExp

  • Referenced in 2 articles [sw06723]
  • tool for data analysis based on formal concept analysis Formal Concept Analysis is a useful ... tool to represent logical implications in datasets, to analyze the underground knowledge that lies behind ... large amounts of data. A database relation can be seen as a many-valued context...
  • PhyloWS

  • Referenced in 3 articles [sw08275]
  • logic programming technology to support a large scale deployment and analysis of phylogenetic data from...
  • Succinct

  • Referenced in 5 articles [sw09703]
  • Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed ... large fragment of first-order logic. The solvers have proved to be useful...
  • CDAOstore

  • Referenced in 4 articles [sw06415]
  • CDAOstore: a phylogenetic repository using logic programming and web services The CDAOStore is a portal ... data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis ... formal ontology (the comparative data analysis ontology), an XML exchange format (NeXML ... combination of standard web technologies and logic programming technology. In particular, we employed Prolog...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • data analysis. Geospatial Intelligence analysis involves the combination of multi-source information expressed in logical ... physics or other processes), and sensor data (as measurements from transducers). Each of these forms ... Geospatial Intelligence analysis system, which receives information from humans (as logical sentences), simulations (e.g., weather ... user queries based on a new probabilistic logic system which determines a coherent overall response...
  • VERIFAI

  • Referenced in 2 articles [sw32550]
  • temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data...
  • ITSM2000

  • Referenced in 11 articles [sw16941]
  • download from the Springer Extras website. The logic and tools of time series model-building ... used to analyze and forecast data sets of the user’s own choosing. The book ... models, with an optional chapter on spectral analysis. Many additional special topics are also covered...
  • Rubato

  • Referenced in 4 articles [sw11040]
  • specific tasks such as analysis, composition, performance, and logical or geometric operations. Such a component ... based on the exchange of the universal data format of denotators. Supported by an international...
  • i-Cube

  • Referenced in 3 articles [sw01260]
  • annotated trees. Specific areas of interest and data content in the original HTML document that ... analysis and presentation rules to be invoked according to script based user-defined logic...