Вы здесь

Главная

Alferes J. J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ 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
СТ 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
СТ 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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Practical Aspects of Declarative Languages: Proc./21th International Symposoum, PADL 2019, Lisbon, Portugal, January 2019 2019 Lecture Notes in Computer Science
  1. Alferes J. J.
  2. Johansson M.
 23.01.2019
СБ Rule Technologies: Research, Tools, and Applications: Proc./10th International Symposium, RuleML 2016, Stone Brook,NY,USA, July 2016 2016 Lecture Notes in Computer Science
  1. Alferes J. J.
  2. Bertossi L.
  3. Governatori G.
  4. Fodor P.
 09.08.2016
СБ Principles and Practice of Semantic Web Reasoning: Revised Selected Papers/4th International Workshop, PPSWR 2006. Budva, Montenegro, June 2006 2006 Lecture Notes in Computer Science
  1. Alferes J. J.
  2. Bailey J.
  3. May W.
  4. Schwertel U.
 20.10.2006
СБ Logics in Artificial Intelligence: Proc./9th European Conference, JELIA 2004. Lisbon, Portugal, September 2004 2004 Lecture Notes in Artificial Intelligence
  1. Alferes J. J.
  2. Leite J.
 26.11.2004
СБ Progress in Artificial Intelligence: Proc./9th Portuguese Conf. on Artificial Intelligence, EPIA 99. Evora, Portugal, September 1999 1999 Lecture Notes in Artificial Intelligence
  1. Barahona P.
  2. Alferes J. J.
 10.12.1999
СБ Logics in Artificial Intelligense: Proc./ European Workshop,JELIA 96. Evora,Portugal,September/October 1996 1996 Lecture Notes in Artificial Intelligence
  1. Alferes J. J.
  2. Pereira L. M.
  3. Orlowska E.
 02.10.1996