José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



101
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
INDEXED IN: DBLP
IN MY: DBLP
102
103
TITLE: Well-founded abduction via tabled dual programs
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
104
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
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | ResearcherID | DBLP
105
TITLE: Argumentative and Cooperative Multi-agent System for Extended Logic Programming
AUTHORS: Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1998, SOURCE: Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515
INDEXED IN: DBLP CrossRef
IN MY: DBLP
106
TITLE: Argumentative and cooperative multi-agent system for extended logic programming
AUTHORS: De Almeida Móra, I; Alferes, JJ ;
PUBLISHED: 1998, SOURCE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1515
INDEXED IN: Scopus
IN MY: ORCID
107
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.
INDEXED IN: DBLP
IN MY: DBLP
108
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
INDEXED IN: DBLP
IN MY: DBLP
109
TITLE: Special issue - Logics for artificial intelligence - Preface  Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, ISSUE: 1-2
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
110
TITLE: Tabling Abduction
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
INDEXED IN: DBLP
IN MY: DBLP
Page 11 of 17. Total results: 162.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service