.LOG.PROB
Publications
Research Line - 1
- [BS10] J. Bueno-Soler. Two semantical approaches to paraconsistent modalities.
Logica Universalis , 4(1):137-160, 2010. Pre-print available at: http://www.cle.unicamp.br/e-prints/vol_9,n_6,2009.html. -
[FB10a] Marcelo Finger and Glauber De Bona. A logic based algorithm for solving probabilistic satisfiability. In
IBERAMIA , volume 6433 ofLNCS , pages 453-462. Springer, 2010. -
[FB10b] Marcelo Finger and Glauber De Bona. A refuted conjecture on probabilistic satisfiability. In
SBIA , volume 6404 ofLNCS , pages 293-302. Springer, 2010. - [FB11] Marcelo Finger and Glauber De Bona. Probabilistic satisfiability: Logic-based algorithms and phase transition. Submitted, 2011.
-
[FBC10] 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 , 22(3):295-313, 2010. doi://10.1002/cpe.1478. - [FH10a] Marcelo Finger and Mauricio S. C. Hernandes. Entailment multipliers: an algebraic characterization of validity for classical and many-valued logics. Submitted, 2010.
-
[FH10b] Marcelo Finger and Mauricio S. C. Hernandes. Entailment multipliers: An algebraic characterization of validity for classical and modal logics. In Anuj Dawar and Ruy J. G. B. de Queiroz, editors,
WoLLIC , volume 6188 ofLecture Notes in Computer Science , pages 1-18. Springer, 2010. -
[KF10] Fabio Natanael Kepler and Marcelo Finger. Variable-length markov models and ambiguous words in portuguese. In
Proceedings of the NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas , pages 15-23, 2010.
Research Line - 2
-
[DW10] James P. Delgrande, Renata Wassermann. Horn clause contraction functions: Belief set and belief base approaches,
Principles of Knowledge Representation and Reasoning (KR2010) , AAAI Press, 2010. -
[Was10] Wassermann, Renata . On AGM for Non-Classical Logics.
Journal of Philosophical Logic , v. 40, p. 271-294, 2011. -
[CPCJ10] Fabiano Rogério Correa, Rodrigo Bellizia Polastro, Fabio Gagliardi Cozman, and Jun Okamoto Junior. Dealing with semantic knowledge in robotics with a probabilistic
description logic. In
XI Argentine Symposium on Artificial Intelligence , pages 1-12, 2010. -
[Coz10] Fabio Gagliardi Cozman. Concentration inequalities and laws of large numbers under epistemic and regular irrelevance.
International Journal of Approximate Reasoning , 51:1069-1084, 2010. -
[GW10] P. Guerra and Renata Wassermann. Revision of CTL Models.
In
Advances in Artificial Intelligence - IBERAMIA 2010, volume 6433 ofLecture Notes in Computer Science , pages 153-162. Springer, 2010. -
[RW10] Márcio Moretto Ribeiro and Renata Wassermann. More About AGM Revision in Description Logics. In
Proceedings the ECAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE) , 2010 -
[LRC10a] José Eduardo Ochoa Luna, Kate Revoredo, Fabio Gagliardi Cozman. Learning sentences and assessments in probabilistic description logics,
Workshop on Uncertainty Reasoning for the Semantic Web at the International Semantic Web Conference , pp. 85-96, 2010. -
[LRC10b] José Eduardo Ochoa Luna, Kate Revoredo, Fabio Gagliardi Cozman. Semantic query extension through probabilistic description logics,
Workshop on Uncertainty Reasoning for the Semantic Web at the International Semantic Web Conference , pp. 49-60, 2010. -
[LRC10c] José Eduardo Ochoa Luna, Kate Revoredo, and Fabio Gagliardi Cozman. Semantic query extension using query contexts and probabilistic description logics. In
Joint Conference 2010 Workshops — III International Workshop on Web and Text Intelligence (WTI) , pages 856-865, 2010. -
[PCCJ10] Rodrigo Bellizia Polastro, Fabiano Rogério Correa, Fabio Gagliardi Cozman, and Jun Okamoto Junior. Semantic mapping with a probabilistic description logic. In
Lecture Notes in Artificial Intelligence, volume 6404, Advances in Artificial Intelligence - SBIA 2010 , pages 62-71, 2010. -
[RLC10] Kate Revoredo, José Eduardo Ochoa Luna, and Fabio Gagliardi Cozman. Learning terminologies in probabilistic description logics. In
Lecture Notes in Artificial Intelligence, volume 6404, Advances in Artificial Intelligence - SBIA 2010 , pages 41-50, 2010. -
[SCPH10] Paulo E. Santos, Fabio Gagliardi Cozman, Valquíria Fenelon Pereira, and Britta Hummel. Probabilistic logic encoding of spatial domains. In
International Workshop on Uncertainty in Description Logics , pages 1-10, Edinburgh, 2010. -
[ATW10] Carlos Atencio-Torres and Renata Wassermann. Uma análise de técnicas utilizadas no aprendizado de ontologias. In
Seminário de Pesquisa em Ontologia no Brasil , 2010. -
[AmaralCosta10] Fabio R. Amaral and Anna Helena Reali Costa. Classificação de objetos em imagens onidirecionais com uso de retificação de imagens e de múltiplos núcleos em máquinas de vetor de suporte. In
III Workshop on Computational Intelligence (WCI 2010) . São Bernardo do Campo, Brasil, 2010. -
[WerneckCosta10] Nicolau Leal Werneck and Anna Helena Reali Costa. Mapping with Monocular Vision in Two Dimensions. In
International Journal of Natural Computing Research , 1(4):56-65, 2010.
Research Line - 3
- [DdB10] Karina Valdivia Delgado and Leliane Nunes de Barros. Processos
de decisão markovianos com probabilidades imprecisas: uma solução com programação em dois níveis. In
Congresso Brasileiro de Automática , Brazil, 2010. - [DSdB11] Karina Valdivia Delgado, Scott Sanner, and Leliane Nunes de Barros. Efficient solutions to factored MDPs with imprecise transition probabilities. In Artificial Intelligence Journal, 2011.
-
[dSC10] Valdinei Freire da Silva and Anna Helena Reali Costa. Gerando políticas não dominadas em processos markovianos de decisão. In
Anais do III Workshop on Computational Intelligence (WCI2010) , 2010. São Bernardo do Campo, SP. -
[MC10] Tiago Matos and Anna Helena Reali Costa. Aprendizado por reforço relacional para reaproveitamento do conhecimento em navegação robótica. In
Anais do V Workshop on MSc Dissertation and PhD Thesis in Artificial Intelligence (WTDIA2010) , 2010. São Bernardo do Campo, SP. -
[DFSdB10] Karina Valdivia Delgado, Cheng Fang, Scott Sanner, and Leliane Nunes de Barros. Symbolic bounded real-time dynamic programming. In
Brazilian Symposium of Artificial Intelligence , pages 193-202, Brazil, 2010.
Research Line - 4
- [FSHC10] Valquiria Fenelon, Paulo Santos, Britta Hummel, and Fabio Cozman. Encoding spatial domains with relational bayesian networks. In Spatio-temporal Dynamics Workshop, pages 49-54, 2010.
-
[San10] P. E. Santos.
Tutoriais do XVIII Congresso Brasileiro de Automática , volume 1, chapter Raciocínio e percepção espacial: uma abordagem lógica, pages 127-147. Cultura Acadêmica, 2010. -
[SFD10] Paulo E. Santos, V. Fenellon, and H. Dee. Knowledge-based adaptive thresholding from qualitative robot localisation using shadows. In
European Conference on Artificial Intelligence , 2010. -
[SHFC10] P. E. Santos, B. Hummel, V. Fenellon, and F. Cozman. Probabilistic encoding of spatial domains. In
Proc of the first International Workshop on Uncertainty in Description Logics , pages 1-6, 2010. -
[STdS+10] P.E. Santos, C.E. Thomaz, D. dos Santos, R. Freire, J.R. Sato, M. Louzã, P. Sallet, G. Busatto, and W.F. Gattaz. Exploring the knowledge contained in neuroimages: statistical discriminant analysis and automatic segmentation of the most significant changes.
Artificial Intelligence in Medicine , 49(2):105-15, 2010.