11436 search results - page 383 / 2288 » Modeling Real Reasoning |
146
click to vote
NMELP
1994
15 years 8 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
147
click to vote
IJCAI
2003
15 years 6 months ago
2003
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
168
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
176
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
— Uncertainties in data arise for a number of reasons: when the data set is incomplete, contains conflicting information or has been deliberately perturbed or coarsened to remov...
117
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...