External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 57, Issue 3-4

    205 -- 231Antonio Hernando. New methods for proving the impossibility to solve problems through reduction of problem spaces
    233 -- 248Dominik Maria Endres, Peter Földiák, Uta Priss. An application of formal concept analysis to semantic neural decoding
    249 -- 291Endre Boros, Ondrej Cepek, Alexander Kogan, Petr Kucera. A subclass of Horn CNFs optimally compressible in polynomial time
    293 -- 320Yehuda Elmaliach, Noa Agmon, Gal A. Kaminka. Multi-robot area patrol under frequency constraints

    Volume 57, Issue 2

    103 -- 124Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowski. Disjunctive databases for representing repairs
    125 -- 160Yi Zhou, Fangzhen Lin, Yan Zhang. General default logic
    161 -- 180Rua-Huan Tsaih, Tsung-Chi Cheng. A resistant learning procedure for coping with outliers
    181 -- 204Ignacio Darío Viglizzo, Fernando A. Tohmé, Guillermo Ricardo Simari. The foundations of DeLP: defeating relations, games and truth values

    Volume 57, Issue 1

    1 -- 35Alastair F. Donaldson, Alice Miller. On the constructive orbit problem
    37 -- 57Pierre Flener, Justin Pearson, Meinolf Sellmann. Static and dynamic structural symmetry breaking
    59 -- 73Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah. Dynamic symmetry-breaking for Boolean satisfiability
    75 -- 102Andrew Grayland, Christopher Jefferson, Ian Miguel, Colva M. Roney-Dougal. Minimal ordering constraints for some families of variable symmetries
    runs on