T. Przymusinski
AuthID: R-006-GX7
11
TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
INDEXED IN: 
DBLP
DBLP12
TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
INDEXED IN: DBLP
DBLP13
TITLE: Prolegomena to logic programming for non-monotonic reasoning
AUTHORS: Dix, J; Pereira, LM ; Przymusinski, T;
PUBLISHED: 1997, SOURCE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216
AUTHORS: Dix, J; Pereira, LM ; Przymusinski, T;
PUBLISHED: 1997, SOURCE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216
INDEXED IN: 
WOS
WOS14
TITLE: Prolegomena to logic programming for non-monotonic reasoning
AUTHORS: Dix, J; Luís, MP; Przymusinski, TC;
PUBLISHED: 1997, SOURCE: 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
AUTHORS: Dix, J; Luís, MP; Przymusinski, TC;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: 
Scopus
Scopus15
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
16
TITLE: Belief revision in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: Fundamenta Informaticae, VOLUME: 28, ISSUE: 1-2
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: Fundamenta Informaticae, VOLUME: 28, ISSUE: 1-2
INDEXED IN: Scopus DBLP
Scopus DBLP17
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: 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
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: 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
INDEXED IN: Scopus
Scopus18
TITLE: Belief Revision in Non-Monotonic Reasoning
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1995, SOURCE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1995, SOURCE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef19
TITLE: Belief revision in non-monotonic reasoning
AUTHORS: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus20
TITLE: Preface
AUTHORS: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
AUTHORS: Dix, J; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 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
INDEXED IN: Scopus
Scopus