
MiniML
 Referenced in 46 articles
[sw29625]
 logic S4 provides an expressive framework for specifying and analyzing computation stages in the context...

DMCS
 Referenced in 6 articles
[sw09818]
 contexts with heterogeneous and possibly nonmonotonic logics. Each context in an MCS comprises...

CiME
 Referenced in 38 articles
[sw09970]
 logic programs; the MUTERM tool (http://www.dsic.upv.es/ slucas/csr/termination/muterm/ ) for termination of contextsensitive rewriting...

ArgoCLP
 Referenced in 11 articles
[sw07192]
 conjunctions of atoms.par Coherent logic offers different advantages in the context of geometric theorem proving...

Locales
 Referenced in 35 articles
[sw12448]
 Isabelle’s global theories and proof contexts is possible via morphisms. Even the locale hierarchy ... relations between locales do not adequately reflect logical relations, which are implied by the locales...

LIME
 Referenced in 26 articles
[sw09425]
 applications that exhibit physical mobility of hosts, logical mobility of agents, or both. LIME adapts ... work on the Linda model. The context for computation, represented in Linda by a globally...

SCEL
 Referenced in 17 articles
[sw20779]
 also naturally supports programming interaction, selfawareness, contextawareness, and adaptation. The solid semantic grounds ... language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior...

Lincx
 Referenced in 1 article
[sw20270]
 linear logical framework with firstclass contexts. Linear logic provides an elegant framework for modelling ... imperative and concurrent systems by viewing a context of assumptions as a set of resources ... Lincx, a contextual linear logical framework with firstclass mixed contexts. Lincx allows ... extends the linear logical framework LLF with firstclass (linear) contexts and an equational theory...

DLVEX
 Referenced in 14 articles
[sw04642]
 logic programming with function symbols, object oriented logic languages, interoperability with external sources ... framework embedding value invention in a general context. The class of programs having a suitable ... case in the specific literature about logic programming with function symbols). Relationships with existing formalisms...

LIPSAT
 Referenced in 2 articles
[sw28633]
 valued logic. We study probabilisticlogic reasoning in a context that allows for “partial truths ... classical Łukasiewicz infinitelyvalued probabilistic logic. In particular, we study the satisfiability of joint probabilistic...

CLPGUI
 Referenced in 5 articles
[sw14834]
 constraint logic programs. CLPGUI has been designed to be used in different contexts: initially ... which is generic w.r.t. both the constraint logic programming system and the visualizers, is addressed...

SUNNY
 Referenced in 11 articles
[sw31800]
 portfolio approach for constraint solving. Within the context of constraint solving, a portfolio approach allows ... such as Answer Set Programming and Constraint Logic Programming...

OPTYap
 Referenced in 13 articles
[sw13883]
 implementation of a parallel tabling engine for logic programming systems. OPTYap builds ... mechanisms proposed to parallelize search in the context of SLD resolution can indeed be effectively ... through applying orparallelism and tabling to logic programs the range of applications for Logic...

CPlogic
 Referenced in 17 articles
[sw06947]
 logic programming This paper develops a logical language for representing probabilistic causal laws. Our interest ... probability trees. In such a dynamic context, where the evolution of a domain over time ... extends Shafer’s by offering a convenient logical representation for his semantical objects. Second, this...

TTM
 Referenced in 9 articles
[sw11997]
 theorem prover for the Propositional Linear Temporal Logic called PLTL. TTM allows you to test ... pass tableau method for PLTL called the contextbased tableau method. TTM has been implemented...

FrameNet
 Referenced in 5 articles
[sw01965]
 mandatory, e.g. within the Semantic Web context, to enable e.g. better query answering based ... into the answer set programming paradigm of logic programming. Because a number of different reasoning ... tasks are subsumed under “inference” in the context of natural language processing, we emphasize...

THF0
 Referenced in 14 articles
[sw03310]
 language, adding the syntax for higherorder logic. Maintaining a consistent style between the ﬁrst ... single Prolog read/1 call, in the context of appropriate operator deﬁnitions. There are good reasons...

fzn2smt
 Referenced in 4 articles
[sw13501]
 seem to be rarely exploited in the context of Constraint Programming. fzn2smt supports all standard ... data types and constraints of FlatZinc. The logic required for solving each instance is determined ... they do not make sense in the context of SMT. Only the alldifferent and cumulative...

MBase
 Referenced in 17 articles
[sw08724]
 MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems. We describe ... knowledge and analyze its structure. For the logical formulation of mathematical concepts, we propose...

Chisel
 Referenced in 2 articles
[sw21110]
 Chisel: a policydriven, contextaware, dynamic adaptation framework. We argue that the software user ... developer, the designer and indeed the application logic itself all possess invaluable intelligence to gear ... adapt itself to changing requirements and changing context. We present Chisel, an open framework...