Вы здесь

Pereira L. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Semantic Web Logic Programming Tools 2003 Alferes J. J., Damasio C. V., Pereira L. M. Lecture Notes in Computer Science 24.01.2004
М Reasoning with Logic Programming 1996 Alferes J. J., Pereira L. M. Lecture Notes in Artificial Intelligence 02.10.1996
СТ Abduction over 3-valued Extended Logic Programs 1995 Damasio C. V., Pereira L. M. Lecture Notes in Artificial Intelligence 06.07.1995
СТ Counterfactual Reasoning Based on Revising Assumptions 1991 Pereira L. M., Aparicio J. N., Alferes J. J. Logic Programming: Proc./1991 Intern. Symp. 04.01.1995
СТ Improving Backward Execution in the Andorra Family of Languages 1992 Abreu S., Pereira L. M., Codognet P. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ On Logic Program Semantics with Two Kinds of Negation 1992 Alferes J. J., Pereira L. M. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Belief, Provability, and Logic Programs 1994 Alferes J. J., Pereira L. M. Lecture Notes in Artificial Intelligence 28.10.1994
СТ A Framework for Prolog Debugging 1988 Pereira L. M., Calejo M. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 30.09.1994
СТ Nonmonotonic Reasoning with Well Founded Semantics 1991 Pereira L. M., Aparicio J. N., Alferes J. J. Logic Programming: Proc./Eight Intern. Conf. 23.09.1994
СТ Logic Programming for Non-Monotonic Reasoning 1994 Pereira L. M., Aparicio J. N., Alferes J. J. Lecture Notes in Artificial Intelligence 27.07.1994
СТ Contradiction: When Avoidance Equals Removal. Part II 1994 Pereira L. M., Alferes J. J. Lecture Notes in Artificial Intelligence 01.07.1994
СТ Design for AKL with Intelligent Pruning 1994 Abreu S., Pereira L. M. Lecture Notes in Artificial Intelligence 30.06.1994
СТ Contradiction: When Avoidance Equals Removal. Part I 1994 Alferes J. J., Pereira L. M. Lecture Notes in Artificial Intelligence 30.06.1994
СТ Debugging by Diagnosing Assumptions 1993 Pereira L. M., Damasio C. V., Alferes J. J. Lecture Notes in Computer Science 09.12.1993
СТ Diagnosis and Debugging as Contradiction Removal in Logic Programs 1993 Pereira L. M., Damasio C. V., Alferes J. J. Lecture Notes in Artificial Intelligence 13.11.1993
СТ SLWV - A Theorem Prover for Logic Programming 1992 Pereira L. M., Caires L., Alferes J. Lecture Notes in Artificial Intelligence 06.04.1993