3005 search results - page 196 / 601 » Logical Information Systems: from Taxonomies to Logics |
163
click to vote
CATS
2006
15 years 8 months ago
2006
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
189
click to vote
ICAS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
217
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...
167
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
142
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...