Filter
Kapitel i bog

Søgeresultater

  • 2024

    Approximation Fixpoint Theory in Coq: With an Application to Logic Programming

    Bogaerts, B. & Cruz-Filipe, L., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Capretta, V., Krebbers, R. & Wiedijk, F. (red.). Springer Science+Business Media, s. 84-99 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14560 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

  • Sustainable Software for Greener Screenwriting

    Philipsen, H., Cruz-Filipe, L. & Chiarandini, M., 2024, (Accepteret/In press) Mediation of Sustainability : The United Nations Sustainable Development Goals, Media Practice, Public Discourse, and Social Action. Rowman & Littlefield Publishers, Inc., Bind 2. 15 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review

  • 2015

    Design Patterns for Description-logic Programs

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2015, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers. Fred, A., Dietz, J. L. G., Liu, K. & Filipe, J. (red.). Springer, s. 199-214 (Communications in Computer and Information Science, Bind 454).

    Publikation: Kapitel i bog/rapport/konference-proceedingKapitel i bogForskningpeer review