2001 |
12 | | Márcia Maçãs,
Rodrigo M. M. Ventura,
Luís Custódio,
Carlos A. Pinto-Ferreira:
DARE: An Emotion-Based Agent Architecture.
FLAIRS Conference 2001: 150-154 |
2000 |
11 | EE | Jorge Pais,
Carlos A. Pinto-Ferreira:
The n-dimensional projective approach as a tool for spatial reasoning.
ICTAI 2000: 237- |
1999 |
10 | | Luís M. M. Custódio,
Carlos A. Pinto-Ferreira:
Many Birds Fly, Some Don't.
Artif. Intell. Rev. 13(3): 185-200 (1999) |
9 | EE | Luís M. M. Custódio,
Carlos A. Pinto-Ferreira:
Logic of agreement: foundations, semantic system and proof theory.
Int. J. Approx. Reasoning 20(1): 47-78 (1999) |
1998 |
8 | | Rodrigo M. M. Ventura,
Carlos A. Pinto-Ferreira:
Emotion-based Agents.
AAAI/IAAI 1998: 1204 |
7 | EE | Pedro Aparício,
Rodrigo M. M. Ventura,
Pedro U. Lima,
Carlos A. Pinto-Ferreira:
ISocRob - Team Description.
RoboCup 1998: 434-439 |
1995 |
6 | | Carlos A. Pinto-Ferreira,
Nuno J. Mamede:
Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings
Springer 1995 |
5 | | Luís M. M. Custódio,
Carlos A. Pinto-Ferreira:
Agreement: A Logical Approach to Approximate Reasoning.
EPIA 1995: 419-428 |
1994 |
4 | | César Santos Silva,
Alexandre Malheiro Bernardino,
Carlos A. Pinto-Ferreira:
Interleaving Real-Time Multi-Agent Planning and Execution: An Application.
ICTAI 1994: 756-759 |
1990 |
3 | | Carlos A. Pinto-Ferreira,
João P. Martins:
A Formal System for Reasoning about Change.
ECAI 1990: 503-508 |
1989 |
2 | | Carlos A. Pinto-Ferreira,
João P. Martins:
Inscription - A Rule of Conjecture.
EPIA 1989: 141-150 |
1 | | Nuno J. Mamede,
Carlos A. Pinto-Ferreira,
João P. Martins:
Reasoning with the Unknown.
EPIA 1989: 85-96 |