Programming, Logic and Intelligent Systems

Filter
Preface/postscript

Search results

  • 2023

    Preface

    Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (eds.). Festschrift ed. Springer, Vol. 13160 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch

  • 2012

    Preface

    Bolander, T., Braüner, T., Ghilardi, S. & Moss, L., 2012, Advances in Modal Logic. Bolander, T. (ed.). London: College Publications, Vol. 9. p. viii-x

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearchpeer-review

  • 2011

    Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

    Gallagher, J. P. & Gelfond, M., Jul 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 11. (Leibniz International Proceedings in Informatics).

    Research output: Chapter in Book/Report/Conference proceedingPreface/postscriptResearch