85 search results - page 8 / 17 » Reimagining literate programming |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
A "pairing function" J associates a unique natural number z to any two natural numbers x,y such that for two "unpairing functions" K and L, the equalities K(J(x...
CORR
2004
Springer
13 years 6 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
ICLP
2004
Springer
14 years 2 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
PADL
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Book
"This book is primarily intended to be a text for the programming component in an introductory two semester computer science course (some materials are a little advanced and m...