Login

In Proceedings

On Querying Ontologies with Contextual Logic Programming

InProceedings

Published in 01/06/2007

Authors

Christine Golbreich, Nuno Lopes, Aditya Kalyanpur, Salvador Abreu, Bijan Parsia,

A Well-founded Semantics for Hybrid MKNF Knowledge Bases

InProceedings

Published in 01/06/2007

Authors

Matthias Knorr, D. Calvanese, José Júlio Alferes, E. Franconi, P. Hitzler, V. Haarsle, D. Lembo, B. Motik, A-Y. Turhan,

r3: Towards a foundational ontology for reactive rules

InProceedings

Published in 01/06/2007

Authors

José Júlio Alferes, Ricardo Amador,

Revisiting the OLAP Interaction to Cope with Spatial Data and Non-spatial Data Analysis

InProceedings

Published in 01/06/2007

Authors

João Moura Pires, Jorge Cardoso, Rosa Matias, Joaquim Filipe,

An extended value-based argumentation framework for ontology mapping with confidence degrees

InProceedings

Published in 01/05/2007

Authors

Paulo Quaresma, Renata Vieira,

Argumentation-based Proof for an Argument in a Paraconsistent Setting

InProceedings

Published in 01/05/2007

Authors

Iara Almeida, G. Simari, José Júlio Alferes, P. Torroni,

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem

InProceedings

Published in 01/05/2007

Authors

Francisco Azevedo, Francisco Azevedo, Francisco Azevedo, Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi,

An Attempt to Dynamically Break Symmetries in the Social Golfers Problem

InProceedings

Published in 01/05/2007

Authors

Francisco Azevedo, Francisco Azevedo, Francisco Azevedo, Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi,

Logic Programming in Wikipedia: Call for Help or Call to Arms?

InProceedings

Published in 01/03/2007

Authors

Luís Moniz Pereira, Enrico Pontelli,

Modelação de Workflows com UML e Ferramentas Declarativas

InProceedings

Published in 01/02/2007

Authors

Rui Gamito, Luis Arriaga da Cunha, Salvador Abreu,