151
TITLE: Representing and reasoning about concurrent actions with abductive logic programs  Full Text
AUTHORS: Li, RW; Pereira, LM ;
PUBLISHED: 1997, SOURCE: El Paso Shell Oil Symposium on Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions, in Honor of the 50th Birthday of Professor Michael Gelfond in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 21, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
152
TITLE: REVISE: Logic programming and diagnosis  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ; Schroeder, M;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXED IN: WOS
153
TITLE: REVISE: Logic Programming and Diagnosis
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in LPNMR, VOLUME: 1265
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
154
TITLE: Update-programs can update programs
AUTHORS: Alferes, JJ ; Pereira, LM ;
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 DBLP CrossRef: 15
155
TITLE: A deliberative and reactive diagnosis agent based on logic programming
AUTHORS: Schroeder, M; Mora, ID; Pereira, LM ;
PUBLISHED: 1996, SOURCE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: WOS DBLP CrossRef: 5
IN MY: ORCID
156
TITLE: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
AUTHORS: Michael Schroeder; Iara de Almeida Móra; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: ATAL
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID
157
TITLE: Belief Revision in Non-Monotonic Reasoning and Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1996, SOURCE: Fundam. Informaticae, VOLUME: 28, ISSUE: 1-2
INDEXED IN: Scopus DBLP
IN MY: ORCID
158
TITLE: Default Negated Conclusions: Why Not?
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in ELP, VOLUME: 1050
INDEXED IN: Scopus DBLP CrossRef: 7
159
TITLE: Enabling computer applications in residential environments
AUTHORS: daRocha, NP ; Oliveira, JL ; Pereira, LM ; Saragoca, E;
PUBLISHED: 1996, SOURCE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL
INDEXED IN: Scopus WOS
160
TITLE: Knowledge-Based Situated Agents Among Us: A Preliminary Report
AUTHORS: Renwei Li; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: ATAL, VOLUME: 1193
INDEXED IN: Scopus DBLP CrossRef
Page 16 of 23. Total results: 228.