4224 search results - page 129 / 845 » Reasoning about Choice |
155
Voted
ECOI
2008
15 years 5 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...
183
click to vote
AAAI
1990
15 years 6 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
136
click to vote
JOLLI
2008
15 years 5 months ago
2008
Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people's b...
162
Voted
JANCL
2002
15 years 5 months ago
2002
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
192
click to vote
PPOPP
2011
ACM
14 years 8 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...