1636 search results - page 163 / 328 » Reasoning About Quantum Systems |
151
click to vote
AIED
2007
Springer
16 years 18 days ago
2007
Springer
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...
131
click to vote
ICLP
1989
Springer
15 years 10 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
128
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
162
click to vote
IJCAI
2007
15 years 7 months ago
2007
Typically, autonomous believable agents are implemented using static, hand-authored reactive behaviors or scripts. This hand-authoring allows designers to craft expressive behavio...
168
click to vote
DLOG
2003
15 years 7 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...