3776 search results - page 603 / 756 » Partition-Based Logical Reasoning |
129
Voted
DLOG
2003
15 years 4 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
133
click to vote
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
232
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
141
Voted
PLPV
2009
ACM
16 years 7 days ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
143
Voted
PEPM
2009
ACM
16 years 7 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...