( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Subject-oriented spatial logic.

, и . Inf. Comput., (2021)

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.

Susanne Zawidzki

Michal Olszewski

Michal Pejko

Michal Fic

Michal Novotny

 

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

Hybrid Modal Operators for Definite Descriptions., и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 712-726. Springer, (2023)Finite Materialisability of Datalog Programs with Metric Temporal Operators., , и . J. Artif. Intell. Res., (2023)From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics., и . AI*IA, том 11946 из Lecture Notes in Computer Science, стр. 116-131. Springer, (2019)A Modal Logic for Subject-Oriented Spatial Reasoning., и . TIME, том 147 из LIPIcs, стр. 4:1-4:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Qualitative Physics in Angry Birds., , и . IEEE Trans. Comput. Intellig. and AI in Games, 8 (2): 152-165 (2016)Subject-oriented spatial logic., и . Inf. Comput., (2021)Tableau-based Decision Procedure for the Logic SCI., и . OVERLAY@AI*IA, том 2509 из CEUR Workshop Proceedings, стр. 23-28. CEUR-WS.org, (2019)Computing All Facts Entailed By An LTL Specification., , и . KR, стр. 679-689. (2023)Finitely Materialisable Datalog Programs with Metric Temporal Operators., , и . KR, стр. 619-628. (2021)Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity., , и . CADE, том 12699 из Lecture Notes in Computer Science, стр. 41-57. Springer, (2021)