Guilherme Bittencourt

Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel: Prime forms and minimal change in propositional belief bases. Ann. Math. Artif. Intell. 59(1): 1-45 (2010)

Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt: Prime Implicants and Belief Update. FLAIRS Conference 2009

Guilherme Bittencourt: Combining Syntax and Semantics through Prime Form Representation. J. Log. Comput. 18(1): 13-33 (2008)

Laurent Perrussel, Jerusa Marchi, Guilherme Bittencourt: Quantum-Based Belief Merging. IBERAMIA 2008: 21-30

Anderson Luiz, Fernandes Perez, Guilherme Bittencourt, Mauro Roisenberg: Embodied Evolution with a New Genetic Programming Variation Algorithm. ICAS 2008: 118-123

Anderson Luiz, Fernandes Perez, Guilherme Bittencourt, Mauro Roisenberg: A new approach to control a population of mobile robots using genetic programming. SAC 2008: 1602-1606

Eliane Pozzebon, Janette Cardoso, Guilherme Bittencourt, Chihab Hanachi: A Group Learning Management Method for Intelligent Tutoring Systems. Informatica (Slovenia) 31(2): 191-199 (2007)

Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt: Preface. Electr. Notes Theor. Comput. Sci. 143: 1-4 (2006)

Carlos Henrique dos Santos, Guilherme Bittencourt, Raul Guenther, Edson R. de Pieri: Motion Coordination for Underwater Vehicle-Manipulator Systems using a Fuzzy Hybrid Strategy. IROS 2006: 3018-3023

Eder Mateus Nunes Gonçalves, Guilherme Bittencourt: Strategies for Multi-agent Coordination in a Grid World Using Petri Nets. CLIMA 2005: 414-419

Eder Mateus Nunes Gonçalves, Guilherme Bittencourt: A Planning-Based Knowledge Acquisition Methodology. LAPTEC 2005: 105-112

Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel: A Syntactical Approach to Belief Update. MICAI 2005: 142-151

Josué Pereira de Castro, Adriana Postal, Guilherme Bittencourt: A Genetic Algorithm with Feminine Selection. ECAI 2004: 244-250

Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi: A Syntactical Approach to Revision. ECAI 2004: 788-792

Tércio de Morais Sampaio Silva, Frederico Luiz Gonçalves de Freitas, Rafael Cobra Teske, Guilherme Bittencourt: Semantic Information Generation from Classification and Information Extraction. ICWE 2004: 573-574

Janette Cardoso, Guilherme Bittencourt, Luciana Frigo, Eliane Pozzebon, Adriana Postal: MathTutor: A Multi-Agent Intelligent Tutoring System. AIAI 2004: 231-242

Evandro de Barros Costa, Robério José R. dos Santos, Alejandro César Frery, Guilherme Bittencourt: Towards an Authoring Methodology in Large-Scale E-learning Environments on the Web. Intelligent Tutoring Systems 2004: 809-811

Flavio de Almeida e Silva, Guilherme Bittencourt, Mauro Roisenberg, Jorge Muniz Barreto, R. C. Vieira, D. K. Coelho: Behavior implementation in autonomous agents using modular and hierarchical neural networks. RAM 2004: 927-932

Jerusa Marchi, Guilherme Bittencourt: Propositional Reasoning for an Embodied Cognitive Model. SBIA 2004: 164-173

Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt: An Ontology-based Architecture for Cooperative Information Agents. IJCAI 2003: 37-42

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: Dynamic Social Knowledge: The Timing Evidence. SBIA 2002: 175-184

Guilherme Bittencourt, Geber Ramalho (Eds.): Advances in Artificial Intelligence, 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings. Lecture Notes in Computer Science 2507, Springer 2002, isbn 3-540-00124-7

Guilherme Bittencourt, Isabel Tonin: An Algorithm for Dual Transformation in First-Order Logic. J. Autom. Reasoning 27(4): 353-389 (2001)

Guilherme Bittencourt, Isabel Tonin: A Proof Strategy Based on a Dual Representation. AISC 2000: 78-91

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: Dynamic Social Knowledge: A Comparative Evaluation. IBERAMIA-SBIA 2000: 176-185

Frederico Luiz Gonçalves de Freitas, Guilherme Bittencourt: Cognitive Multi-agent Systems for Integrated Information Retrieval and Extraction over the Web. IBERAMIA-SBIA 2000: 310-319

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: From a Concurrent Architecture to a Concurrent Autonomous Agents Architecture. RoboCup 1999: 274-285

Guilherme Bittencourt: Concurrent Inference through Dual Transformation. Logic Journal of the IGPL 6(6): 795-833 (1998)

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: Dynamic Social Knowledge: A Cognitive Multi-Agent System Cooperation Strategy. ICMAS 1998: 415-416

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: UFSC-Team: A Cognitive Multi-agent Approach to the RoboCup'98 Simulator League. RoboCup 1998: 371-376

Claudio Cesar de Sá, Guilherme Bittencourt, Nizam Omar: An Autonomous Agent Architecture and the Locomotion Problem. SBIA 1998: 11-20

Guilherme Bittencourt, Isabel Tonin: A Multi-Agent Approach to First-Order Logic. EPIA 1997: 167-178

Augusto Cesar Pinto Loureiro da Costa, Guilherme Bittencourt: Parla: A Cooperation Language for Cognitive Multi-Agent Systems. EPIA 1997: 207-216

Guilherme Bittencourt: In the Quest of the Missing Link. IJCAI (1) 1997: 310-315

Sandra Sandri, Guilherme Bittencourt: Possibilistic Semantic Nets. IPMU 1994: 318-325

Guilherme Bittencourt, Maurício Marengoni, Sandra Sandri: The Use of Possibilistic Logic PL1 in a Customizable Tool for the Generation of Production-Rule Based Systems. ECSQARU 1993: 33-40

Guilherme Bittencourt: A Connectionist-Symbolic Cognitive Model. ISMIS 1993: 538-547

Guilherme Bittencourt: A System to Aid the Specification of Knowledge-Based Systems. SCAI 1989: 567-580

Guilherme Bittencourt: Integration of Graphical Tools in a Computer Algebra System. AAECC 1986: 13-24