Login

In Proceedings

An implementation of Statistical Default Logic

InProceedings

Published in 01/01/2004

Authors

José Júlio Alferes, Gregory Wheeler, José Júlio Alferes, Gregory Wheeler, João Leite, Carlos Viegas Damásio, João Leite, Carlos Viegas Damásio,

A Tabulation Proof Procedure for Residuated Logic Programming

InProceedings

Published in 01/01/2004

Authors

Carlos Viegas Damásio, Lorenza Saitta, Manuel Ojeda-Aciego,

A methodology to create ontology-based information retrieval systems

InProceedings

Published in 01/12/2003

Authors

Fernando Moura Pires, Paulo Quaresma, Salvador Abreu,

Using dialogues to access semantic knowledge in a web legal IR system

InProceedings

Published in 01/12/2003

Authors

Marie-Francine Moens, Paulo Quaresma, Irene Rodrigues,

How to model legal reasoning using dynamic logic programming: a preliminary report

InProceedings

Published in 01/12/2003

Authors

Daniele Bourcier, Paulo Quaresma,

An Aspectual Use-Case Driven Approach

InProceedings

Published in 01/11/2003

Authors

Joao Araujo, Ana Moreira,

Using Dynamic logic programming to model legal reasoning

InProceedings

Published in 01/09/2003

Authors

Francesco Buccafurri, Paulo Quaresma,

An Evolving Agent with EVOLP

InProceedings

Published in 01/09/2003

Authors

José Júlio Alferes, Francesco Buccafurri, Antonio Brogi, João Leite, Luís Moniz Pereira,

Using B Refinement to Analyse Compensating Business Processes

InProceedings

Published in 01/08/2003

Authors

Carla Ferreira, Michael Butler,

Universidade de Évora’s Integrated Information System: An Application

InProceedings

Published in 01/07/2003

Authors

Joaquim Godinho, Hans Dijkman, Luis Quintano, Petra Smulders, Bas Cordewener, Salvador Abreu, Kurt de Belder,