331 search results - page 25 / 67 » HOLCF: Higher Order Logic of Computable Functions |
282
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
100
Voted
LPAR
2010
Springer
14 years 10 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 ...
134
Voted
JAIR
2008
15 years 11 days 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...
85
Voted
BIRTHDAY
2007
Springer
15 years 6 months 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...
110
Voted
WOLLIC
2010
Springer
15 years 5 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...