José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



141
TITLE: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING  Full Text
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
142
TITLE: OPTATIVE REASONING WITH SCENARIO SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
143
TITLE: SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS
AUTHORS: ALFERES, JJ ; DUNG, PM; PEREIRA, LM ;
PUBLISHED: 1993, SOURCE: 2nd 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
144
TITLE: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
145
TITLE: Contradiction Removal Semantics with Explicit Negation
AUTHORS: Luís Moniz Pereira ; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXED IN: DBLP CrossRef
IN MY: DBLP
146
TITLE: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 633
INDEXED IN: WOS
IN MY: ResearcherID
147
TITLE: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: 3RD EUROPEAN WORKSHOP ON LOGICS IN AI ( JELIA 92 ) in LOGICS IN AI, VOLUME: 633
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
148
TITLE: Default theory for Well Founded Semantics with explicit negation
AUTHORS: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Lecture Notes in Computer Science - Logics in AI
INDEXED IN: CrossRef
149
TITLE: Logic Programming for Non-Monotonic Reasoning
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXED IN: DBLP CrossRef
IN MY: DBLP
150
TITLE: On Logic Program Semantics with Two Kinds of Negation
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1992, SOURCE: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
INDEXED IN: DBLP
IN MY: DBLP
Page 15 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