( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Talkin'bout Consistency, or: When Logically Possible Becomes Possible.

, , и . FAPR, том 1085 из Lecture Notes in Computer Science, стр. 141-150. Springer, (1996)

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.

Pedro López Fariñas

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

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

Deterministic Modal Logics for Automated Deduction., и . ECAI, стр. 262-267. (1990)A Deduction Method for Modal Logic.. ECAI, стр. 60-61. (1982)Qualitative Relevance and Independence: A Roadmap., , , и . IJCAI (1), стр. 62-67. Morgan Kaufmann, (1997)Automated Reasoning in Metabolic Networks with Inhibition., , и . AI*IA, том 8249 из Lecture Notes in Computer Science, стр. 37-47. Springer, (2013)MOLOG: a Modal PROLOG., , и . CADE, том 310 из Lecture Notes in Computer Science, стр. 762-763. Springer, (1988)Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning., , и . CoRR, (2019)Un Principe de Résolution en Logique Modale.. RAIRO Theor. Informatics Appl., 18 (2): 161-170 (1984)DAL - A Logic for Data Analysis., и . Theor. Comput. Sci., (1985)A Decision Method for Duration Calculus., и . RelMiCS, стр. 31-44. (2000)Corrigendum: DAL-A Logic for Data Analysis., и . Theor. Comput. Sci., 47 (3): 345 (1986)see: TCS 36(2, 3)(1985) 251-264.