Volumes and issues

• Volume 88 March - September 2020

  • September 2020, issue 9
  • August 2020, issue 8
  • July 2020, issue 7

    SELECTED PAPERS FROM ISAIM 2018: THE FIFTEENTH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS

  • June 2020, issue 5-6

    Festschrift in honor of Oliviero Stock

  • April 2020, issue 4
  • March 2020, issue 1-3

• Volume 87 October - December 2019

  • December 2019, issue 4
  • November 2019, issue 3

    Belief Revision and Computational Argumentation

  • October 2019, issue 1-2

    10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018)

• Volume 86 July - August 2019

  • August 2019, issue 4
  • July 2019, issue 1-3

    Answer Set Programming and Other Computing Paradigms

• Volume 85 January - April 2019

  • April 2019, issue 2-4

    Formalization of Geometry, Automated and Interactive Geometric Reasoning

  • January 2019, issue 1

• Volume 84 October - December 2018

  • December 2018, issue 3-4
  • October 2018, issue 1-2

    Multi-Agent Programming Contest 2017

• Volume 83 May - August 2018

  • August 2018, issue 3-4

    Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2016

  • June 2018, issue 2
  • May 2018, issue 1

• Volume 82 March - April 2018

  • April 2018, issue 4

    Selected Papers from ISAIM 2016: The Fourteenth International Symposium on Artificial Intelligence and Mathematics

  • March 2018, issue 1-3

    Ontologies and Logic Programming for Query Answering

• Volume 81 October - December 2017

  • December 2017, issue 3-4
  • October 2017, issue 1-2

    Conformal and Probabilistic Prediction with Applications

• Volume 80 May - August 2017

  • August 2017, issue 3-4
  • June 2017, issue 2
  • May 2017, issue 1

    Artificial Intelligence and Symbolic Computation: Selected papers from AISC 2014

• Volume 79 March - April 2017

  • April 2017, issue 4
  • March 2017, issue 1-3

    Selected Papers from ISAIM 2014: The Thirteenth International Symposium on Artificial Intelligence and Mathematics

• Volume 78 September - December 2016

  • December 2016, issue 3-4

    Belief Change and Argumentation in Multi-Agent Scenarios

  • October 2016, issue 2
  • September 2016, issue 1

    Multi-Agent Systems: Selected Papers from EUMAS-2014

• Volume 77 June - August 2016

  • August 2016, issue 3-4

    Preferences and Computational Social Choice

  • June 2016, issue 1-2

• Volume 76 February - April 2016

  • April 2016, issue 3-4

    Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2014

  • February 2016, issue 1-2

    Learning and Intelligent Optimization: Selected Papers from the LION 8 conference

• Volume 75 October - December 2015

  • December 2015, issue 3-4
  • October 2015, issue 1-2

    Combinatorial and Discrete Geometric Problems in Image Analysis

• Volume 74 June - August 2015

  • August 2015, issue 3-4

    GEOMETRIC REASONING

  • June 2015, issue 1-2

    Conformal Prediction and its Applications

• Volume 73 January - April 2015

  • April 2015, issue 3-4
  • January 2015, issue 1-2

    Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2012

• Volume 72 October - November 2014

  • November 2014, issue 3-4
  • October 2014, issue 1-2

    Concept Lattices and their Applications (Selected Papers from CLA-2012)

• Volume 71 July - August 2014

  • August 2014, issue 4

    Selected papers from the 2012 International Symposium on Artificial Intelligence and Mathematics

  • July 2014, issue 1-3

    INTERVAL TEMPORAL LOGICS

• Volume 70 February - April 2014

  • April 2014, issue 4

    Special Issue: Application of Constraints to Formal Verification and Artificial Intelligence

  • March 2014, issue 3
  • February 2014, issue 1-2

    Special Issue: “Concept Lattices and their Applications” (selected papers from CLA-2011)”

• Volume 69 September - December 2013

  • December 2013, issue 4

    Special Issue: Local Pattern Mining

  • November 2013, issue 3
  • October 2013, issue 2

    Special Issue: Learning and Intelligent Optimization: Selected Papers from LION 6

  • September 2013, issue 1

    Logics of Uncertainty

• Volume 68 July - August 2013

  • August 2013, issue 4

    Revised Selected Papers of the LION 5 Conference

  • July 2013, issue 1-3

    Special Issue: Algorithms, approximation, and empirical studies in behavioral and computational social choice

• Volume 67 January - March 2013

  • March 2013, issue 3-4
  • February 2013, issue 2
  • January 2013, issue 1

