arXiv 2002-07-09 EN Intuitions and the modelling of defeasible reasoning: some case studies Prakken, Henry
arXiv 2002-07-04 EN Improving Web Database Access Using Decision Diagrams Popel, Denis V. · Al-Hakeem, Nawar
arXiv 2002-06-15 EN Sierpinski Gaskets for Logic Functions Representation Popel, Denis V. · Dani, Anita
arXiv 2002-06-03 EN Characterization of Strongly Equivalent Logic Programs in Intermediate Logics de Jongh, Dick · Hendriks, Lex
arXiv 2002-05-11 EN Computing stable models: worst-case performance estimates Lonc, Zbigniew · Truszczynski, Miroslaw
arXiv 2002-05-03 EN The prospects for mathematical logic in the twenty-first century Buss, Samuel R. · Kechris, Alexander S. · Pillay, Anand · Shore, Richard A.
arXiv 2002-04-22 EN Some applications of logic to feasibility in higher types Ignjatovic, Aleksandar · Sharma, Arun
arXiv 2002-04-17 EN Precongruence Formats for Decorated Trace Semantics Bloom, B. · Fokkink, W. J. · van Glabbeek, R. J.
arXiv 2002-04-12 EN A Dynamic Approach to Characterizing Termination of General Logic Programs Shen, Yi-Dong · You, Jia-Huai · Yuan, Li-Yan · Shen, Samuel S. P. +1
arXiv 2002-03-11 EN Representing and Aggregating Conflicting Beliefs Maynard-Reid II, Pedrito · Lehmann, Daniel
arXiv 2002-03-04 EN Composing Programs in a Rewriting Logic for Declarative Programming Molina, Juan M. · Pimentel, Ernesto
arXiv 2002-02-25 EN Equivalence and Isomorphism for Boolean Constraint Satisfaction Boehler, E. · Hemaspaandra, E. · Reith, Steffen · Vollmer, Heribert
arXiv 2002-02-04 EN A Refinement Calculus for Logic Programs Hayes, Ian · Colvin, Robert · Hemer, David · Strooper, Paul +1
