arXiv 2004-02-18 EN Anonymity and Information Hiding in Multiagent Systems Halpern, Joseph Y. · O'Neill, Kevin R.
arXiv 2004-02-17 EN Towards a Mathematical Theory of the Delays of the Asynchronous Circuits Vlad, Serban E.
arXiv 2004-02-09 EN Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion Hitzler, Pascal
arXiv 2004-02-03 EN Encapsulation for Practical Simplification Procedures Matlin, Olga Shumsky · McCune, William
arXiv 2004-01-20 EN Query Answering in Peer-to-Peer Data Exchange Systems Bertossi, Leopoldo · Bravo, Loreto
arXiv 2003-12-20 EN Representation Dependence in Probabilistic Inference Halpern, Joseph Y. · Koller, Daphne
arXiv 2003-12-19 EN On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems Teniente, Ernest · Urpi, Toni
arXiv 2003-12-17 EN Responsibility and blame: a structural-model approach Chockler, Hana · Halpern, Joseph Y.
arXiv 2003-12-17 EN What Causes a System to Satisfy a Specification? Chockler, Hana · Halpern, Joseph Y. · Kupferman, Orna
arXiv 2003-12-15 EN Minimal founded semantics for disjunctive logic programs and deductive databases Furfaro, Filippo · Greco, Gianluigi · Greco, Sergio
arXiv 2003-12-15 EN Strong Equivalence Made Easy: Nested Expressions and Weight Constraints Turner, Hudson
arXiv 2003-12-07 EN Logical Characterizations of Heap Abstractions Yorsh, G. · Reps, T. · Sagiv, M. · Wilhelm, R.
arXiv 2003-12-07 EN Soft lambda-calculus: a language for polynomial time computation Baillot, Patrick · Mogbil, Virgile
arXiv 2003-12-05 EN Methods to Model-Check Parallel Systems Software Matlin, Olga Shumsky · McCune, William · Lusk, Ewing
arXiv 2003-11-27 EN Combining Logic Programs and Monadic Second Order Logics by Program Transformation Fioravanti, F. · Pettorossi, A. · Proietti, M.
