Login

Articles

Prioritized and Non-prioritized Multiple Change on Belief Bases

Article

Published in 01/01/2012

Authors

Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício Reis, Guillermo R. Simari,

The Twelfth International Workshop on Computational Logics in Multi-Agent Systems

Article

Published in 01/12/2011

Authors

João Leite, Paolo Torroni,

Automatic Identification of Oceanic Eddies in Infrared Satellite Images

Article

Published in 01/11/2011

Authors

Armando Fernandes, Susana Nascimento, D. Boutov,

Computational Logic in Multi-Agent Systems

Article

Published in 01/11/2011

Authors

João Leite, Paolo Torroni,

The Final Frontier: Confidentiality and Privacy in the Cloud

Article

Published in 01/09/2011

Authors

Francisco Rocha, Salvador Abreu, Miguel Correia,

Observation Strategies for Event Detection with Incidence on Runtime Verification: Theory, Algorithms, Experimentation

Article

Published in 01/08/2011

Authors

Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira,

Intention Recognition Promotes The Emergence of Cooperation

Article

Published in 01/08/2011

Authors

Han The Anh, Luís Moniz Pereira, Francisco Santos,

Focused Correlation, Confirmation, and the Jigsaw Puzzle of Variable Evidence

Article

Published in 01/07/2011

Authors

Maximilian Schlosshauer, Gregory Wheeler,

Local closed world reasoning with description logics under the well-founded semantics

Article

Published in 01/06/2011

Authors

Matthias Knorr, José Júlio Alferes, Pascal Hitzler,

Convergent and Commutative Replicated Data Types

Article

Published in 01/06/2011

Authors

Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirski,