• Racer

  • Referenced in 66 articles [sw09837]
  • that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • mixed-logical dynamical (MLD) form which can be immediately used for optimization, to solve...
  • MUltlog

  • Referenced in 19 articles [sw06604]
  • formation rules for this logic. All generated rules are optimized regarding their branching degree ... example, this specification of three-valued Gödel logic results in this paper. For more details...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • expressing 𝒩𝒫 search and optimization problems. This paper presents a logic language for expressing 𝒩𝒫 ... presented. The system translates 𝒩𝒫𝒟atalog queries into Optimization Programming Language (OPL) programs which are executed ... problems, expressed by means of a declarative logic language, with the efficiency of the ILOG...
  • CVC4

  • Referenced in 124 articles [sw09485]
  • large number of built-in logical theories and their combination. CVC4 is the fourth ... features of CVC3 and SMT-LIBv2 while optimizing the design of the core system architecture...
  • SYGRAF

  • Referenced in 4 articles [sw21247]
  • opposed to the top-down implementations of logic programs prevailing so far). The proposed method ... query optimization can be applied to optimize logic programs. An important advantage of present approach...
  • asprin

  • Referenced in 11 articles [sw30408]
  • that allows: computing optimal stable models of logic programs with preferences, and; defining new preference...
  • TILOS

  • Referenced in 8 articles [sw11680]
  • certain to be globally optimal TILOS (Timed Logic Synthesizer) is a program that sizes transistors...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • best used in conjunction with other optimization paradigms such as local search, yielding hybrid algorithms ... retaining the original declarativity of Constraint Logic Programming. We propose a language, SALSA, dedicated ... examples from combinatorial optimization for which we specify complex optimization procedures with a few simple...
  • cminor

  • Referenced in 19 articles [sw09739]
  • Separation Logic for Small-Step cminor. cminor is a mid-level imperative programming language; there ... proved-correct optimizing compilers from C to cminor and from cminor to machine language ... that it is suitable for Hoare Logic reasoning and we have designed a Separation Logic...
  • GEOTHER 1.1

  • Referenced in 32 articles [sw02842]
  • assign coordinates to each point in some optimal manner; translate the predicate representation ... Chinese statement, into a first-order logical formula, or into algebraic expressions; draw...
  • RevSCA

  • Referenced in 2 articles [sw37909]
  • instance using non-standard libraries or logic optimization, the existing SCA methods are completely blind...
  • Leibniz

  • Referenced in 36 articles [sw12871]
  • systems with modules for: - logic computation - learning logic formulas from data - discretization of data - subgroup ... graphs and matrices - solution of constrained optimization problems involving single or multiple objective functions...
  • WASP

  • Referenced in 56 articles [sw09565]
  • introduces WASP, an ASP solver handling disjunctive logic programs under the stable model semantics. WASP ... WASP combines these SAT-based techniques with optimization methods that have been specifically designed...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • programmers, by modeling combinatorial optimization problems with logical rules and elementary data structures...
  • EPFL

  • Referenced in 1 article [sw40313]
  • comparative standard for the logic optimization and synthesis community. It originally consisted of 23 combinational ... circuits designed to challenge modern logic optimization tools. The benchmark suite is divided into arithmetic...
  • lp2normal

  • Referenced in 7 articles [sw25505]
  • that acts as a filter on ground logic programs produced by grounders, such as gringo ... rewrite optimization statements using comparable techniques. The produced logic programs are suitable inputs to tools...
  • HyFIS

  • Referenced in 13 articles [sw24184]
  • Heuristic fuzzy logic rules and input-output fuzzy membership functions can be optimally tuned from...
  • Helios

  • Referenced in 11 articles [sw01440]
  • optima in optimization problems. Helios statements are compiled to Newton, a constraint logic programming language...