( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TouIST: a Friendly Language for Propositional Logic and More.

, , , , , , и . IJCAI, стр. 5240-5242. ijcai.org, (2020)Demo.

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.

Eduard Olivier

Lucien Olivier

Thomas Olivier

Margarete Olivier

Olivier Blanchard

 

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

Lotrec : The Generic Tableau Prover for Modal and Description Logics., , , , , и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 453-458. Springer, (2001)Translation-Based Deduction Methods for Modal Logics., и . IPMU, том 945 из Lecture Notes in Computer Science, стр. 399-408. Springer, (1994)Modal Tableaux: Completeness vs. Termination., , , и . We Will Show Them! (1), стр. 587-614. College Publications, (2005)Predicate Modal Logics Do Not Mix Very Well.. Math. Log. Q., (1998)A General Framework for Pattern-Driven Modal Tableaux., и . Logic Journal of the IGPL, 10 (1): 51-83 (2002)Forms of meaning, meaning of forms., , , и . J. Exp. Theor. Artif. Intell., 14 (1): 61-74 (2002)LoTREC: Logical Tableaux Research Engineering Companion., , , и . TABLEAUX, том 3702 из Lecture Notes in Computer Science, стр. 318-322. Springer, (2005)Modal Tableaux for Reasoning About Actions and Plans., , и . ECP, том 1348 из Lecture Notes in Computer Science, стр. 104-116. Springer, (1997)Modal tableaux based on graph-rules., , , и . RelMiCS, стр. 37-42. (1998)Translating Inaccessible Worlds Logic into Bimodal Logic., и . ECSQARU, том 747 из Lecture Notes in Computer Science, стр. 145-150. Springer, (1993)