• 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 MU-TERM tool (http://www.dsic.upv.es/ slucas/csr/termination/muterm/ ) for termination of context-sensitive 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, self-awareness, context-awareness, 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 first-class 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 first-class mixed contexts. Lincx allows ... extends the linear logical framework LLF with first-class (linear) contexts and an equational theory...
  • DLV-EX

  • Referenced in 14 articles [sw04642]
  • logic programming with function symbols, object oriented logic languages, inter-operability 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 probabilistic-logic reasoning in a context that allows for “partial truths ... classical Łukasiewicz infinitely-valued 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 or-parallelism and tabling to logic programs the range of applications for Logic...
  • CP-logic

  • 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 context-based 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 higher-order logic. Maintaining a consistent style between the first ... single Prolog read/1 call, in the context of appropriate operator definitions. 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 policy-driven, context-aware, 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...