T. Przymusinski
AuthID: R-006-GX7
1
TÃTULO: LUPS - A language for updating logic programs Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in ARTIFICIAL INTELLIGENCE, VOLUME: 138, NÚMERO: 1-2
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2002, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in ARTIFICIAL INTELLIGENCE, VOLUME: 138, NÚMERO: 1-2
2
TÃTULO: A Language for Multi-dimensional Updates
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) in Electr. Notes Theor. Comput. Sci., VOLUME: 70, NÚMERO: 5
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: CLIMA'2002, Computational Logic in Multi-Agent Systems (FLoC Satellite Event) in Electr. Notes Theor. Comput. Sci., VOLUME: 70, NÚMERO: 5
3
TÃTULO: A Language for Updates with Multiple Dimensions PDF
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
AUTORES: João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 2002, FONTE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.
INDEXADO EM: 
DBLP
DBLP4
TÃTULO: Dynamic updates of non-monotonic knowledge bases Full Text
AUTORES: Alferes, JJ ; Leite, JA ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 45, NÚMERO: 1-3
AUTORES: Alferes, JJ ; Leite, JA ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 45, NÚMERO: 1-3
5
TÃTULO: Dynamic knowledge representation and its applications
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence - Methodology, Systems, and Applications (AIMSA 2000) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, VOLUME: 1904
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence - Methodology, Systems, and Applications (AIMSA 2000) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, VOLUME: 1904
6
TÃTULO: Dynamic knowledge representation and its applications
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904
INDEXADO EM: 
Scopus
Scopus7
TÃTULO: LUPS - A language for updating logic programs Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXADO EM: 
WOS DBLP
WOS DBLP8
TÃTULO: Preliminary exploration on actions as updates
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski; Halina Przymusinska; Paulo Quaresma ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski; Halina Przymusinska; Paulo Quaresma ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXADO EM: DBLP
DBLP9
TÃTULO: LUPS—a language for updating logic programs
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef10
TÃTULO: 'Classical' negation in nonmonotonic reasoning and logic programming Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1998, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1998, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
