( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Free Logic for Stable Models with Partial Intensional Functions.

, , , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 340-354. Springer, (2014)

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

 

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

Modal Logics for Incidence Geometries., , , и . J. Log. Comput., 7 (1): 59-78 (1997)A Model for Reasoning about Bidemsional Temporal Relations., , и . KR, стр. 124-130. Morgan Kaufmann, (1998)Global and Local Graph Modifiers., , , и . M4M, том 231 из Electronic Notes in Theoretical Computer Science, стр. 293-307. Elsevier, (2007)Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates., , , и . Theory Pract. Log. Program., 18 (3-4): 390-405 (2018)Modal Tableaux: Completeness vs. Termination., , , и . We Will Show Them! (1), стр. 587-614. College Publications, (2005)Tableaux Based Decision Procedures for Modal Logics of Confluence and Density., и . Fundam. Informaticae, 40 (4): 317-333 (1999)Possibility Theory and Independence., и . IPMU, том 945 из Lecture Notes in Computer Science, стр. 292-301. Springer, (1994)Metaprogramming Through Intensional Deduction: Some Examples., и . META, том 649 из Lecture Notes in Computer Science, стр. 11-25. Springer, (1992)Interference Logic = Conditional Logic + Frame Axiom., и . ECSQARU, том 747 из Lecture Notes in Computer Science, стр. 105-112. Springer, (1993)Metabolic Pathways as Temporal Logic Programs., , и . JELIA, том 10021 из Lecture Notes in Computer Science, стр. 3-17. (2016)