External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 87, Issue 4

    321 -- 342Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh. The SAT+CAS method for combinatorial search with applications to best matrices
    343 -- 360Federico Bergenti, Stefania Monica. A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
    361 -- 372Sebastián A. Grillo. A linear relation between input and first layer in neural networks
    373 -- 393Morteza Ashraphijuo, Xiaodong Wang 0001. Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval
    395 -- 408Dmitry Maximov, Sergey E. Ryvkin. Multi-valued logic in graph transformation theory and self-adaptive systems

    Volume 87, Issue 3

    185 -- 186Eduardo Fermé, Guillermo Ricardo Simari. Introduction to the special issue on belief revision, argumentation, ontologies, and norms
    187 -- 226Ofer Arieli, Annemarie Borg, Jesse Heyninck. A review of the relations between logical argumentation and reasoning with maximal consistency
    227 -- 232Sven Ove Hansson. Impossibility results for belief contraction
    233 -- 257Paulo T. Guerra, Renata Wassermann. Two AGM-style characterizations of model repair
    259 -- 291John Cantwell, Hans Rott. Probability, coherent belief and coherent belief changes
    293 -- 319Juan Carlos Teze, Antoni Perello-Moragues, Lluis Godo, Pablo Noriega. Practical reasoning using values: an argumentative approach based on a hierarchy of values

    Volume 87, Issue 1-2

    1 -- 4Flavio Ferrarotti, Stefan Woltran. Preface
    5 -- 41Christoph Beierle, Steven Kutsch, Kai Sauerwald. Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
    43 -- 82Joachim Biskup, Marcel Preuß. Checking inference-proofness of attribute-disjoint and duplicate-preserving fragmentations
    83 -- 108Katarina Britz, Ivan Varzinczak. Contextual rational closure for defeasible ALC
    109 -- 136Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu. First-order definable counting-only queries
    137 -- 155Xudong Liu, Miroslaw Truszczynski. Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains
    157 -- 184Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht. A framework for comparing query languages in their ability to express boolean queries
    runs on