1 - 20 von 26Seitengröße: 20
  1. 2024
  2. 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

  3. 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

  4. 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

  5. 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

  6. 2023

  7. 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

  8. 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

  9. 2022
  10. Veröffentlicht

    A parameterized view on the complexity of dependence and independence 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 2021
  17. 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

  18. 2020

  19. 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

  20. 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

  21. 2019
  22. 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

  23. 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

  24. 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

  25. 2018

  26. Brouwer's fan theorem and convexity

    Berger, J. & Svindland, G., Dez. 2018, in: Journal of Symbolic Logic. 83, 4, S. 1363-1375 13 S.

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

  27. Veröffentlicht

    Complexity of propositional logics in team semantic

    Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan. 2018, in: ACM Transactions on Computational Logic. 19, 1, S. 2:1-2:14 14 S., 2.

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

Vorherige 1 2 Nächste