( en | de | ru )

 

Disambiguation of "del Cerro, Luis Fariñas"

Author of the publication

copydeleteadd this publication to your clipboard
Splitting Epistemic Logic Programs.

, , and . CoRR, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

Pedro López Fariñas

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

 

Other publications of authors with the same name

Deterministic Modal Logics for Automated Deduction., and . ECAI, page 262-267. (1990)A Deduction Method for Modal Logic.. ECAI, page 60-61. (1982)Qualitative Relevance and Independence: A Roadmap., , , and . IJCAI (1), page 62-67. Morgan Kaufmann, (1997)Automated Reasoning in Metabolic Networks with Inhibition., , and . AI*IA, volume 8249 of Lecture Notes in Computer Science, page 37-47. Springer, (2013)MOLOG: a Modal PROLOG., , and . CADE, volume 310 of Lecture Notes in Computer Science, page 762-763. Springer, (1988)Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning., , and . 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., and . Theor. Comput. Sci., (1985)A Decision Method for Duration Calculus., and . RelMiCS, page 31-44. (2000)Corrigendum: DAL-A Logic for Data Analysis., and . Theor. Comput. Sci., 47 (3): 345 (1986)see: TCS 36(2, 3)(1985) 251-264.