
FORS
 Referenced in 17 articles
[sw04848]
 numerical regression. Firstorder logic descriptions are induced to carve out those subspaces that ... amenable to numerical regression among realvalued variables. The program FORS (First Order Regression System...

HOL2P
 Referenced in 4 articles
[sw21180]
 extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P...

logicFS
 Referenced in 1 article
[sw35577]
 Interactions. Identification of interactions between binary variables using Logic Regression. Can, e.g., be used...

Shmem
 Referenced in 1 article
[sw13015]
 performing read and write operations on logically shared variables...

SQEMA
 Referenced in 40 articles
[sw03056]
 Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative...

LISA
 Referenced in 1 article
[sw30492]
 integration is based on a new logic whose variables range over recordlike trees...

GEOTHER 1.1
 Referenced in 32 articles
[sw02842]
 optional X is a list of variables used for internal computation. The information contained ... Chinese statement, into a firstorder logical formula, or into algebraic expressions; draw...

SDSAT
 Referenced in 2 articles
[sw00842]
 merits. We propose a novel Separation Logic Solver SDSAT that combines the strengths of both ... allocates nonuniform adequate ranges for variables appearing in separation predicates. This phase is similar ... performance and smaller ranges for variables. Furthermore, the Separation Logic formula is not transformed into...

N3Logic
 Referenced in 9 articles
[sw02003]
 anyone can assert anything. N3Logic is a logic that allows rules to be expressed ... with syntax for nested graphs and quantified variables and with predicates for implication and accessing ... same language can be used for logic and data. In this paper, we describe N3Logic...

PRocH
 Referenced in 12 articles
[sw10191]
 obtained by replaying in the HOL logic the detailed inference steps recorded ... inference methods. These methods range from fast variable matching and more involved rewriting, to full...

incadata
 Referenced in 0 articles
[sw18924]
 standard (Ymd). Boolean variables (internally stored either as 0/1 or ”True”/”False ... /blanks when exported) are coerced to logical. Variable names ending in ’_Beskrivning’ and ’_Varde’ will...

HOLOmega
 Referenced in 9 articles
[sw06581]
 order logic of the HOL4 system. The logic is extended to three levels, adding kinds ... terms. New types include type operator variables and universal types as in System $F$. Impredicativity ... kinds, types, and terms of the logic, as well as the new fundamental axioms...

DDDLIB
 Referenced in 1 article
[sw00192]
 formulae in a firstorder logic over Boolean variables and inequalities of the form...

NoMoRe
 Referenced in 22 articles
[sw07094]
 NoMoRe implements answer set semantics for normal logic programs. It realizes a novel paradigm ... grounder in order to deal with variables. Furthermore, we have included an interface...

multi2boolean
 Referenced in 4 articles
[sw25069]
 difficulties for the analysis of interaction between variables and circuit functionality, which is believed ... understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean ... that it preserves dynamics and interaction of variables in a certain manner. As a demonstration ... method for the study of multilevel logical models...

Kima
 Referenced in 3 articles
[sw08979]
 concurrent logic programs. Kima corrects nearmisses such as wrong variable occurrences in the absence ... play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency...

Datalog LITE
 Referenced in 10 articles
[sw28894]
 Datalog that uses stratified negation, restricted variable occurrences and a limited form of universal quantification ... expressive: It encompasses popular modal and temporal logics such as CTL or the alternationfree...

Omega+
 Referenced in 1 article
[sw09922]
 integer linear constraints over integer variables in first order logic, and operations on integer sets...

VMC
 Referenced in 5 articles
[sw09745]
 modal transition system, possibly with additional variability constraints, after which it can automatically generate ... action and statebased branchingtime temporal logic over products and families alike...

Z3str
 Referenced in 9 articles
[sw19493]
 strings in terms of other primitives. The logic of the plugin has three sorts ... stringsorted terms include string constants and variables of arbitrary length, with functions such...