
ML
 Referenced in 517 articles
[sw01218]
 ensures type safety – there is a formal proof that a welltyped ML program does ... provides pattern matching for function arguments, garbage collection, imperative programming, callbyvalue and currying ... completely specified and verified using formal semantics. Its types and pattern matching make it well...

AFRA
 Referenced in 29 articles
[sw02090]
 issue of representing attacks to attacks in argumentation is receiving an increasing attention ... present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic ... theory of argumentation. This paper provides a complete development of the AFRA formalism complemented...

LEGO
 Referenced in 107 articles
[sw09685]
 example, features of the system like argument synthesis and universe polymorphism make proof checking more ... practical by bringing the level of formalization closer to that of informal mathematics. The higher...

ASPARTIX
 Referenced in 18 articles
[sw08820]
 ASPARTIX: Implementing Argumentation Frameworks Using AnswerSet Programming. The system ASPARTIX is a tool ... broad range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies...

Completeness theorem
 Referenced in 8 articles
[sw28562]
 allows the proofs to use symmetry arguments. Margetson formalized this theorem by early...

ArgueApply
 Referenced in 2 articles
[sw27498]
 ArgueApply: a mobile app for argumentation. Formal models developed in the field of argumentation allow...

GrappaVis
 Referenced in 2 articles
[sw21598]
 GrappaVis  A System For Advanced Graphical Argumentation Formalisms. Welcome to the system page of GrappaVis...

Featherweight Java
 Referenced in 91 articles
[sw16204]
 reflection are dropped to enable rigorous arguments about key properties such as type safety ... proof of type safety. The extended system formalizes for the first time some...

RPDeLP
 Referenced in 4 articles
[sw19192]
 general defeasible logic argumentation framework by formalizing a notion of collective (nonbinary) conflict among...

ABEL
 Referenced in 2 articles
[sw02787]
 interactive tool for probabilistic argumentative reasoning. Most formal approaches to argumentative reasoning under uncertainty focus...

Autoepigraph
 Referenced in 1 article
[sw33594]
 allow for handling of many other argumentation formalisms and that can be used in applications...

Tweety
 Referenced in 8 articles
[sw22090]
 knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety...

Irrationality_J_Hancl
 Referenced in 1 article
[sw38035]
 Hancl: Irrational Rapidly Convergent Series. We formalize with Isabelle/HOL a proof of a theorem ... makes use only of analytical arguments. We also formalize a corollary of the theorem...

KIEL
 Referenced in 2 articles
[sw29844]
 within the latter the formal paramters are substituted by the arguments. For instance...

Tribe
 Referenced in 4 articles
[sw23217]
 field initialisation, as orthogonal to the core formalism. Tribe can support path types dependent simultaneously ... without the need to drag around family arguments. Languages based on Tribe will be both...

GirthChromatic
 Referenced in 1 article
[sw29248]
 Chromatic Number Theorem. This works presents a formalization of the GirthChromatic number theorem ... Graphs to prove the existence with probabilistic arguments...

Polylogarithms.jl
 Referenced in 1 article
[sw36530]
 very little of the literature contains any formal validation of numerical performance. In this paper ... calculating polylogarithms for both complex parameter and argument and evaluate it thoroughly in comparison...

MiniBrass
 Referenced in 1 article
[sw31298]
 decision and optimization problems. Plenty of modeling formalisms for various problem domains involving soft constraints ... semiring from an arbitrary PVS. Both arguments draw upon elements from category theory. MiniBrass turns ... system, reusable implementations of specific soft constraint formalisms as PVS types, operators for complex...

VMlambda
 Referenced in 1 article
[sw17460]
 proper definition and implementation of VML with formal foundations would be of great help ... This implementation makes extensive use of labeled arguments and polymorphic variants  two advanced features...