22 search results - page 5 / 5 » CommonKADS Models for Knowledge-Based Planning |
108
click to vote
AAAI
2004
15 years 1 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
127
click to vote
AAAI
2008
15 years 26 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...