
CCalc
 Referenced in 75 articles
[sw09899]
 part of Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas ... Texas Action Group at Austin. The semantics of the language of CCalc is related...

CPlogic
 Referenced in 17 articles
[sw06947]
 knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level ... time is considered, the idea of a causal law as something which guides this evolution ... formalization, a set of probabilistic causal laws can be used to represent a class ... offering a convenient logical representation for his semantical objects. Second, this language also has relevance...

Chapar
 Referenced in 3 articles
[sw22667]
 framework called Chapar for modular verification of causal consistency for replicated keyvalue store implementations ... novel operational semantics for causal consistency. We have verified the causal consistency...

Moviola
 Referenced in 3 articles
[sw27497]
 shot answer set programming. The causal rejectionbased update semantics assign meanings to a dynamic...

cplint
 Referenced in 4 articles
[sw22924]
 Causal inference in cplint. cplint is a suite of programs for reasoning and learning with ... semantics. In this paper we describe how we have extended cplint to perform causal reasoning...

Society Visualiser
 Referenced in 10 articles
[sw20845]
 have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework ... executed using respective software implementations, the Causal Calculator and the Society Visualizer. We evaluate...

GenCCSL
 Referenced in 1 article
[sw15831]
 Coalgebraic semantic model for the clock constraint specification language. The Clock Constraint Specification Language ... causal and temporal properties of ({sc uml}/EMF) models. The paper proposes a new semantic...

Zelus
 Referenced in 4 articles
[sw20166]
 source code. A dedicated type system and causality analysis ensure that all discrete changes ... synchronous language, using it both as a semantic basis and as a target for code...

Coq
 Referenced in 1776 articles
[sw00161]
 Coq is a formal proof management system. It...

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 248 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 5857 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11969 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MCGP
 Referenced in 14 articles
[sw00562]
 We present MCGP  a tool for generating and...

MiniSat
 Referenced in 528 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 279 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

SETHEO
 Referenced in 119 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

DYNAMO
 Referenced in 250 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...