116 search results - page 5 / 24 » Interpretive Reasoning with Hypothetical Cases |
196
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
109
Voted
EWCBR
2006
Springer
15 years 3 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
103
Voted
FLAIRS
2004
15 years 1 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
103
Voted
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
93
Voted
CSL
2004
Springer
15 years 5 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...