Login

In Proceedings

Activity recognition with intended actions, answer set programming approach

InProceedings

Published in 01/01/2008

Authors

Alfredo Gabaldon, M. Thielsher, M. Pagnucco,

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems

InProceedings

Published in 01/12/2007

Authors

João Leite, Manoela Ilic, Manuel Filipe Santos,

Towards Tractable Local Closed World Reasoning for the Semantic Web

InProceedings

Published in 01/12/2007

Authors

Matthias Knorr, J. Maia Neves, José Júlio Alferes, M. F. Santos, P. Hitzler, J. M. Machado,

Modelling Morality with Prospective Logic

InProceedings

Published in 01/12/2007

Authors

Luís Moniz Pereira, J. Maia Neves, Luís Moniz Pereira, Michael Anderson, Ari Saptawijaya, Susan Anderson, Ari Saptawijaya, M. F. Santos, J. M. Machado,

Gödel and Computability

InProceedings

Published in 01/12/2007

Authors

Luís Moniz Pereira,

Modelling Morality with Prospective Logic

InProceedings

Published in 01/12/2007

Authors

Luís Moniz Pereira, J. Maia Neves, Luís Moniz Pereira, Michael Anderson, Ari Saptawijaya, Susan Anderson, Ari Saptawijaya, M. F. Santos, J. M. Machado,

The XSB Logic Programming SystemDa

InProceedings

Published in 01/12/2007

Authors

Theresa Swift, David S. Warren,

Temporal Annotations for a Contextual Logic Programming Language

InProceedings

Published in 01/12/2007

Authors

Vitor Nogueira, J. Maia Neves, Salvador Abreu, Manuel Santos,

GRASPER: A Framework for Graph Constraint Satisfaction Problems

InProceedings

Published in 01/12/2007

Authors

Ruben Viegas, Ruben Viegas, Francisco Azevedo, Paulo Novais, Francisco Azevedo, Manuel Filipe Santos, Pedro Henriques,

Neuro-Symbolic Word Tagging

InProceedings

Published in 01/12/2007

Authors

Nuno C Marques, Nuno C Marques, Sebastian Bader, Manuel Filipe Santos, Sebastian Bader, Vitor Rocio, Vitor Rocio,