Sciweavers

589 search results - page 102 / 118
» A Language for Multi-dimensional Updates
Sort
View
VLDB
1991
ACM
128views Database» more  VLDB 1991»
15 years 1 months ago
A Functional Programming Approach to Deductive Databases
We introduce a persistentfunctional languagecalled PFL which adapts functional programming to the area of deductive databases,much as logic-based deductive databaselanguagesadapt ...
Alexandra Poulovassilis, Carol Small
FORTE
2008
14 years 11 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
LREC
2008
117views Education» more  LREC 2008»
14 years 11 months ago
Chooser: a Multi-Task Annotation Tool
The paper presents a tool assisting manual annotation of linguistic data developed at the Department of Computational linguistics, IBL-BAS. Chooser is a general-purpose modular ap...
Svetla Koeva, Borislav Rizov, Svetlozara Leseva
JISBD
2003
14 years 11 months ago
Coupling the ontology layer with the resource layer: a rule-based approach
Abstract. Ontology languages are being proposed to provide machine-understandable descriptions of resources that permit easy location of these resource. Content managers can also b...
Jon Iturrioz, Oscar Díaz, Sergio Fern&aacut...
AAAI
2000
14 years 11 months ago
A Consistency-Based Model for Belief Change: Preliminary Report
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
James P. Delgrande, Torsten Schaub