699 search results - page 5 / 140 » A Computational Model for Functional Logic Deductive Databas... |
ISMB
1994
13 years 8 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...
AISC
2004
Springer
14 years 26 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
JAPLL
2010
13 years 5 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
REX
1991
13 years 11 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...