
ML
 Referenced in 524 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 30 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 108 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...

Featherweight Java
 Referenced in 93 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...

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

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...

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

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

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

FLGUARD
 Referenced in 0 articles
[sw41617]
 evaluate the FLGUARD algorithm. We provide formal argumentation for the effectiveness of our FLGUARD...

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...

ArgQL
 Referenced in 1 article
[sw42616]
 composed by sets of arguments and their interrelations. We use formal semantics to show...

DeepA2
 Referenced in 1 article
[sw42471]
 argumentation, as valid arguments: It inserts, e.g., missing premises and conclusions, formalizes inferences, and coherently ... create a synthetic corpus for deep argument analysis, and evaluate ArgumentAnalyst on this new dataset...

BTestBox
 Referenced in 1 article
[sw42804]
 models. The argument of correctness in refinementbased formal software design often disregards source code...

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...