Login

In Proceedings

Implementation of dynamic logic programs

InProceedings

Published in 01/01/2005

Authors

Federico Banti, M. Proietti, José Júlio Alferes, Antonio Brogi,

Computing, Philosophy and Cognition

InProceedings

Published in 01/01/2005

Authors

Lorenzo Magnani, Gregory Wheeler, Riccardo Dossena,

Operational Semantics for DyLPs

InProceedings

Published in 01/01/2005

Authors

A. Cardoso, Federico Banti, José Júlio Alferes, Carlos Bento, Antonio Brogi, G. Dias,

Stable Model Theory for Extended RDF Ontologies

InProceedings

Published in 01/01/2005

Authors

Anastasia Analyti, Yolanda Gil, Grigoris Antoniou, Enrico Motta, Carlos Viegas Damásio, V. Richard Benjamins, Mark A. Musen, Gerd Wagner,

Inferring Definite-Clause Grammars to Express Multivariate Time Series

InProceedings

Published in 01/01/2005

Authors

M. Ali, Luís Moniz Pereira, F. Esposito,

Conditionals and Consequences

InProceedings

Published in 01/01/2005

Authors

Luís Moniz Pereira, Kyburg, H. E. Jr., Choh Man Teng, Gregory Wheeler, Gregory Wheeler,

From logic programs updates to action description updates

InProceedings

Published in 01/11/2004

Authors

Federico Banti, G. Rossi, João Leite, José Júlio Alferes, João Leite, José Júlio Alferes, Federico Banti, P. Torroni, Paolo Torroni, Federico Banti, José Júlio Alferes, E. Panegai, Antonio Brogi, Antonio Brogi, Antonio Brogi,

Avaliação de Centering em Resolução Pronominal da Língua Portuguesa

InProceedings

Published in 01/11/2004

Authors

Ana Aires, Jorge Coelho, Sandra Collovini, Paulo Quaresma, Renata Vieira,

From logic programs updates to action description updates

InProceedings

Published in 01/11/2004

Authors

Federico Banti, G. Rossi, João Leite, José Júlio Alferes, João Leite, José Júlio Alferes, Federico Banti, P. Torroni, Paolo Torroni, Federico Banti, José Júlio Alferes, E. Panegai, Antonio Brogi, Antonio Brogi, Antonio Brogi,

From logic programs updates to action description updates

InProceedings

Published in 01/11/2004

Authors

Federico Banti, G. Rossi, João Leite, José Júlio Alferes, João Leite, José Júlio Alferes, Federico Banti, P. Torroni, Paolo Torroni, Federico Banti, José Júlio Alferes, E. Panegai, Antonio Brogi, Antonio Brogi, Antonio Brogi,