arXiv 2003-11-20 EN Great Expectations. Part I: On the Customizability of Generalized Expected Utility Chu, Francis C. · Halpern, Joseph Y.
arXiv 2003-11-20 EN Logic-Based Specification Languages for Intelligent Software Agents Mascardi, Viviana · Martelli, Maurizio · Sterling, Leon
arXiv 2003-11-20 EN Using Counterfactuals in Knowledge-Based Programming Halpern, Joseph Y. · Moses, Yoram
arXiv 2003-11-13 EN Optimality of Universal Bayesian Sequence Prediction for General Loss and Alphabet Hutter, Marcus
arXiv 2003-11-08 EN A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics Schweimeier, Ralf · Schroeder, Michael
arXiv 2003-11-07 EN Parametric Connectives in Disjunctive Logic Programming Perri, Simona · Leone, Nicola
arXiv 2003-11-05 EN Enhancing a Search Algorithm to Perform Intelligent Backtracking Bruynooghe, Maurice
arXiv 2003-10-31 EN Local-search techniques for propositional logic extended with cardinality constraints Liu, Lengning · Truszczynski, Miroslaw
arXiv 2003-10-24 EN Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation Perri, Simona · Scarcello, Francesco · Leone, Nicola
arXiv 2003-10-13 EN Application of Kullback-Leibler Metric to Speech Recognition Bocharov, Igor · Lukin, Pavel
arXiv 2003-10-05 EN Using Artificial Intelligence for Model Selection Goldstein, Darin · Murray, William · Yang, Binh
arXiv 2003-09-21 EN A Neural Network Assembly Memory Model Based on an Optimal Binary Signal Detection Theory Gopych, Petro M.
arXiv 2003-09-17 EN Model-Based Debugging using Multiple Abstract Models Mayer, Wolfgang · Stumptner, Markus
arXiv 2003-09-09 EN Exploration of RNA Editing and Design of Robust Genetic Algorithms Huang, C. · Rocha, L. M.
