2638 search results - page 410 / 528 » Frameworks for Reasoning about Agent Based Systems |
168
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
182
click to vote
TBILLC
2005
Springer
15 years 12 months ago
2005
Springer
Case attraction has stood as a puzzling, and elusive, oddity of older Indo-European languages. This paper focuses on attraction in Ancient Greek, establishing both the regularity o...
194
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
195
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
191
click to vote
CD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...