Sciweavers

8760 search results - page 439 / 1752
» Modeling users of intelligent systems
Sort
View
IEAAIE
2001
Springer
15 years 11 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
FLAIRS
2010
15 years 9 months ago
Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
Mehul Bhatt
WOA
2010
15 years 4 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
COMPSAC
2003
IEEE
16 years 3 days ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
CSCW
2004
ACM
16 years 7 days ago
BusyBody: creating and fielding personalized models of the cost of interruption
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
Eric Horvitz, Paul Koch, Johnson Apacible