Sciweavers

498 search results - page 17 / 100
» A Logical Temporal Relational Data Model
Sort
View
LPNMR
2005
Springer
15 years 5 months ago
Inference of Gene Relations from Microarray Data by Abduction
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
Irene Papatheodorou, Antonis C. Kakas, Marek J. Se...
ATAL
2010
Springer
15 years 27 days ago
Strategic planning for probabilistic games with incomplete information
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
Henning Schnoor
ER
2004
Springer
92views Database» more  ER 2004»
15 years 5 months ago
XBiT: An XML-Based Bitemporal Data Model
Abstract. Past research work on modeling and managing temporal information has, so far, failed to elicit support in commercial database systems. The increasing popularity of XML oï...
Fusheng Wang, Carlo Zaniolo
ECAI
2006
Springer
15 years 3 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
INFSOF
2006
120views more  INFSOF 2006»
14 years 11 months ago
A comparison of two approaches to utilizing XML in parametric databases for temporal data
The parametric data model captures an object in terms of a single tuple. This feature eliminates unnecessary self-join operations to combine tuples scattered in a temporal relatio...
Seo-Young Noh, Shashi K. Gadia