4224 search results - page 186 / 845 » Reasoning about Choice |
188
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Subdivision surfaces solve numerous problems related to the geometry of character and animation models. However, unlike on parametrised surfaces there is no natural choice of text...
195
click to vote
UAI
2008
15 years 8 months ago
2008
Nonparametric Bayesian models are often based on the assumption that the objects being modeled are exchangeable. While appropriate in some applications (e.g., bag-ofwords models f...
245
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
172
click to vote
DALT
2003
Springer
16 years 9 days ago
2003
Springer
We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reaso...
213
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...