85 search results - page 2 / 17 » Reimagining literate programming |
AMAI
2002
Springer
13 years 5 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
OWLED
2008
13 years 7 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
ANLP
1997
13 years 6 months ago
1997
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
FOIKS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
IJCAI
1997
13 years 6 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...