
Cmodels
 Referenced in 71 articles
[sw04435]
 either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses ... engine for enumerating models of the logic program  possible solutions, in case of disjunctive programs...

ETPS
 Referenced in 160 articles
[sw06302]
 been used under the name ETPS in logic courses at Carnegie Mellon for a number ... student using ETPS issues commands to apply rules of inference in specified ways ... checking that the rules can be used in this way. The program thus allows students ... concentrate on the essential logical problems underlying the proofs, and it gives them immediate feedback...

OTTER
 Referenced in 316 articles
[sw02904]
 stated in firstorder logic with equality. Otter’s inference rules are based on resolution ... symbolic calculator and has an embedded equational programming system. Otter is a fourthgeneration Argonne ... research in abstract algebra and formal logic. Otter and its predecessors have been used...

ELAN
 Referenced in 108 articles
[sw02179]
 rules controlled by strategies. Its purpose is to support the design of theorem provers, logic ... programming languages, constraints solvers and decision procedures and to offer a modular framework for studying ... support the design of theorem provers, logic programming languages, constraints solvers and decision procedures ... studying their combination. ELAN takes from functional programming the concept of abstract data types...

Lpopt
 Referenced in 6 articles
[sw21595]
 programs containing variables into variablefree, propositional programs. The size of this grounding depends heavily ... ground rules, and thus, reducing the size of such rules is a promising approach ... lpopt, a tool that decomposes large logic programming rules into smaller rules that are easier...

CLAIRE
 Referenced in 34 articles
[sw02583]
 associated with declarative languages, such as sets, rules and search, into an imperative (functional) language ... well known and are available under various programming environments, the originality of the CLAIRE language ... concrete and abstract sets (data types and program fragments), in a completely userextensible manner ... inference compiler transforms a set of logical rules into a set of functions (demons that...

lp2normal
 Referenced in 7 articles
[sw25505]
 extended logic programs. Answer set programming (ASP) features a rich rulebased modeling language ... rules form the simplest rule type in the language, various forms of extended rules have ... acts as a filter on ground logic programs produced by grounders, such as gringo ... weight rules, and to rewrite optimization statements using comparable techniques. The produced logic programs...

APS
 Referenced in 29 articles
[sw08969]
 programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules ... logical. All of them may be used in different combinations at different levels of implementation...

ASPTools
 Referenced in 3 articles
[sw33089]
 giving them names; drop: delete rules from a program (randomly); igen: add an input generator ... logic program; lpshift: shift disjunctive rules into normal rules; modlist: split logic program into modules ... redundancy of individual rules in a ground logic program (module); rsat: generate a random ... instance as a logic program; shuffle: scramble literals in rules and rules in a program...

NoHR
 Referenced in 5 articles
[sw27501]
 monotonic rules in logic programming. Whereas the need to combine the distinctive features of these ... combination of reasoners dedicated to OWL and rules – but it is also available...

GDL
 Referenced in 23 articles
[sw27615]
 Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth ... facts, and the game mechanics as logical rules. (wikipedia...

Hyperproof
 Referenced in 25 articles
[sw22172]
 Macintosh software program. Unlike traditional treatments of firstorder logic, Hyperproof combines graphical ... sentential information, presenting a set of logical rules for integrating these different forms of information...

LMNtal
 Referenced in 9 articles
[sw07312]
 LMNtal as a hierarchical logic programming language. LMNtal (pronounced “elemental”) is a simple language model ... based on hierarchical graph rewriting that uses logical variables to represent connectivity and membranes ... Constraint Handling Rules, the two notable extensions to concurrent logic programming. LMNtal is intended...

TCHR
 Referenced in 5 articles
[sw01345]
 constraint logic programming. It integrates in a lightweight manner Constraint Handling Rules, a high ... level language for constraint solvers, with tabled logic programming. The framework is easily instantiated with...

HYPROLOG
 Referenced in 14 articles
[sw02743]
 HYPROLOG: A new logic programming language with assumptions and abduction. We present HYPROLOG, a novel ... Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism inspired by linear logic...

XPathLog
 Referenced in 7 articles
[sw15782]
 XPathlogic and XPathLog: a logicprogramming style XML data manipulation language. We define XPathLog ... Logic extends the XPath language with variable bindings and embeds it into firstorder logic ... Horn fragment of XPathLogic, providing a Datalogstyle, rulebased language for querying ... XPathLogic serves as the base of XPathLog as a logicprogramming language, whereas also...

ORL
 Referenced in 8 articles
[sw28404]
 programming approach to building rule lists, which are a type of interpretable, nonlinear, and logical ... sparsity. The flexible framework of mathematical programming allows users to create customized models with...

ImpUNITY
 Referenced in 4 articles
[sw01574]
 associated temporal logic, formal refinement notions, and program transformation rules. In this paper we extend...

NoMoRe
 Referenced in 22 articles
[sw07094]
 implements answer set semantics for normal logic programs. It realizes a novel paradigm to compute ... given program $P$. Intuitively, an acoloring reflects the set of generating rules...

Rules2CP
 Referenced in 5 articles
[sw06255]
 purpose rulebased modeling language for constraint programming. It aims at making constraint programming technology ... modeling combinatorial optimization problems with logical rules and elementary data structures, and by allowing ... Rules2CP compiler transforms Rules2CP statements into constraint programs in different target systems, currently SicstusProlog...