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