José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



121
TITLE: A logic programming system for nonmonotonic reasoning
AUTHORS: Jos� J�lio Alferes ; Carlos Viegas Dam�sio; Lu�s Moniz Pereira;
PUBLISHED: 1995, SOURCE: J Autom Reasoning - Journal of Automated Reasoning, VOLUME: 14, ISSUE: 1
INDEXED IN: CrossRef
IN MY: ORCID
122
TITLE: An argumentation theoretic semantics based on non-refutable falsity
AUTHORS: Júlio Alferes, J ; Moniz Pereira, L ;
PUBLISHED: 1995, SOURCE: Workshop on Non-Monotonic Extensions of Logic Programming, ICLP 1994 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 927
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
123
TITLE: Belief Revision in Non-Monotonic Reasoning
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1995, SOURCE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: DBLP CrossRef
IN MY: DBLP
124
TITLE: Belief revision in non-monotonic reasoning
AUTHORS: Alferes, J ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXED IN: Scopus
125
TITLE: Belief, Provability, and Logic Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1995, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 5, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
126
TITLE: Belief, provability, and logic programs
AUTHORS: Alferes, JJ ; Pereira, LM;
PUBLISHED: 1995, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus CrossRef
127
TITLE: Modelling Diagnosis Systems with the Logic Programming
AUTHORS: Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1995, SOURCE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: DBLP CrossRef
IN MY: DBLP
128
TITLE: Modelling diagnosis systems with the logic programming
AUTHORS: de Almeida Móra, I; Alferes, JJ ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXED IN: Scopus
129
TITLE: Non-Atomic Actions in the Situation Calculus
AUTHORS: José Júlio Alferes ; Renwei Li; Luís Moniz Pereira ;
PUBLISHED: 1995, SOURCE: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, VOLUME: 990
INDEXED IN: DBLP CrossRef
IN MY: DBLP
130
TITLE: Non-atomic actions in the situation calculus
AUTHORS: Alferes, JJ ; Li, R; Pereira, LM;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 990
INDEXED IN: Scopus
Page 13 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