1426 search results - page 120 / 286 » Specification of nonmonotonic reasoning |
148
click to vote
AAAI
2010
15 years 7 months ago
2010
The Gibbard-Satterthwaite Theorem asserts that any reasonable voting rule cannot be strategyproof. A large body of research in AI deals with circumventing this theorem via computa...
191
click to vote
ICCE
2007
15 years 7 months ago
2007
: Intelligent tutoring systems assist medical faculty in training and equipping students with the required clinical reasoning skills. Plausible student solutions to a given problem...
182
click to vote
DLOG
2006
15 years 7 months ago
2006
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
152
click to vote
ECSCW
2001
15 years 7 months ago
2001
: "Text messaging" -- using a mobile phone to send a message -- has changed how teenagers use wireless phones to communicate and coordinate. While the media reports rapid...
183
click to vote
UAI
2001
15 years 7 months ago
2001
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...