1 - 20 von 32Seitengröße: 20
  1. 2025
  2. Veröffentlicht

    Logics with probabilistic team semantics and the Boolean negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 30 März 2025, in: Journal of Logic and Computation. 35, 3, 3.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. 2024
  4. Veröffentlicht

    AbstractSwarm Multi-Agent Logistics Competition: Multi-Agent Collaboration for Improving A Priori Unknown Logistics Scenarios

    Apeldoorn, D., Dockhorn, A. & Panholzer, T., 1 Aug. 2024, GECCO 2024 Companion - Proceedings of the 2024 Genetic and Evolutionary Computation Conference Companion. S. 1-2 2 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  5. Veröffentlicht

    Strong Backdoors for Default Logic

    Fichte, J. K., Meier, A. & Schindler, I., 17 Juni 2024, in: ACM Transactions on Computational Logic. 25, 3, 36 S., 15.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  6. Veröffentlicht

    A computational framework based on the dynamic pipeline approach

    Pasarella, E., Vidal, M. E., Zoltan, C. & Royo Sales, J. P., Juni 2024, in: Journal of Logical and Algebraic Methods in Programming. 139, 21 S., 100966.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  7. Veröffentlicht

    Leibniz on Bodies and Infinities: Rerum Natura and Mathematical Fictions

    Katz, M. G., Kuhlemann, K., Sherry, D. & Ugaglia, M., März 2024, in: Review of Symbolic Logic. 17, 1, S. 36-66 31 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  8. 2023

  9. Putting Paradoxes to Work: Contextuality in Measurement-Based Quantum Computation

    Raussendorf, R., 2 Aug. 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (Hrsg.). Springer Science and Business Media B.V., S. 595-622 28 S. (Outstanding Contributions to Logic; Band 25).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review

  10. Veröffentlicht

    Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework

    Mahmood, Y., Meier, A. & Schmidt, J., 10 Mai 2023, in: ACM Trans. Comput. Log.. 24, 3, S. 26:1-26:25 25 S., 26.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  11. Veröffentlicht

    From Games to Graphs: Evolving Networks in Cultural Evolution

    Baraghith, K., 2023, Synthese Library. Springer Science and Business Media B.V., S. 183-206 24 S. (Synthese Library; Band 478).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review

  12. 2022
  13. Veröffentlicht

    A parameterized view on the complexity of dependence and dependence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dez. 2022, in: J. Log. Comput.. 32, 8, S. 1624-1644 21 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  14. Veröffentlicht

    Enumerating teams in first-order team logics

    Haak, A., Meier, A., Müller, F. & Vollmer, H., Dez. 2022, in: Annals of Pure and Applied Logic. 173, 10, 103163.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  15. Veröffentlicht

    Adjoint maps between implicative semilattices and continuity of localic maps

    Erné, M., Picado, J. & Pultr, A., Mai 2022, in: Algebra universalis. 83, 2, 23 S., 13.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  16. Veröffentlicht

    Nuclear ranges in implicative semilattices

    Erné, M., Mai 2022, in: Algebra universalis. 83, 2, 22 S., 18.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  17. Veröffentlicht

    On Farkas' lemma and related propositions in BISH

    Berger, J. & Svindland, G., Feb. 2022, in: Annals of pure and applied logic. 173, 2, 103059.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  18. Veröffentlicht

    Submodel Enumeration of Kripke Structures in Modal Logic

    Fröhlich, N. & Meier, A., 2022, AiML. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (Hrsg.). S. 391-406 16 S. (Advances in Modal Logic; Band 14).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  19. 2021
  20. Veröffentlicht

    Parameterized complexity of abduction in Schaefer's framework

    Mahmood, Y., Meier, A. & Schmidt, J., Jan. 2021, in: J. Log. Comput.. 31, 1, S. 266-296 31 S., 1.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  21. 2020

  22. Analyzing Theories in the Frame Model

    Kornmesser, S. & Schurz, G., Dez. 2020, in: Erkenntnis. 85, 6, S. 1313-1346 34 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  23. Veröffentlicht

    Satisfiability of modal inclusion logic: Lax and strict semantics

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 10 Jan. 2020, in: ACM Transactions on Computational Logic. 21, 1, S. 1-18 18 S., 7.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  24. 2019
  25. Veröffentlicht

    A model-theoretic characterization of constant-depth arithmetic circuits

    Haak, A. & Vollmer, H., Sept. 2019, in: Annals of Pure and Applied Logic. 170, 9, S. 1008-1029 22 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  26. Veröffentlicht

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., Sept. 2019, in: Journal of logic and computation. 29, 5, S. 605-630 26 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  27. Convexity and unique minimum points

    Berger, J. & Svindland, G., 5 Feb. 2019, in: Archive for mathematical logic. 58, 1-2, S. 27-34 8 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Vorherige 1 2 Nächste