1001 search results - page 2 / 201 » Testing Formal Dialectic |
COMMA
2006
13 years 6 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
FMCAD
2000
Springer
13 years 8 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
COMMA
2010
12 years 12 months ago
2010
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
AWPN
2008
13 years 6 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
PODS
2004
ACM
14 years 5 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...