640 search results - page 6 / 128 » Reasoning About Web-Site Structure |
KR
2010
Springer
14 years 9 days ago
2010
Springer
CSL
2001
Springer
14 years 1 days ago
2001
Springer
COMMA
2010
13 years 2 months ago
2010
Abstract. This paper combines two recent extensions of Dung's abstract argumenrameworks in order to define an abstract formalism for reasoning about preferences in structured ...
SBMF
2010
Springer
13 years 2 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...