3573 search results - page 236 / 715 » Reasoning about Codata |
147
click to vote
ECBS
2008
IEEE
15 years 6 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
109
click to vote
BCSHCI
2007
15 years 5 months ago
2007
When designing purely physical products we do not necessarily have to understand what it is about their physicality that makes them work - they simply have it. However, as we desi...
129
click to vote
COMMA
2008
15 years 5 months ago
2008
Abstract. A recent extension to Dung's argumentation framework allows for arguments to express preferences between other arguments. Value based argumentation can be formalised...
131
click to vote
IJCAI
2007
15 years 5 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
137
click to vote
NIPS
2008
15 years 5 months ago
2008
In partially observable worlds with many agents, nested beliefs are formed when agents simultaneously reason about the unknown state of the world and the beliefs of the other agen...