( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hypothetical Reasoning with Well Founded Semantics.

, , и . SCAI, том 12 из Frontiers in Artificial Intelligence and Applications, стр. 289-300. IOS Press, (1991)

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

 

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

Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems., , , и . AAMAS, стр. 1422-1430. ACM, (2017)Automated Reasoning in Geometry Theorem Proving with Prolog., и . J. Autom. Reason., 2 (4): 329-390 (1986)Tabling Abduction., и . TAPD, стр. 75-82. (1998)Contradiction Removal within Well Founded Semantics., , и . LPNMR, стр. 105-119. The MIT Press, (1991)Representing a Computer Science Research Organization on the ACM Computing Classification System., , и . ICCS Supplement, том 354 из CEUR Workshop Proceedings, стр. 57-65. CEUR-WS.org, (2008)SLWV - A Theorem Prover for Logic Programming., , и . ELP, том 660 из Lecture Notes in Computer Science, стр. 1-23. Springer, (1992)Proactive Intention Recognition for Home Ambient Intelligence., и . Intelligent Environments (Workshops), том 8 из Ambient Intelligence and Smart Environments, стр. 91-100. IOS Press, (2010)On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints., , и . EPIA, том 2258 из Lecture Notes in Computer Science, стр. 276-289. Springer, (2001)What Is Believed Is What Is Explained (Sometimes)., и . AAAI/IAAI, Vol. 1, стр. 550-555. AAAI Press / The MIT Press, (1996)A Regulation Dilemma in Artificial Intelligence Development., , , и . ALIFE, стр. 65. MIT Press, (2021)