ProfileOfResearchers

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

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Multi-dimensional Dynamic Logic Programming
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 2000, SOURCE: CL-2000 Workshop on Computational Logic in Multi-Agent Systems

INDEXED IN:

DBLP

IN MY:

TITLE: Partial models of extended generalized logic programs
AUTHORS: Alferes, JJ ; Herre, H; Pereira, LM ;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861

INDEXED IN:

Scopus

WOS

DBLP

IN MY:

ORCID |

TITLE: Updates plus preferences
AUTHORS: Alferes, JJ ; Pereira, LM;
PUBLISHED: 2000, SOURCE: European Workshop on Logics in Artificial Intelligence, JELIA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1919

INDEXED IN:

Scopus

TITLE: Updates plus preferences Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2000, SOURCE: 7th European Workshop on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1919

INDEXED IN:

WOS

DBLP

IN MY:

ORCID |

TITLE: Continuing research in multi-agent systems
AUTHORS: Decker, K; Fisher, M; Luck, M; Tennenholtz, M; Beer, MD; Bench Capon, TJM; Sixsmith, A; Ghidini, C; Serafini, L; Alonso, E; Norman, TJ; Sierra, C; Jennings, NR; Edmonds, B; Schroeder, M; Mora, I; Alferes, J ; Van Eijk, RM; De Boer, FS; Van Der Hoek, W; Ch J C Meyer; ...More
PUBLISHED: 1999, SOURCE: Knowledge Engineering Review, VOLUME: 14, ISSUE: 3

INDEXED IN:

Scopus

IN MY:

ORCID

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

INDEXED IN:

WOS

DBLP

IN MY:

ORCID |

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

INDEXED IN:

Scopus