Sciweavers

14084 search results - page 329 / 2817
» A Theory for Game Theories
Sort
View
AI
2003
Springer
16 years 1 days ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
Christel Kemke
COCO
2003
Springer
114views Algorithms» more  COCO 2003»
16 years 1 days ago
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
Yijia Chen, Jörg Flum, Martin Grohe
PKDD
2001
Springer
114views Data Mining» more  PKDD 2001»
15 years 11 months ago
A Study on the Hierarchical Data Clustering Algorithm Based on Gravity Theory
This paper discusses the clustering quality and complexities of the hierarchical data clustering algorithm based on gravity theory. The gravitybased clustering algorithm simulates ...
Yen-Jen Oyang, Chien-Yu Chen, Tsui-Wei Yang
CP
1999
Springer
15 years 11 months ago
The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
In this paper we present a Lagrange-multiplier formulation of discrete constrained optimization problems, the associated discrete-space first-order necessary and sufficient condit...
Benjamin W. Wah, Zhe Wu
KI
1999
Springer
15 years 11 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...