
GOLOG
 Referenced in 170 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming...

KeY
 Referenced in 63 articles
[sw09969]
 theorem prover for the firstorder Dynamic Logic for Java with a userfriendly graphical...

LUPS
 Referenced in 37 articles
[sw02579]
 conducted so far in the field of logic programming has focused on representing static knowledge ... authors introduced the concept of dynamic logic programming. There, they studied and defined the declarative ... sequences of logic programs (or dynamic logic programs), P0 Phi : : : Phi Pn . Each such program ... sets of priorities. The role of dynamic logic programming is to employ the mutual relationships...

KeYmaera
 Referenced in 41 articles
[sw03709]
 hybrid systems. KeYmaera supports differential dynamic logic, which is a realvalued firstorder dynamic...

KIV
 Referenced in 51 articles
[sw10060]
 applications rely on a definition of dynamic logic, for reasoning about the correctness of software...

SLMC
 Referenced in 71 articles
[sw04604]
 model checking concurrent systems against dynamical spatial logic specifications. The Spatial Logic Model Checker ... structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Modelchecking ... reason about spatial properties and structural dynamics. The SLMC is the only currently available tool...

KLONE
 Referenced in 40 articles
[sw28891]
 logics of programs (such as propositional dynamic logic), for which tableau procedures have been quite...

HYSDEL
 Referenced in 38 articles
[sw05200]
 interconnections of linear dynamic systems, automata, ifthenelse and propositional logic rules. Once ... HYSDEL transforms it to the mixedlogical dynamical (MLD) form which can be immediately used...

GEX
 Referenced in 35 articles
[sw09961]
 automated reasoning software, we can build dynamic logic models which can do reasoning themselves ... proofs for mant geometry throerms. 2) By dynamic visual models, we mean models built...

TABLEAUX
 Referenced in 18 articles
[sw11674]
 logics, including usual temporal, epistemic or dynamic logics. We survey the modal languages covered...

Fuzzy Logic Toolbox
 Referenced in 57 articles
[sw07379]
 model complex system behaviors using simple logic rules, and then implement these rules ... within a comprehensive model of the entire dynamic system...

VAMPIRE
 Referenced in 239 articles
[sw02918]
 automatic theorem prover for firstorder classical logic. It consists of a shell ... introduction of new predicate definitions and dynamic folding of such definitions. A number of standard ... problem in the full firstorder logic syntax, clausifies it and performs a number...

Isar
 Referenced in 142 articles
[sw04599]
 quite independent of the underlying logic, and integrates a broad range of automated proof methods ... reading, thus being intelligible later without requiring dynamic replay that is so typical for traditional ... tightly integrated into the Isabelle/Pure metalogic implementation. Theories, theorems, proof procedures...

YAPProlog
 Referenced in 44 articles
[sw06948]
 achieve an efficient Prolog engine. Second, most logic programming systems have a rather limited indexing ... contributes to this area by providing a dynamic indexing mechanism, or justintime indexer ... parallelism and tabling in a single logic programming system...

KeYC
 Referenced in 5 articles
[sw00486]
 syntax, semantics, and calculus of C Dynamic Logic (CDL) that were adapted from their Java...

DEMO
 Referenced in 8 articles
[sw29079]
 Also, DEMO implements the reduction of dynamic epistemic logic to PDL. The paper gives...

PetriPDL
 Referenced in 3 articles
[sw15081]
 Towards reasoning in dynamic logics with rewriting logic: the PetriPDL case. Safety ... variety of scenarios increase with complexity. Dynamic Logics (DL) present a large body of techniques...

Moviola
 Referenced in 3 articles
[sw27497]
 Moviola: interpreting dynamic logic programs via multishot answer set programming. The causal rejectionbased ... update semantics assign meanings to a dynamic logic program (DLP), which is a sequence...

ModelPlex
 Referenced in 4 articles
[sw23944]
 automatically from CPS proofs in differential dynamic logic by a correctbyconstruction approach, leading...

SMCDEL
 Referenced in 6 articles
[sw29077]
 SMCDEL: A symbolic model checker for Dynamic Epistemic Logic (DEL) implemented in Haskell...