arXiv 2003-07-30 EN Modeling Belief in Dynamic Systems, Part II: Revisions and Update Friedman, Nir · Halpern, Joseph Y.
arXiv 2003-07-17 EN Bridging the gap between modal temporal logics and constraint-based QSR as an ALC(D) spatio-temporalisation with weakly cyclic TBoxes Isli, Amar
arXiv 2003-07-09 EN Transformations of Logic Programs with Goals as Arguments Pettorossi, Alberto · Proietti, Maurizio
arXiv 2003-06-27 EN The Complexity of Boolean Constraint Isomorphism Böhler, Elmar · Hemaspaandra, Edith · Reith, Steffen · Vollmer, Heribert
arXiv 2003-06-19 EN Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures Wang, Farn
arXiv 2003-06-09 EN Quanta: a Language for Modeling and Manipulating Information Structures Long, Bruce
arXiv 2003-06-07 EN A Transformational Decision Procedure for Non-Clausal Propositional Formulas Sakharov, Alexander
arXiv 2003-05-27 EN Applications of Intuitionistic Logic in Answer Set Programming Osorio, Mauricio · Navarro, Juan Antonio · Arrazola, Jose
arXiv 2003-03-20 EN An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables Boigelot, Bernard · Jodogne, Sebastien · Wolper, Pierre
arXiv 2003-01-24 EN Double-Negation Elimination in Some Propositional Logics Beeson, Michael · Veroff, Robert · Wos, Larry
arXiv 2003-01-09 EN Formal Concept Analysis and Resolution in Algebraic Domains Hitzler, Pascal · Wendt, Matthias
