Login

In Proceedings

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

InProceedings

Published in 01/01/2009

Authors

Marco Alberti, Paul Hofmann, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico Chesani, Marco Montali, Paola Mello, Paolo Torroni,

Resource allocation with answer-set programming

InProceedings

Published in 01/01/2009

Authors

João Leite, Carles Sierra, José Júlio Alferes, Cristiano Castelfranchi, Belopeta Mito, Keith S. Decker,

Evolution and Reactivity in the Semantic Web

InProceedings

Published in 01/01/2009

Authors

José Júlio Alferes, Jan Maluszynski, Michael Eckert, Wolfgang May,

Colored Nonograms: An Integer Linear Programming Approach

InProceedings

Published in 01/01/2009

Authors

Francisco Azevedo, Nuno Lau, Pedro Mariano,

Improved heuristic for pairwise RNA secondary structure prediction

InProceedings

Published in 01/01/2009

Authors

Olivier Perriquet, Pedro Barahona,

A Logic Programming System for Evolving Programs with Temporal Operators

InProceedings

Published in 01/01/2009

Authors

José Júlio Alferes, Alfredo Gabaldon, Nuno Lau, João Leite, Pedro Mariano,

On the Computability and Complexity Issues of Extended RDF

InProceedings

Published in 01/12/2008

Authors

Anastasia Analyti, Tu Bao Ho, Grigoris Antoniou, Zhi-Hua Zhou, Carlos Viegas Damásio, Gerd Wagner,

An Implementation of Extended P-Log Using XASP

InProceedings

Published in 01/12/2008

Authors

Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio,

Text classification using tree kernels and linguistic information

InProceedings

Published in 01/12/2008

Authors

M. Arif Wani, Paulo Quaresma, Xue-wen Chen, David Casasent, Lukasz Kurgan, Tony Hu, Khalid Hafeez,

Detection of a Large Number of Overlapping Ellipses

InProceedings

Published in 01/12/2008

Authors

A. Fernandes, G. Bebis,