LogProb

.LOG.PROB

Publications

Research Line - 1

[AF2011b] Anderson de Araujo and Marcelo Finger. A formal system for quantum communication environments. VIII - Brazilian National Meeting for Artificial Intelligence,pages 1-11. 2011.
[ArF2011] Alexandre Arruda and Marcelo Finger. Completude para a abdução baseada em corte. XVI EBL -- Brazilian Logic Conference,pages 61-62. 2011.
[HF2011] Mauricio Hernandes and Marcelo Finger. A Characterization for Quantum Logic Semantic Consequence as Algebraic Multipliers. XVI EBL -- Brazilian Logic Conference, pages 61-62. 2011.
[FDB2011] Marcelo Finger and Glauber De Bona. Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition. IJCAI, pages 528-533. 2011.
[B-SF2011] Juliana Bueno-Soler and Marcelo Finger. Probabilistic modal logic. XVI EBL -- Brazilian Logic Conference, pages 8-9. 2011
[AF2011] Anderson Araujo and Marcelo Finger. Classical and quantum satisfiability. LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, pages 1-6. 2011.
[bue:11] J. Bueno-Soler. Models for anodic and cathodic multimodalities. Logic Journal of the IGPL, to appear.
[FWC2011] Marcelo Finger and Renata Wassermann and Fabio Gagliardi Cozman. Satisfiability in EL with Sets of Probabilistic ABoxes. In Description Logics, 2011.

Research Line - 2

[DCorreaDL2011] Fabiano Correa and Fabio G. Cozman and Jun Okamoto Jr. Collective Classification in Semantic Mapping with a Probabilistic Description Logic. Proceedings of the 24th International Workshop on Description Logics, pages 455-465. Barcelona, Spain 2011.
[CuevaMICAI2011] Diego R. Cueva and Rafael A. M. Gonçalves and Fabio Gagliardi Cozman and Marcos R. Pereira-Barretto. Crawling to improve multimodal emotion detection. Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI2011), Lecture Notes in Artificial Intelligence 7095, Part II pages 343-350. Springer, 2011.
[CuevaENIA2011] Diego Cueva and Rafael A. M. Gonçalves and Fabio Gagliardi Cozman and Marcos Ribeiro Pereira Barretto. Fusão de Observações Afetivas em Cen´rios Realistas. VIII Encontro Nacional de Intelig\^encia Artificial (ENIA2011), pages 1-10, 2011.
[DelgadoIJAR2011] Karina Valdivia Delgado and Leliane Nunes de Barros and Fabio Gagliardi Cozman and Scott Sanner. Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. International Journal of Approximate Reasoning, 57(7):1000-1017, 2011.
[FWC2011] Marcelo Finger and Renata Wassermann and Fabio Gagliardi Cozman. Satisfiability in EL with Sets of Probabilistic ABoxes. In Description Logics, 2011.
[franco11ENIA] Fabio Franco and Leliane Nunes de Barros and Karina Valdivia Delgado and Fabio Cozman. Jogos Markovianos Alternados com Probabilidades Imprecisas dadas por Conjuntos Credais. VIII Encontro Nacional de Inteligência Artificial, 2011.
[GoncalvesENIA2011] Rafael A. M. Gonçalves and Diego R. Cueva and Marcos Ribeiro Pereira Barretto and Fabio Gagliardi Cozman. Determinação da Emoção Demonstrada pelo Interlocutor VIII Encontro Nacional de Inteligência Artificial (ENIA2011), pp. 1-12, 2011.
[GoncalvesPOLIBITS2011] Rafael Augusto M. Gonçalves and Diego R. Cueva and Marcos R. Pereira-Barretto and Fabio G. Cozman. A dynamic model for identification of emotional expressions. Polibits, 44:25-30, 2011.
[KikutiAI2011] Daniel Kikuti and Fabio G. Cozman and Ricardo Shirota Filho. Sequential decision making with partially ordered preferences. Artificial Intelligence volume 175(7-8), pages 1346-1365, 2011.
[Delgrande2011] James P. Delgrande and Renata Wassermann. Topics in Horn contraction: Supplementary postulates, package contraction, and forgetting. In International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-2011). Barcelona, 2012.
[LunaMICAI2011] José Eduardo Ochoa Luna and Kate Revoredo and Fabio Gagliardi Cozman. Learning probabilistic description logics: A framework and algorithms. In Advances in Artificial Intelligence - 10th Mexican International Conference on Artificial Intelligence (MICAI2011), Lecture Notes in Artificial Intelligence 7094, Part I, pages 28-39. Springer, 2011.
[Cobe2011] Raphael M. O. Cobe and Fabio Kon and Renata Wassermann. Ontology merging: on the confluence between theoretical and pragmatic approaches. In Seminário de Pesquisa em Ontologias do Brasil (ONTOBRAS). 2011.
[RevoredoURSW2011] Kate Revoredo and José Eduardo Ochoa-Luna and Fabio Gagliardi Cozman. Semantic Link Prediction through Probabilistic Description Logic. In Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web, collocated with the 10th International Semantic Web Conference, 778, 87-97. Bonn, Germany, 2011.

