Sciweavers

2097 search results - page 279 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
ATAL
2009
Springer
15 years 11 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
ICDM
2008
IEEE
130views Data Mining» more  ICDM 2008»
15 years 10 months ago
Mining Temporal Patterns with Quantitative Intervals
In this paper we consider the problem of discovering frequent temporal patterns in a database of temporal sequences, where a temporal sequence is a set of items with associated da...
Thomas Guyet, Rene Quiniou
AGILEDC
2007
IEEE
15 years 10 months ago
Towards Extreme(ly) Usable Software: Exploring Tensions Between Usability and Agile Software Development
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
Jason Chong Lee, D. Scott McCrickard
CBMS
2007
IEEE
15 years 10 months ago
Managing Conceptual Revisions in a Temporal Fungal Taxonomy
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
Arash Shaban-Nejad, Volker Haarslev
FBIT
2007
IEEE
15 years 10 months ago
Classification of Cell Membrane Proteins
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
Seyed Koosha Golmohammadi, Lukasz A. Kurgan, Brend...