10568 search results - page 402 / 2114 » Computer Intelligence and Formalization |
122
click to vote
FLAIRS
2006
15 years 6 months ago
2006
We are exploring the differences between expert and less expert tutors with two goals: cognitive (what does tutoring tell us about learning) and applied (which features of tutorin...
112
click to vote
FLAIRS
2001
15 years 6 months ago
2001
Discrete optimization problemsarise throughout many real world domainsincluding planning, decision making, and search. NP-hardin general, these problems require novel approachesto...
122
click to vote
AIPS
1996
15 years 6 months ago
1996
Weshowthat by inferring parametexdomainsof planningoperators,given the definitions of the operators and the initial and goal conditions, we can often speed up the planning process...
135
click to vote
TSMC
2002
15 years 4 months ago
2002
Abstract--In developing a tutoring system, one of the most difficult tasks is to collect tutoring knowledge from multiple educators, especially courses in which the contents change...
140
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...