27274 search results - page 387 / 5455 » A framework for framework documentation |
165
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
167
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
152
click to vote
ARGMAS
2007
Springer
16 years 27 days ago
2007
Springer
This paper focuses of the group judgments obtained from a committee of agents that use deliberation. The deliberative process is realized by an argumentation framework called AMAL....
160
click to vote
CIA
2007
Springer
16 years 27 days ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
169
click to vote
DFG
2007
Springer
16 years 27 days ago
2007
Springer
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...