
Smodels
 Referenced in 239 articles
[sw04631]
 implementation based on the stable model semantics of normal logic programs. The basic idea ... program such that the answer sets (stable models) of the program correspond to the solutions...

GROOVE
 Referenced in 50 articles
[sw09480]
 transformations as a basis for model transformation and operational semantics. This entails a formal foundation ... model transformation and dynamic semantics, and the ability to verify model transformation and dynamic semantics...

WASP
 Referenced in 53 articles
[sw09565]
 disjunctive logic programs under the stable model semantics. WASP implements techniques originally introduced ... atom support, and techniques for stable model checking. Concerning the branching heuristics, WASP adopts...

KRAKATOA
 Referenced in 89 articles
[sw03159]
 proof assistant for modeling the program semantics and conducting the development of proofs, and finally...

BABEL
 Referenced in 71 articles
[sw03018]
 least Herbrand model for BABEL programs. We develop both semantics and prove the existence ... least Herbrand models, as well as a soundness result for the reduction semantics w.r.t...

Ptolemy
 Referenced in 78 articles
[sw07459]
 modular formal semantics for Ptolemy. Ptolemy is an opensource and extensible modelling and simulation ... offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular ... called directors. Different directors realise different models of computation. In this paper, we formally define...

swrl
 Referenced in 49 articles
[sw14002]
 This document contains a proposal for a Semantic Web Rule Language (SWRL) based ... Lite sublanguages of OWL. A modeltheoretic semantics is given to provide the formal meaning...

PLT Redex
 Referenced in 23 articles
[sw09921]
 tool set for such forms of semantics. Software engineers have long known that automatic tool ... prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student ... develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists...

GNT
 Referenced in 22 articles
[sw00367]
 experimental implementation of the stable model semantics for disjunctive logic programs [Gelfond and Lifschitz ... responsible for generating as good as possible model candidates while the other checks for minimality...

AGG
 Referenced in 49 articles
[sw04449]
 assigning a graph transformation based semantics to some system model, graph transformation based evolution...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 equality. The language has a clean modeltheoretic semantics, where the domains of the interpretations ... semantics (based on SLDresolution) is proved sound and complete with respect to the model...

PDDL
 Referenced in 96 articles
[sw07079]
 resources. This necessitated the development of a modelling language capable of expressing temporal and numeric ... semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power...

Java Jr
 Referenced in 14 articles
[sw19083]
 demonstrate the intuitive character of the semantic model. We also show that our semantic trace...

MANIFOLD
 Referenced in 30 articles
[sw02900]
 semantics of a kernel of MANIFOLD, based on a twolevel transition system model ... level model in this paper to define the semantics of a controloriented coordination language ... formal studies of other coordination models and languages as well...

Lparse
 Referenced in 43 articles
[sw04633]
 also implements several other semantics (classical negation, partial stable models) by translating them into normal...

Isabelle/UTP
 Referenced in 13 articles
[sw21184]
 contributions are, firstly, a deep semantic model of UTP’s alphabetised predicates, supporting metalogical...

SatAbs
 Referenced in 41 articles
[sw12804]
 solver. This allows the model checker to handle the semantics of the ANSIC standard...

Cmodels
 Referenced in 69 articles
[sw04435]
 found models. The system Cmodels is based on the relation between two semantics: the answer ... semantics is equivalent to the completion semantics, so that the answer sets for such ... loop formulas, and showed that models of completion extended by all the loop formulas...

Circus
 Referenced in 90 articles
[sw21828]
 Semantics of Circus. Circus is a concurrent language for refinement; it is a unification ... Circus and the formalisation of its model in Hoare & He’s unifying theories of programming...

PNML
 Referenced in 40 articles
[sw03257]
 provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part...