arXiv 2003-12-22 EN On the Expressibility of Stable Logic Programming Marek, Victor W. · Remmel, Jeffrey B.
arXiv 2003-12-22 EN Dialogue as Discourse: Controlling Global Properties of Scripted Dialogue Piwek, Paul · van Deemter, Kees
arXiv 2003-12-22 EN Towards Automated Generation of Scripted Dialogue: Some Time-Honoured Strategies Piwek, Paul · van Deemter, Kees
arXiv 2003-12-20 EN Representation Dependence in Probabilistic Inference Halpern, Joseph Y. · Koller, Daphne
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 Speedup of Logic Programs by Binarization and Partial Deduction Hruza, Jan · Stepanek, Petr
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-11-28 EN A Situation Calculus-based Approach To Model Ubiquitous Information Services Wen-Yu, Dong · Ke, Xu · Meng-Xiang, Lin
arXiv 2003-11-28 EN Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation Isli, Amar
arXiv 2003-11-28 EN Data mining and Privacy in Public Sector using Intelligent Agents (discussion paper) Voskob, Max · Punin, Nuck
arXiv 2003-11-27 EN Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search Wolff, J Gerard
arXiv 2003-11-27 EN Turning CARTwheels: An Alternating Algorithm for Mining Redescriptions Kumar, Deept · Ramakrishnan, Naren · Potts, Malcolm · Helm, Richard F.
arXiv 2003-11-20 EN Great Expectations. Part I: On the Customizability of Generalized Expected Utility Chu, Francis C. · Halpern, Joseph Y.
