Sciweavers

57 search results - page 10 / 12
» Temporal Conceptual Modelling with DL-Lite
Sort
View
CIMCA
2006
IEEE
15 years 4 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
14 years 11 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
14 years 11 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
14 years 11 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
15 years 3 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