Sciweavers

726 search results - page 97 / 146
» Extended Query Answering Using Integrity Rules
Sort
View
JELIA
2004
Springer
14 years 2 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
VLDB
1993
ACM
113views Database» more  VLDB 1993»
14 years 27 days ago
An Active Object-Oriented Database: A Multi-Paradigm Approach to Constraint Management
Mb describe the design and implementation of a constraint management facility for our active object-oriented database system called Jasmine/A. The facility includes integrity cons...
Hiroshi Ishikawa, Kazumi Kubota
VLDB
2005
ACM
113views Database» more  VLDB 2005»
14 years 9 months ago
Mediators over taxonomy-based information sources
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
Yannis Tzitzikas, Nicolas Spyratos, Panos Constant...
IJCIS
2000
40views more  IJCIS 2000»
13 years 8 months ago
Lessons Learned from Applying AI to the Web
Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wid...
Dieter Fensel, Jürgen Angele, Stefan Decker, ...
CAV
2005
Springer
99views Hardware» more  CAV 2005»
14 years 2 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...