ProfileOfResearchers

IN MY:

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

IN MY:

ORCID |

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

IN MY:

ORCID |

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

IN MY:

125

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

IN MY:

126

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:

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

IN MY:

ORCID |

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

IN MY:

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

IN MY:

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

IN MY: