2138 search results - page 68 / 428 » Logical Step-Indexed Logical Relations |
JOLLI
2006
14 years 10 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
ADBIS
2005
Springer
15 years 3 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...
ASP
2003
Springer
15 years 3 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 ...
ILP
2007
Springer
15 years 4 months ago
2007
Springer
Research over the past several decades in learning logical and probabilistic models has greatly increased the range of phenomena that machine learning can address. Recent work has ...