331 search results - page 25 / 67 » HOLCF: Higher Order Logic of Computable Functions |
450
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
164
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
187
click to vote
JAIR
2008
15 years 5 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
145
click to vote
BIRTHDAY
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
165
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...