8228 search results - page 174 / 1646 » Structural Logical Relations |
123
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
144
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
159
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
117
click to vote
ADBIS
2005
Springer
15 years 10 months ago
2005
Springer
We present a query language called MDatalog, which is an extension of Datalog for multimodal deductive databases. We define modal relational algebras and give the seminaive evalua...
133
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...