• NP-SPEC

  • Referenced in 20 articles [sw02243]
  • specification language for solving all problems in NP. A logic-based specification language, called ... form. NP-SPEC programs specify solutions to problems in a very abstract and concise...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • 𝒩𝒫 search and optimization problems. This paper presents a logic language for expressing 𝒩𝒫 search ... easy formulation of problems, expressed by means of a declarative logic language, with the efficiency...
  • E-Darvin

  • Referenced in 20 articles [sw06852]
  • first-order clausal logic with equality. It accepts problems in tptp or tme syntax...
  • Metis_

  • Referenced in 56 articles [sw04439]
  • automatic theorem prover for first order logic with equality Features of Metis: Coded in Standard ... respectable performance on standard benchmarks. Reads in problems in the standard .tptp file format...
  • Racer

  • Referenced in 66 articles [sw09837]
  • highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor ... Racer provides implementations of standard reasoning problems for T-boxes and A-boxes. In addition ... inference services are provided, such as, e.g., logical abduction. Racer also provides the powerful...
  • DCTP

  • Referenced in 21 articles [sw06621]
  • first order clause logic. Given an input file containing the problem specification in TPTP syntax...
  • IDP3

  • Referenced in 10 articles [sw22941]
  • logic as a modeling language: modeling and solving some machine learning and data mining problems ... This paper provides a gentle introduction to problem-solving with the IDP3 system. The core ... predicate logic and allows them to solve a wide range of search problems. Apart from ... applications, we analyze the problem, illustrate the development of a logic-based model and explore...
  • DLV

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

  • Referenced in 9 articles [sw02003]
  • courses of action, and answer questions. This logic must be powerful enough to describe complex ... characteristics that can lead to problems when existing logics are used, in particular, the inconsistencies...
  • FINDER

  • Referenced in 40 articles [sw06376]
  • numerical, though it can knock off small problems reasonably quickly. The nice feature ... input language which is first order logic thinly disguised. Earlier versions of this came with...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • implements various related type systems - the Edinburgh Logical Framework (LF), the Calculus of Constructions ... expressive language for formalization of mathematical problems and program specification and development...
  • MADM

  • Referenced in 134 articles [sw06484]
  • making methods for solving the decision making problems of the manufacturing environment are proposed ... decision matrix. These methods, which use fuzzy logic to convert the qualitative attributes into...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • fashion, HYSDEL transforms it to the mixed-logical dynamical (MLD) form which can be immediately ... safety verification, or estimation and fault detection problems...
  • ANCFIS

  • Referenced in 11 articles [sw34242]
  • properties of CFSs and complex fuzzy logic, there has yet to be any practical application ... forecasting, which is an important machine-learning problem. We find that ANCFIS performs well ... synthetic and five real-world forecasting problems and is also very parsimonious. Experimental comparisons show ... utility of complex fuzzy logic on real-world problems...
  • Subsumer

  • Referenced in 3 articles [sw13854]
  • Since θ-subsumption is inherently a logic problem, in this paper we explore ... subsumption is an important problem in computational logic and particularly relevant to the inductive logic...
  • HOT

  • Referenced in 6 articles [sw13308]
  • results for over one hundred solved problems from logic and set theory...
  • RRL

  • Referenced in 55 articles [sw28904]
  • experimenting with automated reasoning algorithms for equational logic based on rewrite techniques ... used to solve hard and challenging mathematical problems in automated reasoning literature as well...
  • Monotonox

  • Referenced in 4 articles [sw10406]
  • known translations between unsorted and many-sorted logic, making use of the fact that ... Many interesting problems are more naturally expressed in many-sorted first-order logic than ... efficient automated theorem provers solve problems only in unsorted logic. Conversely, some reasoning tools ... problem, but most problems today are formulated in unsorted logic. This situation motivates translations...
  • MetaGame

  • Referenced in 10 articles [sw00572]
  • identify the cause of the problem. For branching time logics error diagnosis information...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • programmers, by modeling combinatorial optimization problems with logical rules and elementary data structures ... building of Rules2CP libraries for specific problems. The Packing Knowledge Modeling Language PKML is such...