José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



151
TITLE: SLWV - A Theorem Prover for Logic Programming
AUTHORS: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, VOLUME: 660
INDEXED IN: DBLP CrossRef: 1
IN MY: DBLP
152
TITLE: WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1992, SOURCE: 10TH EUROPEAN CONF ON ARTIFICIAL INTELLIGENCE ( ECAI-92 ) in ECAI 92 - 10TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE : PROCEEDINGS
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
153
TITLE: A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, J ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
154
TITLE: CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 1ST INTERNATIONAL WORKSHOP ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
155
TITLE: COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: INTERNATIONAL SYMP ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE 1991 INTERNATIONAL SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
156
TITLE: Counterfactual reasoning based on revising assumptions
AUTHORS: Pereira Luis Moniz; Aparicio Joaquim Nunes; Alferes Jose Julio ;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium
INDEXED IN: Scopus
IN MY: ORCID
157
TITLE: Derivation Procedures for Extended Stable Models
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1991, SOURCE: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991
INDEXED IN: DBLP
IN MY: DBLP
158
TITLE: HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
159
TITLE: NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: 8TH INTERNATIONAL CONF ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
160
TITLE: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
Page 16 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