• Volume 66 December 2012

  • December 2012, issue 1-4

    Special Issue: New Developments in Reactive Semantics

• Volume 65 May - August 2012

  • August 2012, issue 4
  • July 2012, issue 2-3

    Special Issue: Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2010

  • May 2012, issue 1

• Volume 64 January - April 2012

  • April 2012, issue 4

    Special Issue: Applications of Computer Algebra

  • March 2012, issue 2-3

    Special Issue: Scalable Uncertainty Management

  • January 2012, issue 1

• Volume 63 September - December 2011

  • December 2011, issue 3-4

    Special Issue: Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2008

  • October 2011, issue 2
  • September 2011, issue 1

    Special Issue: Formal Methods in Aerospace

• Volume 62 June - July 2011

  • July 2011, issue 3-4

    Special Issue: Experimental evaluation of algorithms for solving problems with combinatorial explosion

  • June 2011, issue 1-2

    Special Issue:Computational logics in Multi-agent Systems (CLIMA XI)

• Volume 61 January - April 2011

  • April 2011, issue 4

    Special Issue: The Multi-Agent Programming Contest: Environment Interface and Contestants in 2010

  • March 2011, issue 3

    Special Issue:Artificial Intelligence and Mathematics XXXII

  • February 2011, issue 2

    Special Issue: Learning and Intelligent Optimization (Lion 4)

  • January 2011, issue 1

    Special Issue: Essays on Mathematics and AI – Personal Perspectives: Past, Present and Future 20th Anniversary of the Annals of Mathematics and Artificial Intelligence

• Volume 60 October - December 2010

  • December 2010, issue 3-4
  • October 2010, issue 1-2

    Special Issue: Learning and Intelligent Optimization

• Volume 59 May - August 2010

  • August 2010, issue 3-4

    Special Issue: The Multi-Agent Programming Contest: History and Contestants in 2009

  • June 2010, issue 2

    Special Issue: CLA'08 - Concept Lattices and their Applications

  • May 2010, issue 1

• Volume 58 February - April 2010

  • April 2010, issue 3-4

    Special Issue: ARTIFICIAL INTELLIGENCE AND MATHEMATICS XXIX Selected papers from the Tenth International Symposium on Artificial Intelligence and Mathematics

  • February 2010, issue 1-2

    Commonsense Reasoning for the Semantic Web

• Volume 57 September - December 2009

  • December 2009, issue 3-4
  • October 2009, issue 2
  • September 2009, issue 1

    Special Issue Title: Symmetry and Search / Guest Edited by Ian Gent and Tom Kelsey

• Volume 56 May - August 2009

  • August 2009, issue 3-4

    Calmet Birthday Issue / Guest Edited by Julio Rubio and Werner M. Seiler

  • June 2009, issue 2

    BISFAI 2007 / Guest Edited by Gal A. Kaminka and Sarit Kraus

  • May 2009, issue 1

    Special Issue on Artificial Intelligence and Symbolic Computation / Guest Edited by Jacques Calmet and Volker Sorge

• Volume 55 February - April 2009

  • April 2009, issue 3-4
  • February 2009, issue 1-2

    Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt

• Volume 54 November - December 2008

  • December 2008, issue 4

    Marco Somalvico Memorial Issue / Guest Edited by Ephraim Nissan, Giuseppina Gini and Marco Colombetti

  • November 2008, issue 1-3

    Special Issue: Probabilistic Relational Learning / Guest Edited by: M. Jaeger, L. Getoor, K. Kersting

• Volume 53 August 2008

  • August 2008, issue 1-4

    Logic in AI: A Special Issue Dedicated to Victor W. Marek on the Occasion of His 65th birthday

• Volume 52 January - April 2008

  • April 2008, issue 2-4

    Multi-robot Coverage, Search, and Exploration

  • January 2008, issue 1

• Volume 51 September - December 2007

  • December 2007, issue 2-4

    Special Issue in honor of Professor Jack Minker’s 80th birthday

  • September 2007, issue 1

• Volume 50 June - August 2007

  • August 2007, issue 3-4

    Logics in AI: Post-Proceedings of JELIA06

  • June 2007, issue 1-2

    Selected Papers From FOIKS (2006)

• Volume 49 April 2007

  • April 2007, issue 1-4

    Knowledge Discovery and Discrete Mathematics: Dedicated to the Memory of Peter L. Hammer

• Volume 48 September - December 2006

  • December 2006, issue 3-4

    Nonmonotonic Reasoning

  • September 2006, issue 1-2

