( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contradiction Removal Semantics with Explicit Negation.

, , и . Logic at Work, том 808 из Lecture Notes in Computer Science, стр. 91-105. Springer, (1992)

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.

Gabriel Moniz Pereira

Luís Alberto Pereira

Luís Filipe Domingos Pereira Figueiredo

Werner Luis

Luís Damas

 

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

Tabling Abduction., и . TAPD, стр. 75-82. (1998)Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems., , , и . AAMAS, стр. 1422-1430. ACM, (2017)Properties of Stable Model Semantics Extensions., и . CoRR, (2014)Contradiction Removal within Well Founded Semantics., , и . LPNMR, стр. 105-119. The MIT Press, (1991)Automated Reasoning in Geometry Theorem Proving with Prolog., и . J. Autom. Reason., 2 (4): 329-390 (1986)'Classical' Negation in Nonmonotonic Reasoning and Logic Programming., , и . J. Autom. Reason., 20 (1): 107-142 (1998)Non-Monotonic Reasoning with Logic Programming., , и . J. Log. Program., 17 (2/3&4): 227-263 (1993)Contextual Reasoning: Usually Birds Can Abductively Fly., , и . LPNMR, том 10377 из Lecture Notes in Computer Science, стр. 64-77. Springer, (2017)Dynamic Knowledge Representation and Its Applications., , , , и . AIMSA, том 1904 из Lecture Notes in Computer Science, стр. 1-10. Springer, (2000)Prospective Storytelling Agents., и . PADL, том 5937 из Lecture Notes in Computer Science, стр. 294-296. Springer, (2010)