3573 search results - page 209 / 715 » Reasoning about Codata |
137
click to vote
UAI
1998
15 years 5 months ago
1998
The process of diagnosis involves learning about the state of a system from various observations of symptoms or findings about the system. Sophisticated Bayesian (and other) algor...
121
click to vote
AAAI
1994
15 years 5 months ago
1994
CAT0 is an instructions environment for practicing basic skills of legal research: to use cases in arguments about a problem situation and to test a theory about a legal domain. U...
125
click to vote
AAMAS
2005
Springer
15 years 3 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
131
click to vote
JCP
2007
15 years 3 months ago
2007
Abstract— In this paper, we develop a mixed-initiative intelligent tutor for the game of Sudoku called MITS. We begin by developing a characterization of the strategies used in S...
128
click to vote
JAPLL
2010
15 years 2 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...