11
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
INDEXADO EM: DBLP
12
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
INDEXADO EM: DBLP
13
TÍTULO: Prolegomena to logic programming for non-monotonic reasoning
AUTORES: Dix, J; Pereira, LM ; Przymusinski, T;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216
INDEXADO EM: WOS
14
TÍTULO: Prolegomena to logic programming for non-monotonic reasoning
AUTORES: Dix, J; Luís, MP; Przymusinski, TC;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1216
INDEXADO EM: Scopus
15
TÍTULO: Strong and explicit negation in non-monotonic reasoning and logic programming  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXADO EM: WOS DBLP CrossRef
16
TÍTULO: Belief revision in non-monotonic reasoning and logic programming
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: Fundamenta Informaticae, VOLUME: 28, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP
17
TÍTULO: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1126
INDEXADO EM: Scopus
18
TÍTULO: Belief Revision in Non-Monotonic Reasoning
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1995, FONTE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXADO EM: DBLP CrossRef
19
TÍTULO: Belief revision in non-monotonic reasoning
AUTORES: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXADO EM: Scopus
20
TÍTULO: Preface
AUTORES: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLICAÇÃO: 1995, FONTE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
INDEXADO EM: Scopus
Página 2 de 2. Total de resultados: 20.