Sciweavers

2097 search results - page 257 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
DAWAK
2003
Springer
15 years 9 months ago
CPM: A Cube Presentation Model for OLAP
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...
Andreas S. Maniatis, Panos Vassiliadis, Spiros Ski...
FAABS
2004
Springer
15 years 8 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
FLAIRS
2006
15 years 5 months ago
A Note on Comparing Semantics for Conditionals
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...
Christoph Beierle, Gabriele Kern-Isberner
SEBD
2003
98views Database» more  SEBD 2003»
15 years 5 months ago
PAtterns for Next-generation DAtabase systems: preliminary results of the PANDA project
Nowadays, the vast volume of collected digital data obliges us to employ processing methods like pattern recognition and data mining in order to reduce the complexity of data manag...
Ilaria Bartolini, Elisa Bertino, Barbara Catania, ...
ACL
1997
15 years 5 months ago
Representing Constraints with Automata
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic second order ...
Frank Morawietz, Tom Cornell