Login

Articles

Hybrid probabilistic Logic Programs as Residuated Logic Programs

Article

Published in 01/01/2002

Authors

Carlos Viegas Damásio, Luís Moniz Pereira,

Hilbert’s paradox

Article

Published in 01/01/2002

Authors

Volker Peckhaus, Reinhard Kahle,

Addressing ICTs Skill Challenges in SMEs:Insights from three country investigations

Article

Published in 01/01/2002

Authors

Y. Duan, R. Mullins, Virgilio Machado, João Araújo,

Mathematical proof theory in the light of ordinal analysis

Article

Published in 01/01/2002

Authors

Reinhard Kahle,

A Logic Based Asynchronous Multi-Agent System

Article

Published in 01/01/2002

Authors

Pierangelo Dell'Acqua, Ulf Nilsson, Luís Moniz Pereira,

Extending the concept of transaction compensation

Article

Published in 01/01/2002

Authors

Michael Butler, Mandy Chessell, Catherine Griffin, David Vines, Carla Ferreira, Peter Henderson,

LUPS – A language for updating logic programs

Article

Published in 01/01/2002

Authors

José Júlio Alferes, Luís Moniz Pereira, H. Przymusinska, T. C. Przymusinski,

Philosophical Incidence of Logical Programing

Article

Published in 01/12/2001

Authors

Luís Moniz Pereira,

Computer Graphics in the Scope of Informatics Engineering Education

Article

Published in 01/10/2001

Authors

Manuel Prospero dos Santos,

Computerising a Guideline for the Management of Diabetes

Article

Published in 01/08/2001

Authors

Pedro Barahona, Francisco Azevedo, M. Veloso, R. Gallego,