Sciweavers

586 search results - page 20 / 118
» Automated Reasoning on Aspects Interactions
Sort
View
DLOG
2003
13 years 11 months ago
Visualising a DL Knowledge Base with DeLogViz
Ontologies are more than an elaborate approach to the definition and classification of information. They play a vital role in various web-oriented applications that makes a corr...
Bo Hu, Nigel Shadbolt
DEON
2010
Springer
13 years 10 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
CSL
2011
Springer
13 years 5 months ago
Detecting emotional state of a child in a conversational computer game
The automatic recognition of user’s communicative style within a spoken dialog system framework, including the affective aspects, has received increased attention in the past f...
Serdar Yildirim, Shrikanth Narayanan, Alexandros P...
ICCBR
2007
Springer
14 years 4 months ago
Explanations and Case-Based Reasoning in Ambient Intelligent Systems
Interacting with intelligent systems in general and ambient intelligent systems in particular, requires that these systems have the ability to build a trust relationship with the u...
Jörg Cassens, Anders Kofod-Petersen
AAAI
1996
13 years 11 months ago
Reasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
Christoph S. Herrmann, Michael Thielscher