Ken Satoh:
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure.
Marc Denecker:
Extending Classical Logic with Inductive Definitions.
Adnan Darwiche:
On the tractable counting of theory models and its application to belief revision and truth maintenance.
Lek-Heng Lim:
Security of the Cao-Li Public Key Cryptosystem.
Marc Denecker:
A note on the Declarative reading(s) of Logic Programming.
Oleg Kiselyov:
A network file system over HTTP: remote access and modification of files and "files".
Oleg Kiselyov,
Paul Fisher:
Image Compression with Iterated Function Systems, Finite Automata and Zerotrees: Grand Unification.
James A. Hoagland:
Specifying and Implementing Security Policies Using LaSCO, the Language for Security Constraints on Objects.
Charlie Volkstorf:
Axiomatic Synthesis of Computer Programs and Computability Theorems.
Gosse Bouma:
A Finite State and Data-Oriented Method for Grapheme to Phoneme Conversion.
Péter Gács:
Reliable Cellular Automata with Self-Organization.
Lance Fortnow:
One Complexity Theorist's View of Quantum Computing.
data released under the ODC-BY 1.0 license
