1856 search results - page 3 / 372 » Formal Dialectic Specification |
COMMA
2010
12 years 11 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...
ISSTA
1998
ACM
13 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
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...
ARGMAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...