( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Implementation of a Tableau-based Satisfiability Checker for HS3.

, , и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 326-340. CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Manuel Muñoz-Expósito

Juan Muñoz

Pedro Pablo Muñoz Pradas

Manuel Muñoz-Expósito

Iván Muñoz Duthil

 

Другие публикации лиц с тем же именем

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance., , и . CAEPIA, том 4788 из Lecture Notes in Computer Science, стр. 210-219. Springer, (2007)Fuzzy Halpern and Shoham's interval temporal logics., , , , и . Fuzzy Sets Syst., (марта 2023)Undecidability of Chop., , и . TIME, стр. 79-89. IEEE Computer Society, (2015)Galois Connections Between Unbalanced Structures in a Fuzzy Framework., , , и . IPMU (3), том 1239 из Communications in Computer and Information Science, стр. 736-747. Springer, (2020)An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance., , и . PRICAI, том 5351 из Lecture Notes in Computer Science, стр. 128-139. Springer, (2008)Towards Interval Temporal Logic Rule-Based Classification., , , , и . OVERLAY@AI*IA, том 2509 из CEUR Workshop Proceedings, стр. 65-70. CEUR-WS.org, (2019)Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection., , , и . CLA, том 3308 из CEUR Workshop Proceedings, стр. 9-18. CEUR-WS.org, (2022)A Movement Control System Based on Qualitative Reasoning., и . SOCO, том 368 из Advances in Intelligent Systems and Computing, стр. 179-189. Springer, (2015)Fast(er) Reasoning in Interval Temporal Logic., , и . CSL, том 82 из LIPIcs, стр. 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)On the Complexity of Fragments of Horn Modal Logics., , и . TIME, стр. 186-195. IEEE Computer Society, (2016)