Books in category Mathematics – Logic

  • Abstraction Reformulation and Approximation

    Abstraction, Reformulation, and Approximation
    Berthe Y. Choueiry, Toby Walsh

    This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA).

  • Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Reasoning
    Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina

  • Abstraction Reformulation and Approximation

    Abstraction, Reformulation and Approximation
    Jean-Daniel Zucker, Lorenza Saitta

  • Current Topics in Artificial Intelligence

    Current Topics in Artificial Intelligence
    Roque MarĂ­n

    This book constitutes the thoroughly referred post-proceedings of the 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, held in Santiago de Compostela, Spain in November 2005.

  • Artificial Intelligence in Logic Design

    Artificial Intelligence in Logic Design
    Svetlana N. Yanushkevich

    Second, the book reveals new horizons of logic design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres.

  • Future Directions of Fuzzy Theory and Systems

    Future Directions of Fuzzy Theory and Systems
    Yeung Yam, K. S. Leung

    This monograph includes expanded selected papers presented in the ?Workshop on the Future Directions of Fuzzy Theory and Systems?

  • Nonmonotonic and Inductive Logic

    Nonmonotonic and Inductive Logic
    Klaus P. Jantke, Peter H. Schmitt

    This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990.

  • Logic Based Program Synthesis and Transformation

    Logic Based Program Synthesis and Transformation
    Patricia Hill

    This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, LOPSTR 2005, held in London, UK in September 2005 inconjunction with SAS 2005, the …

  • Logic and Grammar

    Logic and Grammar
    Sylvain Pogodalla, Myriam Quatrini, Christian Retoré

    This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007.

  • Advances in Natural Language Processing

    Advances in Natural Language Processing
    Tapio Salakoski, Filip Ginter, Sampo Pyysalo, Tapio Pahikkala

    This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006.

1 2 3 4 5 Next >