.LOG.PROB
Publications
Research Line - 1
- [AF10] Alexandre Matos Arruda and Marcelo Finger. Caracterização da independência condicional em lógica modal. Technical Report RT-MAC-2010-01, Department of Computer Science, IME/USP, 2010.
- [dBF09] Glauber de Bona and Marcelo Finger. A refuted conjecture on probabilistic satisfiability. Technical Report RT-MAC-2009-05, Department of Computer Science, IME/USP, 2009.
-
[FBC09] Marcelo Finger, Germano C. Bezerra, and Danilo M. R. Conde. Resource use pattern analysis for predicting resource availability in opportunistic grids.
Concurrency and Computation: Practice and Experience, Accepted, 2009. -
[Fin09a] Marcelo Finger. Using abduction to compute efficient proofs. In
Electronic Notes in Theoretical Computer Science, volume 247, pages 39-49. Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008), 2009. DOI: 10.1016/j.entcs.2009.07.047. -
[Fin09b] Marcelo Finger. Analytic methods for the logic of proofs.
Journal of Logic and Computation, Accepted, 2009. doi:10.1093/logcom/exn065. - [NKF09] Adolfo Neto, Celso A. A. Kaestner, and Marcelo Finger. Towards an efficient prover for the C1 -paraconsistent logic. In LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications, Electronic Notes in Theoretical Computer Science, vol. 256, pages 87-102, Brasilia, June 2009.
Research Line - 2
-
[CHR+ 09] Fabio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory Wheeler, and Jon Williamson. Combining probability and logic.
Journal of Applied Logic , 7:131-135, 2009. -
[Coz09] Fabio Gagliardi Cozman. Concentration inequalities and laws of
large numbers under epistemic irrelevance.
In Sixth International Symposium on Imprecise Probabilities: Theories and Applications. pages 109-118, 2009. - [CP09a] Fabio G. Cozman and Rodrigo Polastro. Complexity analysis and variational inference for interpretation-based probabilistic description logics. In
Conference on Uncertainty in Artificial Intelligence , 2009. - [CS09] Fabio Gagliardi Cozman, Teddy Seidenfeld. Independence for full conditional measures and their graphoid properties, Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, 16:1-29, College Publications, 2009.
-
[dCCL09] Cassio Polpo de Campos, Fabio Gagliardi Cozman, and José Eduardo Ochoa Luna. Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence.
Journal of Applied Logic, 7:137-154, 2009. -
[LC09a] José Eduardo Ochoa Luna and Fabio Gagliardi Cozman. An algorithm for learning with probabilistic description logics. In
Fifth International Workshop on Uncertainty Reasoning for the Semantic Web, pages 63-74, 2009. -
[LC09b] José Eduardo Ochoa Luna and Fabio Gagliardi Cozman. A probabilistic algorithm for multi-relational data mining. In
V Workshop em Algoritmos e Aplicações de Mineração de Dados, pages 34-41, 2009. - [MC09] Denis Deratani Mauá Fabio Gagliardi Cozman. Representing and classifying user reviews, Encontro Nacional de Inteligência Artificial, 2009.
-
[RWA+ 09] Márcio Moretto Ribeiro, Renata Wassermann, Grigoris Antoniou, Giorgos Flouris, and Jeff Pan. Belief contraction in web-ontology languages. In
Proceedings of the International Workshop on Ontology Dynamics (IWOD-2009), Washington, DC, USA, 2009. -
[RW09b] Márcio Moretto Ribeiro and Renata Wassermann. AGM revision in description logics. In
Proceedings the IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), Pasadena, CA, USA, 2009. -
[RW09a] Marcio M. Ribeiro and Renata Wassermann. Base Revision for Ontology Debugging.
Journal of Logic and Computation, 19(5):721-743, 2009.
Research Line - 3
-
[DdBC08] Karina Valdivia Delgado, Leliane Nunes de Barros, and Fáio Gagliardi Cozman. Factored Markov decision processes with imprecise probabilities: A multilinear solution. In
Doctoral Consortium ICAPS, Australia, 2008. Poster. -
[DdBCF09] Karina Valdivia Delgado, Leliane Nunes de Barros, Fabio Gagliardi Cozman, and Ricardo Shirota Filho. Representing and solving factored Markov Decision Processes with imprecise probabilities. In
Sixth International Symposium on Imprecise Probabilities: Theories and Applications, pages 169-178, 2009. -
[DdBCS09a] Karina Valdivia Delgado, Leliane Nunes de Barros, Fábio Gagliardi Cozman, and Scott Sanner. Factored Markov decision processes with imprecise probabilities: multilinear solution. In
International Journal of Approximate Reasoning, Elsevier, 2009. -
[DdBCS09b] Karina Valdivia Delgado, Leliane Nunes de Barros, Fábio Gagliardi Cozman, and Ricardo Shirota. Representing and solving factored Markov decision processes with imprecise probabilities. In
6th International Symposium on Imprecise Probability: Theories and Applications (ISIPTA) , Durham, United Kingdom, 2009. - [dSC09] Valdinei Freire da Silva and Anna Helena Reali Costa. Compulsory flow q-learning: an rl algorithm for robot navigation based on partial-policy and macro-states. Journal of the Brazilian Computer Society, 15(3):65-75, 2009. issn: 0104-6500, doi:10.1590/S0104-65002009000300007.
- [dSCR09] Anderson Anjos da Silva, Anna Helena Reali Costa, and Carlos Henrique Costa Ribeiro. Combining conflicting and confirmatory information for map matching using paraconsistent neural networks. In Proceedings of the 9th International IFAC Symposium on Robot Control (SYROCO2009), 2009. Gifu, Japan.
-
[DSdB09] Karina Valdivia Delgado, Scott Sanner, and Leliane Nunes de Barros. Efficient solutions to factored MDPs with imprecise transition probabilities. In
Artificial Intelligence Journal , 2009. -
[DSdBC09a] Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros, and Fabio Gagliardi Cozman. Efficient solutions to factored mdps with imprecise transition probabilities. In
19th International Conference on Automated Planning and Scheduling, pages 98-105, Thessaloniki, Greece, 2009. - [FC09] Paulo Thiago Fracasso and Anna Helena Reali Costa. Planejamento probabilístico de mapa de rotas com seleção de vértices em componentes conexos restritos distância. In Anais do Simpósio Brasileiro de Automação Inteligente (SBAI2009), 2009. Brasília, Brasil.
-
[OdCBC09] Valguima Victoria Viana Aguiar Odakura, Reinaldo Augusto da Costa Bianchi, and Anna Helena Reali Costa. General detection model in cooperative multirobot localization.
Journal of the Brazilian Computer Society , 15(3):33-46, 2009. issn: 0104-6500, doi: 10.1590/S0104-65002009000300004. - [OSR+ 09] Valguima Victoria Viana Aguiar Odakura, R. P. S. Sacchi, A. Ramisa, Reinaldo Augusto da Costa Bianchi, and Anna Helena Reali Costa. The use of negative detection in cooperative localization in a team of four-legged robots. In Anais do Simpósio Brasileiro de Automação Inteligente (SBAI2009), 2009. Brasília, Brasil.
-
[SDC09] Antonio Henrique Pinto Selvatici, Frank Dellaert, and Anna Helena Reali Costa. Building object-based maps from visual input. In
Anais do Simpósio Brasileiro de Automação Inteligente (SBAI2009), 2009. Brasília, Brasil. -
[AmaralCosta09] Fabio R. Amaral and Anna Helena Reali Costa. Object class detection in omnidirectional images. In
Anais do V Workshop de Visão Computacional (WVC2009) .São Paulo, Brasil, 2009. -
[MouraRibeiroCosta09] André Iasi Moura and Carlos Henrique Costa Ribeiro and Anna Helena Reali Costa. WBLS: A signal presence-based Wi-Fi localisation system for mobile devices in smart environments. In
Journal International Journal of Knowledge-Based and Intelligent Engineering Systems 13(1):5-18. 2009. -
[WerneckTruzziCosta09] Nicolau Leal Werneck and Flavio S. Truzzi and Anna Helena Reali Costa. Medição de distância e altura de bordas horizontais com visâo monocular linear para robôs móveis. In
Anais do V Workshop de Visão Computacional (WVC2009) . 2009.
Research Line - 4
- [CS10] P. Cabalar and P. Santos. Formalizing the Fisherman´s Folly puzzle. Artificial Intelligence Journal, 2010. to appear.
- [FSVdSS09] R. Freire, D. N. Santos, M. Vinicius dos Santos, and P Santos. An exercise on developing an ontology-epistemology about schizophrenia and neuroanatomy. In Nature Precedings, 2009.
- [SDF09] Santos, P.; Dee, H.: Fenelon, V. Qualitative Robot Localisation Using Information from Cast Shadows. Proc. of ICRA, 2009 (to appear)
-
[SFdS+ 10] P. Santos, R. Freire, D. N. dos Santos, C. Thomaz, P. Sallet, M. Louzã and A. Cohn.
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions , chapter A region-based ontology of the brain ventricular system and its relation to schizophrenia. IGI Global, 2010. to appear.