Sciweavers

57 search results - page 10 / 12
» Temporal Conceptual Modelling with DL-Lite
Sort
View
CIMCA
2006
IEEE
14 years 1 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
DAGSTUHL
2007
13 years 9 months ago
Spatially Distributed Normative Objects
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
IJCAI
2007
13 years 9 months ago
A Description Logic of Change
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
Alessandro Artale, Carsten Lutz, David Toman
GRAPHICSINTERFACE
2001
13 years 9 months ago
Novel Solver for Dynamic Surfaces
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
Sumantro Ray, Hong Qin
PDC
2004
ACM
14 years 1 months ago
Social creativity: turning barriers into opportunities for collaborative design
Design is a ubiquitous activity. The complexity of design problems requires communities rather than individuals to address, frame, and solve them. These design communities have to...
Gerhard Fischer