arXiv 2004-10-21 EN Interval Neutrosophic Logics: Theory and Applications Wang, Haibin · Smarandache, Florentin · Zhang, Yanqing · Sunderraman, Rajshekhar
arXiv 2004-09-24 EN Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results Isli, Amar
arXiv 2004-09-24 EN A TCSP-like decidable constraint language generalising existing cardinal direction relations Isli, Amar
arXiv 2004-09-14 EN Automatic Generation of CHR Constraint Solvers Abdennadher, Slim · Rigotti, Christophe
arXiv 2004-08-31 EN The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence Bader, Sebastian · Hitzler, Pascal · Hoelldobler, Steffen
arXiv 2004-08-24 EN A CHR-based Implementation of Known Arc-Consistency Alberti, Marco · Gavanelli, Marco · Lamma, Evelina · Mello, Paola +1
arXiv 2004-08-19 EN On computing the fixpoint of a set of boolean equations Kuncak, Viktor · Leino, K. Rustan M.
arXiv 2004-08-18 EN The Arithmetical Complexity of Dimension and Randomness Hitchcock, John M. · Lutz, Jack H. · Terwijn, Sebastiaan A.
arXiv 2004-08-15 EN Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics Villadsen, Jørgen
arXiv 2004-08-05 EN On Generalized Records and Spatial Conjunction in Role Logic Kuncak, Viktor · Rinard, Martin
arXiv 2004-07-29 EN A Sequent Calculus and a Theorem Prover for Standard Conditional Logics Olivetti, Nicola · Pozzato, Gian Luca · Schwind, Camilla
arXiv 2004-07-22 EN PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction Pedicini, M. · Quaglia, F.
arXiv 2004-07-19 EN Preferred Answer Sets for Ordered Logic Programs Van Nieuwenborgh, Davy · Vermeir, Dirk