• Volume 47 June - August 2006

  • August 2006, issue 3-4
  • June 2006, issue 1-2

• Volume 46 February - April 2006

  • April 2006, issue 4
  • March 2006, issue 3
  • February 2006, issue 1-2

• Volume 45 October - December 2005

  • December 2005, issue 3-4
  • October 2005, issue 1-2

• Volume 44 May - August 2005

  • August 2005, issue 4
  • July 2005, issue 3
  • May 2005, issue 1-2

• Volume 43 January 2005

  • January 2005, issue 1-4

• Volume 42 September - December 2004

  • December 2004, issue 4
  • September 2004, issue 1-3

• Volume 41 May - August 2004

  • August 2004, issue 2-4
  • May 2004, issue 1

• Volume 40 January - March 2004

  • March 2004, issue 3-4
  • January 2004, issue 1-2

• Volume 39 September - December 2003

  • December 2003, issue 4
  • November 2003, issue 3
  • September 2003, issue 1-2

• Volume 38 May - August 2003

  • August 2003, issue 4
  • May 2003, issue 1-3

• Volume 37 January - April 2003

  • April 2003, issue 4
  • March 2003, issue 3
  • January 2003, issue 1-2

• Volume 36 September - December 2002

  • December 2002, issue 4
  • November 2002, issue 3
  • September 2002, issue 1-2

• Volume 35 May 2002

  • May 2002, issue 1-4

• Volume 34 March - April 2002

  • April 2002, issue 4
  • March 2002, issue 1-3

• Volume 33 September - December 2001

  • December 2001, issue 2-4
  • September 2001, issue 1

• Volume 32 August 2001

  • August 2001, issue 1-4

• Volume 31 October 2001

  • October 2001, issue 1-4

• Volume 30 June 2000

  • June 2000, issue 1-4

• Volume 29 February 2000

  • February 2000, issue 1-4

• Volume 28 October 2000

  • October 2000, issue 1-4

• Volume 27 April 1999

  • April 1999, issue 1-4

• Volume 26 February 1999

  • February 1999, issue 1-4

• Volume 25 July - November 1999

  • November 1999, issue 3-4
  • July 1999, issue 1-2

• Volume 24 February 1998

  • February 1998, issue 1-4

• Volume 23 September - November 1998

  • November 1998, issue 3-4
  • September 1998, issue 1-2

• Volume 22 February - July 1998

  • July 1998, issue 3-4
  • February 1998, issue 1-2

• Volume 21 August - December 1997

  • December 1997, issue 2-4
  • August 1997, issue 1

• Volume 20 July 1997

  • July 1997, issue 1-4

• Volume 19 March - April 1997

  • April 1997, issue 3-4
  • March 1997, issue 1-2

• Volume 18 March - September 1996

  • September 1996, issue 2
  • March 1996, issue 1

• Volume 17 March - September 1996

  • September 1996, issue 2
  • March 1996, issue 1

• Volume 16 December 1996

  • December 1996, issue 1

• Volume 15 March - September 1995

  • September 1995, issue 3-4
  • June 1995, issue 2
  • March 1995, issue 1

• Volume 14 March - June 1995

  • June 1995, issue 2-4
  • March 1995, issue 1

• Volume 13 March - September 1995

  • September 1995, issue 3-4
  • March 1995, issue 1-2

• Volume 12 March - December 1994

  • December 1994, issue 3-4
  • March 1994, issue 1-2

• Volume 11 March 1994

  • March 1994, issue 1-4

• Volume 10 March - December 1994

  • December 1994, issue 4
  • September 1994, issue 3
  • March 1994, issue 1-2

• Volume 9 March - September 1993

  • September 1993, issue 3-4
  • March 1993, issue 1-2

• Volume 8 September 1993

  • September 1993, issue 3-4
  • September 1993, issue 1-2

• Volume 7 March 1993

  • March 1993, issue 1-4

• Volume 6 March - December 1992

  • December 1992, issue 4
  • March 1992, issue 1-3

• Volume 5 March - June 1992

  • June 1992, issue 2-4
  • March 1992, issue 1

• Volume 4 March - September 1991

  • September 1991, issue 3-4
  • March 1991, issue 1-2

• Volume 3 March - June 1991

  • June 1991, issue 2-4
  • March 1991, issue 1

• Volume 2 March 1990

  • March 1990, issue 1-4

• Volume 1 September 1990

  • September 1990, issue 1-4