Research Line - 3

[BergamoEtAl11] Yannick Plaino Bergamo and Tiago Matos and Valdinei Freire da Silva and Anna Helena Reali Costa. Accelerating reinforcement learning by reusing abstract policies. In VIII Encontro Nacional de Inteligência Artificial (ENIA 2011).Natal-RN, Brasil, 2011.
[sanner11UAI] Scott Sanner and Karina Valdivia Delgado and Leliane Nunes de Barros. Symbolic Dynamic Programming for Discrete and Continuous State MDPs. In 27th Conference on Uncertainty in Artificial Intelligence.Barcelona, Espanha, 2011. 2011.
[delgado11JournalAI] Karina Valdivia Delgado and Scott Sanner and Leliane Nunes de Barros. Efficient solutions to factored MDPs with imprecise transition probabilities. In Artificial Intelligence Journal,pages 1498-1527. 2011.
[SilvaCosta11] Valdinei Freire da Silva and Anna Helena Reali Costa. A Geometric Approach to Find Nondominated Policies to Imprecise Reward MDPs. In Lecture Notes in Computer Science: Machine Learning and Knowledge Discovery in Databases, 6911:439-454. Springer, 2011.
[SilvaSelvaticiCosta11] Valdinei Freire da Silva and Antonio Henrique Pinto Selvatici and Anna Helena Reali Costa. Navigation towards a goal position: from reactive to generalised learned control. In Journal of Physics: Conference Series, 285(1):012025, 2011.
[DelgadoIJAR2011] Karina Valdivia Delgado and Leliane Nunes de Barros and Fabio Gagliardi Cozman and Scott Sanner. Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. In International Journal of Approximate Reasoning, 52(7):1000-1017, 2011.
[MatosEtAll11] Tiago Matos and Yannick Plaino Bergamo and Valdinei Freire da Silva and Anna Helena Reali Costa. Stochastic Abstract Policies for Knowledge Transfer in Robotic Navigation Tasks. In Lecture Notes in Computer Science: Advances in Artificial Intelligence, 7094:454-465. Springer, 2011.
[MatosEtAl11a] Tiago Matos and Yannick Plaino Bergamo and Valdinei Freire da Silva and Fábio Gagliardi Cozman and Anna Helena Reali Costa. Simultaneous abstract and concrete reinforcement learning. In 9th Symposium on Abstraction, Reformulation and Approximation (SARA 2011).AAAI Press, Spain, 2011.
[WerneckCosta11] Nicolau Leal Werneck and Anna Helena Reali Costa. Speeding up probabilistic inference of camera orientation by function approximation and grid masking. In 19th. International Conference on Computer Graphics, Visualization and Computer Vision (WSCG2011). Plzen, Czech Republic, 2011.

Research Line - 4

[taros11] Carlos R.C. Souza and Paulo E. Santos. Probabilistic Logic Reasoning About Traffic Scenes. The 12th Conference Towards Autonomous Robotic Systems (TAROS), pages 219-230, Berlin, Heidelberg. Springer, 2011.
[SS11] VA.C. Secolo and P. E. Santos. Raciocínio Espacial Qualitativo para um Sistema de Segurança em Tráfego de Veículos. In Anais do 10o Simposio Brasileiro de Automação Inteligente (SBAI), 2011.
[DS11] H.M. Dee and P. E. Santos. The perception and content of cast shadows: an interdisciplinary review. Spatial Cognition and Computation, 2011.
[CP11] P. Cabalar and Santos P.E. Formalizing the fisherman's folly puzzle. Artificial Intelligence Journal, 175(1):346–377, 2011.
[SFdS11]P. E. Santos, R. Freire, D. N. dos Santos, C. E. Thomaz, P. C. Sallet, G. F. Busatto, 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 Publishing, 2011.