Sciweavers

10568 search results - page 33 / 2114
» Computer Intelligence and Formalization
Sort
View
ATAL
2007
Springer
15 years 3 months ago
On the relevance of utterances in formal inter-agent dialogues
Simon Parsons, Peter McBurney, Elizabeth Sklar, Mi...
ATAL
2007
Springer
15 years 3 months ago
A formal road from institutional norms to organizational structures
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
ICAIL
2005
ACM
15 years 3 months ago
A legal drafting environment based on formal and semantic XML standards
Carlo Biagioli, Enrico Francesconi, Pier-Luigi Spi...
ITS
2010
Springer
200views Multimedia» more  ITS 2010»
14 years 11 months ago
Developing an Intelligent Tutoring System Using Natural Language for Knowledge Representation
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...
Sung-Young Jung, Kurt VanLehn
CAI
1999
Springer
14 years 9 months ago
Context in Artificial Intelligence: I. A Survey of the Literature
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...
Patrick Brézillon