
NPSPEC
 Referenced in 20 articles
[sw02243]
 specification language for solving all problems in NP. A logicbased specification language, called ... form. NPSPEC 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...

EDarvin
 Referenced in 20 articles
[sw06852]
 firstorder 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 Tboxes and Aboxes. 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 problemsolving 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 logicbased 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 mixedlogical 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 machinelearning problem. We find that ANCFIS performs well ... synthetic and five realworld forecasting problems and is also very parsimonious. Experimental comparisons show ... utility of complex fuzzy logic on realworld 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 manysorted logic, making use of the fact that ... Many interesting problems are more naturally expressed in manysorted firstorder 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...