2501 search results - page 230 / 501 » Logics with Rank Operators |
149
click to vote
TASE
2007
IEEE
16 years 1 days ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
169
click to vote
TLCA
2007
Springer
15 years 12 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...
159
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
168
click to vote
PPDP
2007
Springer
15 years 12 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
164
click to vote
JANCL
2008
15 years 5 months ago
2008
This paper employs epistemic logic to investigate the philosophical foundations of Bayesian updating in belief revision. By Bayesian updating, we understand the tenet that an agen...