ARTICLES
- A language for multi-dimensional updates
- 1 Jan 2002
- João Leite, José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska, T. C. Przymusinski
- LUPS - A language for updating logic programs
- 1 Jan 2002
- José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska, T. C. Przymusinski
- PSICO: Solving Protein Structures with Constraint Programming and Optimisation
- 1 Jan 2002
- Ludwig Krippahl, Pedro Barahona
- A Logic Based Asynchronous Multi-Agent System
- 1 Jan 2002
- Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira
- Hybrid probabilistic Logic Programs as Residuated Logic Programs
- 1 Jan 2002
- Carlos Viegas Damásio, Luís Moniz Pereira
- A Report on the 2002 Workshop on Computational Logic in Multi-agent Systems (CLIMA'02)
- 1 Jan 2002
- Juergen Dix, João Leite, K. Satoh
- Extending the concept of transaction compensation
- 1 Jan 2002
- Michael Butler, Mandy Chessell, Catherine Griffin, David Vines, Carla Ferreira, Peter Henderson
- Computerising a Guideline for the Management of Diabetes
- 1 Aug 2001
- Pedro Barahona, Francisco Azevedo, M. Veloso, N. Estêvão, R. Gallego
- A Logic Based Approach to Multi-Agent Systems
- 1 Aug 2001
- José Júlio Alferes, Pierangelo Dell'Acqua, E. Lamma, João Leite, Luís Moniz Pereira, F. Riguzzi
- Hypervideo on the web: models and techniques for video integration
- 1 Feb 2001
- Teresa Chambel, Nuno Correia, Nuno Guimarães
Article
Article
Article
Article
Article
Article
Article
Article
Article
Article