LogIA

Publications

2018

1.   ALCÂNTARA, J.; SA, S.. On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks. Em: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), p. 15-27, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Alcântara, João ; SÁ, Samy. An Infinite-Valued Grounded Labelling for Abstract Argumentation Frameworks. Em: 33th Annual ACM Symposium on Applied Computing (SAC 2018), p. 903-910, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BUSTAMANTE, LUIS HENRIQUE; MARTINS, ANA TERESA ; Martins, Francicleber Ferreira. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. Em: Moss L., de Queiroz R., Martinez M.. (Org.). Lecture Notes in Computer Science. 1ed. : Springer Berlin Heidelberg. 2018.v. 10944, p. 163-178.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CHAVES, Iago C. ; PAULA, Manoel R. P. ; LEITE, Lucas G. M. ; GOMES, João P. P. ; MACHADO, Javam C.. Hard Disk Drive Failure Prediction Method based on a Bayesian Network. Em: IEEE International Joint Conference on Neural Networks, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   Fernando Dione S. Lima ; Francisco Lucas F. Pereira ; LEITE, Lucas G. M. ; GOMES, João P. P. ; MACHADO, Javam C.. Remaining Useful Life Estimation of Hard Disk Drives based on Deep Neural Networks. Em: IEEE International Joint Conference on Neural Networks, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FRANCO, A. O. R. ; Franco da Silva ; Monteiro Pinheiro ; MAIA, J. G. R. ; GOMES, F. A. C. ; Miguel Franklin de Castro. Analyzing Actions in Play-by-Forum RPG. Em: 13th International Conference Computational Processing of the Portuguese Language (PROPOR), v. 11122, p. 180-190, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Luis Henrique Bustamante ; Ana Teresa Martins ; FERREIRA, F. M.. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. Em: 25th Workshop on Logic, v. 10944, p. 163-178, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MATIAS, A. L. S. ; SOUSA, L. S. ; ROCHA NETO, A. R. ; GOMES, J. P. P.. Fuzzy ART-based Classification via Sparse Bayesian learning. Em: IEEE International Joint Conference on Neural Networks, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   OLIVEIRA, SAULO A.F. ; ALVES, SHARA S.A. ; GOMES, JOÃO P.P. ; ROCHA NETO, AJALMAR R.. A Bi-directional Evaluation-based Approach for Image Retargeting Quality Assessment. COMPUTER VISION AND IMAGE UNDERSTANDING. v. 168, p. 172-181, issn: 10773142, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PEREIRA, F. L. F. ; LIMA, F. D. S. ; LEITE, L. G. M. ; GOMES, J. P. P. ; MACHADO, J. C.. Transferência de Aprendizado para Redes Bayesianas com Aplicação em Predição de Falha de Discos Rígidos. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA. v. 16, p. 1, issn: 15198219, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   ROCHA, T. A. ; MARTINS, A.T. ; FERREIRA, F.M.. On Finding a First-Order Sentence Consistent with a Sample of Strings. Em: The Ninth International Symposium on Games, v. 277, p. 220-234, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   RODRIGUES, L. R. ; GOMES, J. P. P. ; ROCHA NETO, A. R. ; SOUZA JUNIOR, A. H.. A Modified Symbiotic Organisms Search Algorithm Applied to Flow Shop Scheduling Problems. Em: IEEE Congress on Evolutionary Computation, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   RODRIGUES, L. R. ; GOMES, JOÃO PAULO PORDEUS ; OLIVEIRA, S. A. F. ; OLIVEIRA, L. S. ; YONEYAMA, T.. Métodos Quantitativos - Pesquisa Operacional. : Improving the computational efficiency of teaching-learning based optimization for job shop scheduling problems by eliminating unnecessary objective function calls. 1ed.Belo Horizonte. Em: . : Poisson. 2018.v. 3, p. 137-148.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   RODRIGUES, LEONARDO R. ; GOMES, JOAO PAULO P.. Spare Parts List Recommendations for Multiple-Component Redundant Systems Using a Modified Pareto Ant Colony Optimization Approach. IEEE Transactions on Industrial Informatics. v. 14, p. 1107-1114, issn: 15513203, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   SALES, J. E. ; BARZEGAR, S. ; SILVA, J. W. F. ; BERMEITINGER, B. ; CUNHA, T. ; DAVIS, B. ; FREITAS, A. ; HANDSCHUH, S.. A Multilingual Test Collection for the Semantic Search of Entity Categories. Em: 11th Language Resources and Evaluation Conference - LREC, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   Thiago Alves ; MARTINS, A. T. C. ; FERREIRA, F. M.. Synthesis of a DNF Formula from a Sample of Strings. Em: 7th Brazilian Conference on Intelligent Systems (BRACIS), v. 1, p. 1-6, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   Thiago Alves ; MARTINS, A.T. ; FERREIRA, F.M.. On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. Em: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), v. 1, p. 203-215, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   VIANA, H. ; ALCÂNTARA, J.. Aggregation with T-Norms and LexiT-Orderings and Their Connections with the Leximin Principle. Em: North American Fuzzy Information Processing Society Annual Conference, p. 179-191, 2018.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2017

1.   Ana Teresa Martins; FERREIRA, F. M.. Logic of Epistemic Inconsistency. Em: Encyclopedia of Proof Systems, 2017, Brasilia. Encyclopedia of Proof Systems, v. 1, p. 57-58, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BARBOSA, A. M. ; ARAUJO NETO, A. N. ; SANTOS, E. M. ; GOMES, J. P. P.. Using Learning Analytics and Visualization Techniques to Evaluate the Structure of Higher Education Curricula. Em: XXVIII Simpósio Brasileiro de Informática na Educação, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARBOSA, A. M. ; SANTOS, E. M. ; GOMES, J. P. P.. A machine learning approach to identify and prioritize college students at risk of dropping out. Em: Simpósio Brasileiro de Informática na Educação, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BARREIRA, R. ; Pinheiro, V. ; FURTADO, V.. FrameFOR ? a Knowledge Base of Semantic Frames for Digital Forensics. Em: Symposium in Information and Human Language Technology., v. 1, p. 171-180, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BARREIRA, RAVI ; Pinheiro, Vladia ; Furtado, Vasco. A framework for digital forensics analysis based on semantic role labeling. Em: 2017 IEEE International Conference on Intelligence and Security Informatics (ISI), p. 66, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   CALDAS, WESLLEY L. ; GOMES, JOÃO P. P. ; MESQUITA, DIEGO P. P.. Fast Co-MLM: An Efficient Semi-supervised Co-training Method Based on the Minimal Learning Machine. NEW GENERATION COMPUTING. v. 36, p. 41-58, issn: 02883635, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   DIAS, M. L. D. ; ALENCAR, A. ; ROCHA NETO, A. R. ; GOMES, J. P. P.. A new approach to select reference points of minimal learning machine via genetic algorithms. Em: Simpósio Brasileiro de Automação Inteligente - SBAI, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FARIAS, MÁRCIA ; Martins, Ana Teresa ; FERREIRA, FRANCICLEBER. The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. v. 332, p. 113-130, issn: 15710661, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FARIAS, V. A. E. ; PINHEIRO, P. R. A. ; SOUSA, F. R. C. ; GOMES, J. P. P. ; MACHADO, J. C.. Online Performance Modeling for NoSQL Databases using Extreme Learning Machines. Em: Simpósio Brasileiro de Banco de Dados, 2017, Uberlândia. Anais, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   FARIAS, VICTOR A.E. ; SOUSA, FLÁVIO R.C. ; MAIA, JOSÉ GILVAN R. ; GOMES, JOÃO PAULO P. ; MACHADO, JAVAM C.. Regression based performance modeling and provisioning for NoSQL cloud databases. Future Generation Computer Systems-The International Journal of eScience. v. PP, p. 1-21, issn: 0167739X, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FEITOSA, D. ; Pinheiro, V.. Análise de Medidas de Similaridade Semântica na Tarefa de Reconhecimento de Implicação Textual. Em: Symposium in Information and Human Language Technology, v. 1, p. 161-170, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   Fernando Dione S. Lima ; Gabriel M. R. Amaral ; LEITE, Lucas G. M. ; GOMES, João P. P. ; MACHADO, Javam C.. Predicting Failures in Hard Drives with LSTM Networks. Em: Brazilian Conference on Intelligent Systems (BRACIS), 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Francisco Lucas F. Pereira ; Fernando Dione S. Lima ; LEITE, Lucas G. M. ; GOMES, João P. P. ; MACHADO, Javam C.. Transfer Learning for Bayesian Networks with Application on Hard Disk Drives Failure Prediction. Em: Brazilian Conference on Intelligent Systems (BRACIS), 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   GOMES, J. P. P.; MESQUITA, DIEGO P.P. ; FREIRE, A. L. ; SOUZA JUNIOR, A. H. ; KARKKAINEN, T.. A Robust Minimal Learning Machine based on the M-Estimator. Em: European Symposium on Artificial Neural Networks, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   LIMA, S. M. ; Pinheiro, V. ; OLIVEIRA, J. D. A. ; CAMINHA, CARLOS ; LOPES, A. S.. MODELOS DE NEGÓCIOS APLICADOS A COMPARTILHAMENTO DE VEÍCULOS ELÉTRICOS. Em: XX SEMEAD ? Seminários em Administração FEA- USP, v. 1, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   LOPES, A. S. ; MENEZES, E. ; OLIVEIRA, J. D. A. ; Pinheiro, Vladia ; COSTA, S. L.. Identificação de Problemas Ambientais e Levantamento de Indicadores Associados à Eletrificação de Frotas. Em: XXXI Congresso de Pesquisa e Ensino em Transportes - ANPET, v. 1, p. 1-13, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   Luis Henrique Bustamante ; MARTINS, A.T.. The Descriptive Complexity of k-SUM. Em: XVIII Brazilian Logic Conference (EBL 2017), 2017, Pirinópolis. Proceedings of the XVIII Brazilian Logic Conference (EBL 2017). Campinas: EBL, v. 1, p. 1-1, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   Matheus H. M. Pericini ; LEITE, Lucas G. M. ; MACHADO, Javam C.. MALiBU: Metaheuristics Approach for Online Load Balancing in MapReduce with Skewed Data Input. Em: 35º Simpósio Brasileiro de Redes de Computadores (SBRC), 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   MESQUITA, D. P. P. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H. ; NOBRE, J. S.. Euclidean Distance Estimation in Incomplete Datasets. NEUROCOMPUTING. v. 248, p. 11-18, issn: 09252312, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   MESQUITA, DIEGO ; gomes, joao paulo ; SOUZA JUNIOR, AMAURI. Epanechnikov Kernel for Incomplete Data. ELECTRONICS LETTERS. v. 1, p. pp, issn: 00135194, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   MESQUITA, DIEGO P. P. ; GOMES, JOÃO P. P. ; SOUZA JUNIOR, AMAURI H.. Ensemble of Efficient Minimal Learning Machines for Classification and Regression. NEURAL PROCESSING LETTERS. v. 46, p. 751-766, issn: 13704621, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   MESQUITA, DIEGO P.P. ; P. GOMES, JOÃO PAULO ; RODRIGUES, LEONARDO R. ; OLIVEIRA, SAULO A.F. ; GALVÃO, ROBERTO K.H.. Building selective ensembles of Randomization Based Neural Networks with the successive projections algorithm. APPLIED SOFT COMPUTING. v. 70, p. 1135-1145, issn: 15684946, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   Márcia F. Farias ; MARTINS, A.T. ; Ferreira, Francicleber Martins. Complexidade Descritiva do Fragmento Monádico da Lógica RIFP. Em: XVIII Brazilian Logic Conference (EBL 2017), 2017, Pirinópolis. Proceedings of the XVIII Brazilian Logic Conference (EBL 2017). Campinas: EBL, v. 1, p. 1-1, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   PINTO, V. P. ; GALVAO, R. K. H. ; GOMES, J. P. P. ; RODRIGUES, L. R.. Controle e replanejamento de missão de um quadrirotor baseado na disponibilidade energética da bateria. Em: Simpósio Brasileiro de Automação Inteligente - SBAI, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   QUEIROZ, LUCAS P. ; GOMES, JOAO PAULO P. ; RODRIGUES, FRANCISCO CAIO M. ; BRITO, FELIPE T. ; CHAVES, IAGO C. ; LEITE, LUCAS G. M. ; MACHADO, JAVAM C.. Fault Detection in Hard Disk Drives Based on a Semi Parametric Model and Statistical Estimators. NEW GENERATION COMPUTING. v. SP, p. 1-15, issn: 02883635, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   RODRIGUES, L. R. ; GOMES, J. P. P. ; OLIVEIRA, S. A. F. ; OLIVEIRA, L. S. ; YONEYAMA, T.. Improving the Computational Efficiency of Teaching-Learning Based Optimization for Job Shop Scheduling Problems by Eliminating Unnecessary Objective Function Calls. Em: Simpósio Brasileiro de Pesquisa Operacional, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   RODRIGUES, L. R. ; GOMES, J. P. P. ; PINTO, V. P. ; GALVAO, R. K. H.. Use of Teaching-Learning Based Optimization for Filter Parameter Tuning in the Prognostics of a Quadrotor Battery. Em: Annual conference of the prognostics and health management society, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   RODRIGUES, LEONARDO R. ; GOMES, JOÃO P. P. ; ALCÂNTARA, JOÃO F. L.. Embedding Remaining Useful Life Predictions into a Modified Receding Horizon Task Assignment Algorithm to Solve Task Allocation Problems. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (DORDRECHT. ONLINE). v. -, p. 1-13, issn: 15730409, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   SANTOS, A. ; FRANCO, A. ; MAIA, J. G. R. ; GOMES, F. A. C. ; Miguel Franklin de Castro. A Methodology Proposal for MMORPG Content Expansion Analysis. Em: XVI Simpósio Brasileiro de Jogos e Entretenimento Digital, v. 1, p. 1-10, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   VERAS, M. B. A. ; MESQUITA, D. P. P. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H. ; BARRETO, G. A.. Forward Stagewise Regression on Incomplete Datasets. Em: International Work-Conference on Artificial Neural Networks, 2017.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   Veras, Marcelo B. A.; Mesquita, Diego P. P. ; Gomes, João P. P. ; Souza Junior, Amauri H. ; Barreto, Guilherme A.. Forward Stagewise Regression on Incomplete Datasets. Lecture Notes in Computer Science. 1ed. Em: . : Springer International Publishing. 2017.v. 10305, p. 386-395.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2016

1.   ALENCAR, A. ; ROCHA NETO, A. R. ; GOMES, J. P. P.. A New Pruning Method for Extreme Learning Machines via Genetic Algorithms. Applied Soft Computing (Print). v. 44, p. 101-107, issn: 15684946, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ARNALDO, A. ; VASCONCELOS, D. R. ; MARTINS, A. T. C.. First-Order Logic for Decision Problems with Preference Aggregation. Em: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), v. 1, p. 498-503, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Azevedo Junior, E. ; RODRIGUES FILHO, C. R.. Monitoria de Matemática Báisca e Discreta Relato de Experiência. Em: Encontros Universitários UFC Quixadá 2016, 2016, Quixadá, CE. Anais dos Encontros Universitários UFC Quixadá 2016. Quixadpa: UFC Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Brito, Carlos F. ; Marques, Victor X.. Is There a Role for Computation in the Enactive Paradigm?. Fundamental Issues of Artificial Intelligence. 1ed. Em: . : Springer International Publishing. 2016.v. 376, p. 79-94.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   CALDAS, W. L. ; GOMES, J. P. P. ; CACAIS, M. G. ; MESQUITA, DIEGO P.P.. Co-MLM: a SSL algorithm based on the Minimal Learning Machine. Em: Brazilian Conference on Intelligent Systems - BRACIS, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   CAMINHA, CARLOS ; Furtado, Vasco ; Pinheiro, Vladia ; SILVA, CAIO. Micro-interventions in urban transportation from pattern discovery on the flow of passengers and on the bus network. Em: 2016 IEEE International Smart Cities Conference (ISC2), p. 1, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   CHAVES, IAGO C.; PAULA, MANOEL RUI P. DE ; LEITE, LUCAS G.M. ; QUEIROZ, LUCAS P. ; GOMES, JOAO PAULO P. ; MACHADO, JAVAM C.. BaNHFaP: A Bayesian Network Based Failure Prediction Approach for Hard Disk Drives. Em: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), p. 7-12, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   CORRÊA, RICARDO C. ; FARIAS, PABLO M.S.. Linear time computation of the maximal linear and circular sums of multiple independent insertions into a sequence. Theoretical Computer Science. v. 661, p. 08-17, issn: 03043975, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   DAMASCENO, F. F. R. ; MESQUITA, D. P. P. ; VERAS, M. B. A. ; GOMES, J. P. P. ; BRITO, C. E. F.. Shrinkage k-means: A clustering algorithm based on the James-Stein Estimator. Em: 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   DAMASCENO, FILIPE F.R. ; VERAS, MARCELO B.A. ; MESQUITA, DIEGO P.P. ; GOMES, JOAO P.P. ; BRITO, CARLOS E.F. DE. Shrinkage k-Means: A Clustering Algorithm Based on the James-Stein Estimator. Em: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), p. 433, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FARIAS, M. R. F. ; MARTINS, A. T. ; FERREIRA, F.M.. The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. Em: LSFA - Workshop on Logical and Semantic Frameworks, v. 332, p. 113-130, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   FARIAS, V. A. E. ; SOUSA, F. R. C. ; MAIA, J. G. R. ; GOMES, J. P. P. ; MACHADO, J. C.. Machine Learning Approach for Cloud NoSQL Databases Performance Modeling. Em: EEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 2016, Cartagena. Anais, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   FARIAS, V. A. E. ; SOUSA, F. R. C. ; MAIA, J. G. R. ; MACHADO, J. C. ; GOMES, J. P. P.. Elastic Provisioning for Cloud Databases with Uncertainty Management. Em: ACM Symposium on Applied Computing, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   FRANCO, A. O. R. ; MAIA, J. G. R. ; GOMES, F. A. C.. A Programming Framework for Autonomous NPCs. Em: Eric Lengyel. (Org.). Game Engine Gems 3. 1aed.New York. : CRC Press. 2016.v. 3, p. 255-265.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   FREIRE, J. ; Pinheiro, V. ; FEITOSA, D.. FlexSTS: Um Framework para Similaridade Semântica Textual. Linguamática (Braga). v. 8, p. 23-31, issn: 16470818, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   FREIRE, J. ; Pinheiro, V. ; FEITOSA, D.. LEC_UNIFOR no ASSIN: FlexSTS - Um Framework para Similaridade Semântica Textual. Em: Workshop ASSIN - Avaliação de Similaridade Semântica e Inferência Textual, 2016, Tomar/Portugal. Anais do Workshop ASSIN, v. 1, p. 1, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   FRUTUOSO, R. L. ; GOMES, J. P. P. ; SANTOS, E. M. ; CAVALCANTE NETO, J. B. ; VIDAL, C. A.. Texture Analysis using Informed Search in Graphs. Em: Conference on Graphics, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   Gomes, F. Carvalho; Flávio Feferman ; Peter Knight ; Glenn Woroch. Parcerias público-privadas para expansão do acesso à banda larga: Lições do Cinturão Digital do Ceará no Brasil. Em: Peter Knight; Flavio Feferman; Nathalia Foditsch. (Org.). Banda Larga no Brasil - Passado, Presente e Futuro. 1aed.Rio de Janeiro. : FGV Direito Rio. 2016.v. 1, p. 317-355.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   Gomes, F. Carvalho; MAIA, J. G. R.. Learning Optimal Decision Lists as a Metaheuristic Search for Diagnosis of Parkinson's Disease. Em: 2nd International Workshop on Machine learning, v. 10122, p. 391-401, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   GOMES, J. P. P.; RODRIGUES, LEONARDO RAMOS ; LEAO, BRUNO P. ; GALVAO, ROBERTO KAWAKAMI HARROP ; YONEYAMA, T.. Using Degradation Messages to Predict Hydraulic System Failures in a Commercial Aircraft. IEEE Transactions on Automation Science and Engineering. v. PP, p. 1-11, issn: 15583783, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   LEAL, C. P. ; GIRAO, B. N. ; ALVES, C. A. ; SÁ, SAMY ; PINHEIRO JUNIOR, J. L. O. ; CANDIDO, A. K. B.. Organização da Game Night para a Comunidade Acadêmica da UFC - Quixadá. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   LEAO, BRUNO P. ; YONEYAMA, T. ; GOMES, J. P. P.. Asymmetric Unscented Transform for Failure Prognosis. IEEE Transactions on Reliability. v. 65, p. 1-10, issn: 00189529, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   MAIA, GABRIEL ; ALCANTARA, JOAO. Reasoning about Trust and Belief in Possibilistic Answer Set Programming. Em: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), p. 217, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   MALKOMES, GUSTAVO ; DE BRITO, CARLOS EDUARDO FISCH ; GOMES, JOÃO PAULO PORDEUS. A stochastic framework for K-SVD with applications on face recognition. PATTERN ANALYSIS AND APPLICATIONS. v. pp, p. 1-10, issn: 14337541, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   MARTINS, J. S. ; SOUZA, I. E. S. ; SÁ, SAMY. Relato de Experiência: English Club. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   MESQUITA, D. P. P. ; ARAUJO NETO, A. N. ; QUEIROZ NETO, J. F. ; GOMES, J. P. P. ; RODRIGUES, L. R.. Using Robust Extreme Learning Machines to Predict Cotton Yarn Strength and Hairiness. Em: European Symposium on Artificial Neural Networks, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   MESQUITA, D. P. P. ; GOMES, J. P. P.. Radial Basis Function Neural Networks for datasets with missing values. Em: International Conference on Intelligent Systems Design and Applications (ISDA), 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   MESQUITA, D. P. P. ; GOMES, J. P. P. ; RODRIGUES, L. R.. K-means for Datasets with Missing Attributes: Building Soft Constraints with Observed and Imputed Values. Em: European Symposium on Artificial Neural Networks, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   MESQUITA, DIEGO P.P. ; GOMES, J. P. P. ; RODRIGUES, L. R.. Extreme Learning Machines for Datasets with Missing Values Using the Unscented Transform. Em: Brazilian Conference on Intelligent Systems - BRACIS, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   MESQUITA, DIEGO P.P. ; ROCHA, LINCOLN S. ; P. GOMES, JOÃO PAULO ; ROCHA NETO, AJALMAR R.. Classification with Reject Option for Software Defect Prediction. Applied Soft Computing (Print). v. pp, p. 1-12, issn: 15684946, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   Márcia F. Farias ; Martins, A. T. ; FERREIRA, F.M.. The descriptive complexity of logics with relational fixed-point. Em: LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, v. 1, p. 30-45, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   OLIVEIRA, ADONIAS C. DE; GOMES, JOAO PAULO P. ; NETO, AJALMAR R. ROCHA ; SOUZA, AMAURI H. DE. Efficient Minimal Learning Machines with Reject Option. Em: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), p. 397, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   OLIVEIRA, H. V.; ALCÂNTARA, JOÃO. Propositional Belief Merging with T-conorms. Em: 14th European Conference on Multi-Agent Systems (EUMAS), 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   OLIVEIRA, H. V.; ALCÂNTARA, JOÃO. Sufficientarian Propositional Belief Merging. Em: 14th European Conference on Multi-Agent Systems (EUMAS), 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   OLIVEIRA, S. A. F. ; GOMES, J. P. P. ; ROCHA NETO, A. R.. Towards fixation prediction: a nonparametric estimation-based approach through key-points. Em: Brazilian Conference on Intelligent Systems - BRACIS, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   Pablo Ximenes ; Marcio Correia ; Miguel Franklin de Castro ; Rossana Andrade ; Gomes, F. Carvalho. TARP Fingerprinting: Um Mecanismo de Browser Fingerprinting Baseado em HTML5 Resistente a Contramedidas. Em: SBSEG16 - Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, v. 1, p. 34, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37.   QUEIROZ, L. P. ; RODRIGUES, F. C. M. ; GOMES, J. P. P. ; BRITO, F. T. ; CHAVES, I. C. ; MACHADO, J. C.. Fault Detection in Hard Disk Drives Based on Mixture of Gaussians. Em: Brazilian Conference on Intelligent Systems - BRACIS, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38.   QUEIROZ, LUCAS P. ; RODRIGUES, FRANCISCO CAIO M. ; GOMES, JOAO PAULO P. ; BRITO, FELIPE T. ; CHAVES, IAGO C. ; PAULA, MANOEL RUI P. ; SALVADOR, MARCOS R. ; MACHADO, JAVAM C.. A Fault Detection Method for Hard Disk Drives Based on Mixture of Gaussians and Non-parametric Statistics. IEEE Transactions on Industrial Informatics. v. PP, p. 1-1, issn: 19410050, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39.   SARAIVA, M. M. ; MARTINS, J. S. ; ALEXANDRINO, A. O. ; LIMA, R. A. ; SÁ, SAMY. Relato de Experiência da Organização do FLISoL 2016 em Quixadá. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40.   SARAIVA, M. M. ; SÁ, SAMY. Um Ambiente Virtual de Aprendizagem Para Auxiliar no Processo de Ensino e Aprendizagem de Matemática. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41.   SARAIVA, M. M. ; SÁ, SAMY. Relato de Experiência da Criação de Videoaulas Sobre Desenvolvimento de Jogos com Unity. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42.   Silva, M. ; FERREIRA, F.M.. 'Hilfssatz'; 'Geordnetes Paar'; 'Äquivalenzbeziehung'; 'Äquivalenzrelation'; 'Äquivalenzklasse'; 'Gleichung'; 'Intuitionismus'; 'Axiom'; 'Axiomatik'; 'Iteration'; 'Topologie'; 'Satz von Löwenheim-Skolem'; 'Beweistheorie'; 'Beweisbarkeit'. Em: C. Demmerling; P. Stekeler-Weithofer. (Org.). Wörterbücher zur Sprach- und Kommunikationswissenschaft (WSK) Online. 1ed.Berlin/Boston. : de Gruyter. 2016.p. 1.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43.   SILVEIRA, R. ; FURTADO, V. ; Pinheiro, V.. Towards Keyphrase Assignment for Texts in Portuguese Language. Em: International Conference on Computational Processing of the Portuguese Language, v. 9727, p. 165-176, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44.   SOUZA, D. A. ; PINTO, V. P. ; NASCIMENTO, L. B. P. ; TORRES, J. L. O. ; GOMES, JOAO PAULO PORDEUS ; SA JUNIOR, J. J. M. ; ALMEIDA, R. N. C.. Battery Discharge forecast applied in Unmanned Aerial Vehicle. Przeglad Elektrotechniczny. v. 2016, p. 185, issn: 00332097, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
45.   SOUZA, I. E. S. ; SÁ, SAMY. Ferramenta para Gerenciamento do FLISoL. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
46.   Thiago Alves ; MARTINS, A.T.. Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers. Em: 1º ETC - Encontro de Teoria da Computação, 2016, Porto Alegre. Anais do CSBC 2016. Porto Alegre: SBC, v. 1, p. 788-791, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
47.   VIEIRA, M. M. ; LEAL, C. P. ; SÁ, SAMY. InfoGirl: Atraindo Mulheres para Computação. Em: VI Encontros Universitários da UFC em Quixadá, 2016, Quixadá. Anais do VI Encontros Universitários da UFC em Quixadá, 2016.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2015

1.   ALENCAR, A. ; CALDAS, W. L. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H. ; AGUILAR, P. A. C. ; SILVA, J. W. F. ; RODRIGUES, C. ; ANDRADE, R. M. C. ; CASTRO, M. F.. MLM-Rank: A Ranking algorithm based on the Minimal Learning Machine. Em: Brazilian Conference on Intelligent Systems - BRACIS, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CAMINADA, M. ; SÁ, Samy ; ALCANTARA., J. F. ; DVORAK, W.. On the Difference between Assumption-based Argumentation and Abstract Argumentation. Em: Dov Gabbay; Jane Spurr. (Org.). IfCoLog Journal of Logics and their Applications. 1ed.Londres. : College Publications. 2015.v. 2, p. 15-34.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CAMINADA, MARTIN ; SÁ, Samy ; ALCÂNTARA, JOÃO ; DVO'ÁK, WOLFGANG. On the equivalence between logic programming semantics and argumentation semantics. International Journal of Approximate Reasoning. v. 58, p. 87-111, issn: 0888613X, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CAMINADA, MARTIN ; SÁ, SAMY ; Alcântara, João ; DVORAK, W.. On the Difference between Assumption-Based Argumentation and Abstract Argumentation. IfCoLog Journal of Logics and their Applications. v. 2, p. 15-34, issn: 20553706, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, J. P. P.; GALVAO, ROBERTO KAWAKAMI HARROP ; YONEYAMA, T. ; LEAO, BRUNO P.. A New Degradation Indicator Based on a Statistical Anomaly Approach. IEEE Transactions on Reliability. v. 65, p. 1-10, issn: 00189529, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   GOMES, J. P. P.; SOUZA JUNIOR, A. H. ; CORONA, F. ; ROCHA NETO, A. R.. A Cost Sensitive Minimal Learning Machine for Pattern Classification. Em: ICONIP, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   LEITE, L. G. M.; ALVES, T. ; ALCANTARA, J. F. L.. Merging Argumentation Frameworks. Em: 4th Brazilian Conference on Intelligent Systems (BRACIS), 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   LENON BARBOSA NOGUEIRA, YURI ; EDUARDO FISCH DE BRITO, CARLOS ; AUGUSTO VIDAL, CRETO ; BENTO CAVALCANTE NETO, JOAQUIM. Emergent vision system of autonomous virtual characters. Neurocomputing (Amsterdam). v. 173, p. 1851-1867, issn: 09252312, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Luciano Comin Nunes ; PINHEIRO, P. R. ; PEQUENO, T. H. C. ; Miriam Caliope Dantas. Handling Diagnosis of by Hybrid Method. Computational and Mathematical Methods in Medicine. v. 2015, p. 1-15, issn: 17486718, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MAIA, J. G. R. ; FRANCO, A. O. R. ; MESQUITA NETO, J. ; Gomes, F. Carvalho. An Interactive Storytelling Model for Non-Player Characters on Electronic RPGs. Em: XIV Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames), p. 33-41, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   MESQUITA, D. P. P. ; GOMES, J. P. P. ; RODRIGUES, L. R. ; GALVAO, R. K. H.. Pruning Extreme Learning Machines Using the Successive Projections Algorithm. Revista IEEE América Latina. v. 13, p. 3974, issn: 15480992, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   MESQUITA, D. P. P. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H.. Ensemble of Minimal Learning Machine for Pattern Classification. Em: International Work Conference on Artificial Neural Networks, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   MESQUITA, D. P. P. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H.. A Minimal Learning Machine for datasets with missing values. Em: ICONIP, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   Márcia F. Farias ; Martins, A. T. ; FERREIRA, F.M.. Logics with Relational FIxed-Point Operators. Em: Filomena 2, 2015, Natal. Proceedings of Nat@logic 2015 Filomena 2. Natal: Creative Commons, v. 1, p. 98-98, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   OLIVEIRA, C. H. S.; DE CASTRO, MIGUEL FRANKLIN. Autonomic Duty Cycling for Target in a Bio-Inspired Wireless Sensor Network. Em: The Tenth International Conference on Systems ICONS 2015, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   OLIVEIRA, CAMILA H. S. ; GHAMRI-DOUDANE, YACINE ; BRITO, CARLOS E. F. ; LOHIER, STEPHANE. Virtual Broking Coding for Reliable In-Network Storage on WSANs. Em: 2015 IEEE Symposium on Computers and Communication (ISCC), p. 974, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   OLIVEIRA, CAMILA H.S. ; GHAMRI-DOUDANE, YACINE ; BRITO, CARLOS EDUARDO F. ; LOHIER, STEPHANE. Optimal Network Coding-based In-Network Data Storage and Data Retrieval for IoT/WSNs. Em: 2015 IEEE 14th International Symposium on Network Computing and Applications (NCA), p. 208, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   PEREIRA, V. ; Pinheiro, V.. RePort - Um Sistema de Extração de Informações Aberta para Língua Portuguesa. Em: X Brazilian Symposium in Information and Human Language Technology (STIL), 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   Pinheiro, Vladia; PONTES, R. ; FURTADO, V.. A #hashtagtokenizer for Social Media Messages. International Journal of Computational Linguistics and Applications. v. 6, p. 139, issn: 09760962, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   PRADO PINTO, FRANCISCA APARECIDA ; LEITE DE MOURA, LUCAS GONCALVES ; CORDEIRO BARROSO, GIOVANNI ; FIALLOS AGUILAR, MARIO MAURICIO. Algorithms Scheduling with Migration Strategies for Reducing Fragmentation in Distributed Systems. Revista IEEE América Latina. v. 13, p. 762-768, issn: 15480992, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   RODRIGUES, F. C. M. ; QUEIROZ, L. P. ; GOMES, J. P. P. ; MACHADO, J. C.. Predicting overtemperature events in graphics cards using regression models. Em: Bracis, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   SANTOS, I. S. ; SILVA, J. W. F. ; ARAGAO, B. ; ANDRADE, R. M. C.. Definição e Aplicação de um Processo de Testes Ágeis: um Relato de Experiência. Em: XIV Simpósio Brasileiro de Qualidade de Software, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   SILVEIRA, RAQUEL ; Furtado, Vasco ; Pinheiro, Vladia. Using Non-textual Terms for Boosting Document Keyphrase Assignment. Em: 2015 IEEE / WIC / ACM International Conference on Web Intelligence and Intelligent Agent Technology (WIIAT), v. 1, p. 260-267, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   SILVEIRA, RAQUEL ; Furtado, Vasco ; Pinheiro, Vladia. Ranking Keyphrases from Semantic and Syntactic Features of Textual Terms. Em: 2015 Brazilian Conference on Intelligent Systems (BRACIS), v. 1, p. 134, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   SOUZA, D. A. ; TORRES, J. L. O. ; GOMES, JOAO P. P. ; RODRIGUES, LEONARDO RAMOS ; ALMEIDA, R. N. C. ; PINTO, V. P.. Predição da vida útil remanescente de baterias de LI-PO em VANTs utilizando filtro de Kalman estendito. Em: Simpósio Brasileiro de Automação Inteligente - SBAI, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   VIANA, HENRIQUE ; Alcântara, João ; MARTINS, ANA TERESA. Searching contexts in paraconsistent rough description logic. Journal of the Brazilian Computer Society (Impresso). v. 21, p. 1-13, issn: 01046500, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2014

1.   ALENCAR, A. ; GOMES, J. P. P. ; SOUZA JUNIOR, A. H. ; FREIRE, L. A. M. ; SILVA, J. W. F. ; ANDRADE, R. M. C. ; CASTRO, M. F.. Regularized Supervised Distance Preserving Projections for Short-Text Classification. Em: Brazilian Conference on Intelligent Systems - BRACIS, p. 221-216, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ALEXANDRINO, A. O. ; ALEXANDRINO, A. O. ; SILVA, A. L. ; VASCONCELOS, D. R. ; SÁ, SAMY. Sistema de Eventos - SEven. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   ARAÚJO, EDUARDO B. ; MOREIRA, ANDRÉ A. ; FURTADO, VASCO ; PEQUENO, TARCISIO H. C. ; ANDRADE, JR, JOSÉ S.. Collaboration Networks from a Large CV Database: Dynamics, Topology and Bonus Impact. Plos One. v. 9, p. e90537, issn: 19326203, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BEZERRA, G. ; Pinheiro, V. ; ALBUQUERQUE, A.. Incident Management Optimization through the Reuse of Experiences and Natural Language Processing. Em: 9th International Conference on the Quality of Information and Communications Technology (QUATIC), v. 1, p. 247-254, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   CAMINADA, MARTIN ; SÁ, SAMY ; Alcântara, João ; DVO'ÁK, WOLFGANG. On the equivalence between logic programming semantics and argumentation semantics. International Journal of Approximate Reasoning. v. 58, p. 87-111, issn: 0888613X, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FERREIRA, F.M. ; FREIRE, C.M. ; BENEVIDES, M.R.F. ; MENASCHÉ SCHECHTER, L. ; MARTINS, A.T.. Polynomial hierarchy graph properties in hybrid logic. Journal of Computer and System Sciences (Print). v. 80, p. 1087-1101, issn: 00220000, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FROTA, DEBORA FARIAS ; MARTINS, ANA TERESA ; ALCANTARA, JOAO ; BUSTAMANTE, LUIS HENRIQUE. An ALC Description Default Logic with Exceptions-First. Em: 2014 Brazilian Conference on Intelligent Systems (BRACIS), v. 1, p. 172-179, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   GOMES, F.A.C.; Glenn Woroch ; Flávio Feferman ; Peter Knight. Private-Public Partnerships for Expanding Broadband Access: lessons from the digital ring in Ceará, Brazil. Em: XX International Telecommunications Society Biennial Conference, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   GUEDES, RICARDO ; FURTADO, VASCO ; PEQUENO, TARCISIO. Multiagent Models for Police Resource Allocation and Dispatch. Em: 2014 IEEE Joint Intelligence and Security Informatics Conference (JISIC), p. 288, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   HOLANDA, P. ; GOMES, J. P. P. ; MONTEIRO FILHO, J. M. S. ; BRAYNER, A. ; LIFSCHITZ, S.. Improving Index Maintenance Using Decision Analysis. Journal of Information and Data Management - JIDM. v. 5, p. 280-292, issn: 21787107, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Lima. A, N, C. ; Muniz, F. T. L. ; VERAS, M. B. A. ; Miranda, A. M. ; SASAKI, J. M.. Improving Texture Analysis In Rietveld Refinement. Em: XIII Encontro da SBPMat, 2014, João Pessoa. Anais - XIII Encontro SBPMat - João Pessoa, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   MALKOMES, GUSTAVO ; PORDEUS, JOAO PAULO ; Brito, Carlos Fisch. An Improvement of the K-SVD Algorithm with Applications on Face Recognition. Em: 2014 Brazilian Conference on Intelligent Systems (BRACIS), p. 241-246, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   MARQUES, Victor Ximenes; BRITO, C.. The Rise and Fall of the Machine Metaphor: organizational similarities and differences between machines and living beings. Verifiche. v. XLIII, p. 77-111, issn: 03914186, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   MARTINS, J. S. ; GOMES, J. F. ; SOUZA, I. E. S. ; SÁ, SAMY. Avaliação do FLISoL de Quixadá. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   MARTINS, J. S. ; SÁ, SAMY. A Importância das Ferramentas Sociais para o Processo de Aprendizado em TI. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   OLIVEIRA, H. V.; ALCANTARA, J. F. L.. Priority-based Merging Operator without Distance Measures. Em: 12th European Conference on Multi-Agent Systems (EUMAS 2014), 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   Pinheiro, V.; FURTADO, V. ; ALBUQUERQUE, A.. Semantic Textual Similarity of Portuguese-Language Texts: An Approach Based on the Semantic Inferentialism Model. Lecture Notes in Computer Science. v. 8775, p. 183-188, issn: 03029743, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   PINTO, F. A. P. ; CHAVES, C. B. ; LEITE, L. G. M. ; VASCONCELOS, F. H. L. ; BARROSO, G. C.. Analysis of Scheduling Algorithms with Migration Strategies in Distributed Systems. Em: ICNS 2014 : The Tenth International Conference on Networking and Services, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   Iuri Fernandes Queiroz ; Luis Henrique Bustamante ; Ana Teresa Martins ; João Alcântara. Reasoning on Ontology Version Space with Temporal Logics. Em: Encontro Nacional de Inteligência Artificial e Computacional ENIAC 2014, v. 1, p. 1-6, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   RODRIGUES, LEONARDO R. ; GOMES, JOAO P. P. ; FERRI, FELIPE A. S. ; MEDEIROS, IVO P. ; GALVAO, ROBERTO K. H. ; NASCIMENTO JUNIOR, CAIRO L.. Use of PHM Information and System Architecture for Optimized Aircraft Maintenance Planning. IEEE Systems Journal. v. PP, p. 1-11, issn: 19328184, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   RODRIGUES, P. ; SÁ, SAMY. Introduzindo Garotas de Ensino Médio à Programação: IT Woman Day 2014. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   SARAIVA, M. M. ; SÁ, SAMY. Um Sistema para Suporte à Disciplina de Matemática Básica. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   SOARES, W. R. ; SÁ, SAMY. Ferramenta para Auxílio no Ensino de Argumentação Abstrata. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   SOUSA, O. A. ; SÁ, SAMY. A Utilização dos Frameworks VRaptor, Bootstrap, Hibernate e a Biblioteca jQuery do JavaScript no Desenvolvimento do Sistema My Tasks. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   VIANA, HENRIQUE; ARAUJO, ARNALDO ; LEITE, LUCAS ; ALCANTARA, JOAO. Private Dynamic Epistemic Friendship Logic. Em: 2014 Brazilian Conference on Intelligent Systems (BRACIS), p. 378-383, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   VIEIRA, M. M. ; SÁ, SAMY. Atividade 2014 nas Escolas de Ensino Médio. Em: IV Encontros Universitários da UFC em Quixadá, 2014, Quixadá. Anais do IV Encontros Universitários da UFC em Quixadá, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2013

1.   Arruda, A. M.; FINGER, M.. Completeness for cut-based abduction. Logic Journal of the IGPL (Online). v. 21, p. 1, issn: 13689894, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUSTAMANTE, L. H.; BIRGIN, E. G. ; CALLISAYA, H. F. ; MARTÍNEZ, J. M.. Packing circles within ellipses. International Transactions in Operational Research. v. 20, p. 365-389, issn: 09696016, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CAMINADA, M. ; SA, S. ; ALCÂNTARA, J.. On the Equivalence between Logic Programming Semantics and Argumentation Semantics. Em: 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013), v. 7958, p. 97-108, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CAMINADA, M. ; SA, S. ; ALCÂNTARA, J. ; DVORAK, W.. On the Difference between Assumption-Based Argumentation and Abstract Argumentation. Em: 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   CAMINADA, M. ; SÁ, Samy ; ALCANTARA, J.. On the Equivalence between Logic Programming Semantics and Argumentation Semantics. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. 1ed. Em: . : Springer. 2013.v. 7958, p. 97-108.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   CAMINADA, M. ; SÁ, Samy ; ALCANTARA, J. ; DVORAK, W.. On the difference between assumption-based semantics argumentation and abstract argumentation. Em: 25th Benelux Conference on Artificial Intelligence, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   CORRÊA, RICARDO C. ; FARIAS, PABLO M.S. ; DE SOUZA, CRÍSTON P.. Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence. Journal of Discrete Algorithms (Print). v. 21, p. 1-10, issn: 15708667, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FARIAS, PABLO M.S.; CORRÊA, RICARDO C.. Linear time computation of the maximal sums of insertions into all positions of a sequence. Electronic Notes in Discrete Mathematics. v. 44, p. 245-250, issn: 15710653, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FERRI, FELIPE AUGUSTO SVIAGHIN ; RODRIGUES, LEONARDO RAMOS ; GOMES, JOAO PAULO PORDEUS ; DE MEDEIROS, IVO PAIXAO ; GALVAO, ROBERTO KAWAKAMI HARROP ; NASCIMENTO, CAIRO LUCIO. Combining PHM information and system architecture to support aircraft maintenance planning. Em: 2013 7th Annual IEEE Systems Conference (SysCon), p. 60, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   SILVA, J. W. F.; Vládia Celia Monteiro Pinheiro ; PEQUENO, M. C. ; FURTADO, V.. Aquisição de Relações Semânticas a partir de Textos da Wikipédia. Em: X Encontro Nacional de Inteligência Artificial e Computacional - ENIAC, v. 1, p. 1-12, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FRUTUOSO, R. L.; SANTOS, J. R. V. ; SIQUEIRA, R. S.. Reconhecimento de Câncer de pele do tipo melanoma. Em: XIII Workshop de Informática Médica, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   FRUTUOSO, R. L.; SANTOS, J. R. V. ; SIQUEIRA, R. S.. Uso de algoritmos de reconhecimento de padrões aplicados ao problema de câncer de pele do tipo melanoma. Em: XI Congresso brasileiro de inteligência computacional- CBIC, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   FURTADO, J. J. V. P. (Org.) ; Pinheiro, V. (Org.). 2013 Brazilian Conference on Intelligent Systems. 1 ed. Los Alamitos, California, USA: IEEE Computer Society/CPS, 2013. v. 1, p. 272.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   GOMES, J. P. P.; RODRIGUES, L. R. ; GALVAO, R. K. H. ; YONEYAMA, T.. System Level RUL Estimation for Multiple-Component Systems. Em: Annual Conference of the Prognostics and Health Management Society 2013, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   GOMES, J. P. P.; RODRIGUES, L. R. ; GALVAO, R. K. H. ; YONEYAMA, T.. Detecção de Anomalias em uma Válvula Pneumática Usando Modelos de Mistura de Gaussianas. Em: Simpósio Brasileiro de Automação Inteligente, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   GONCALVES, E. J. T. ; BEZERRA, C. I. M. ; ALMENDRA, C. C. ; SAMPAIO, A. L. ; VASCONCELOS, D. R.. Núcleo de Práticas em Informática: Contribuindo para a Formação em Sistemas de Informação Através do Desenvolvimento de Projetos de Software. Em: XXI Workshop sobre Educação em Computação, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   MENEZES, A. C. ; PINHEIRO, P. R. ; Pinheiro, Mirian Caliope Dantas ; Tarcísio Cavalante Pequeno. An Approach for the Diagnosis of Tyoe 2 Diabetes: A Hybrid Model in Decision Making. In: XLV Simpósio Brasileiro de Pesquisa Operacional. Em: XLV Simpósio Brasileiro de Pesquisa Operacional, p. 1, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   NOGUEIRA, YURI ; f. de brito, carlos ; VIDAL, CRETO ; CAVALCANTE-NETO, JOAQUIM. Emergence of Autonomous Behaviors of Virtual Characters through Simulated Reproduction. Em: European Conference on Artificial Life 2013, p. 750, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   NOGUEIRA, YURI ; f. de brito, carlos ; VIDAL, CRETO ; CAVALCANTE-NETO, JOAQUIM. Evolving Plastic Neuromodulated Networks for Behavior Emergence of Autonomous Virtual Characters. Em: European Conference on Artificial Life 2013, p. 577, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   OLIVEIRA, CAMILA H. S.; GHAMRI-DOUDANE, YACINE ; LOHIER, STEPHANE. A duty cycle self-adaptation algorithm for the 802.15.4 wireless sensor networks. Em: 2013 Global Information Infrastructure Symposium, p. 1, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   OLIVEIRA, H. V.; ALCANTARA, J. F. L. ; MARTINS, A. T. C.. Searching Contexts in Rough Description Logics. Em: Brazilian Conference on Intelligent Systems (BRACIS 2013), v. 1, p. 163-168, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   PINHEIRO, F. L. ; MARQUES, Victor Ximenes. O conceito ?exaptação? contribui na compreensão dos processos evolutivos?. Em: Paleo NE 2013, 2014, Fortaleza. Paleontologia em destaque. Boletim informativo da SBP, v. 29, p. 22-23, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   Pinheiro, Vladia; Furtado, Vasco ; Pequeno, Tarcísio ; Franco, Wellington. A semi-automated method for acquisition of common-sense and inferentialist knowledge. Journal of The Brazilian Computer Society (Online). v. 19, p. 75-87, issn: 16784804, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   PINTO, F. A. P. ; LEITE, L. G. M. ; CHAVES, C. B. ; MATOS, F. J. M. ; BARROSO, G. C.. Análise dos Algoritmos de Escalonamento de Grupo com Estratégias de Migração para Redução de Fragmentação em Sistemas Distribuídos. Em: III Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   RODRIGUES, P. ; SABINO, Atrícia ; RAYNER, K. ; SÁ, SAMY. Visão Geral Sobre as Fontes de Informações Mantidas pelo PET TI. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   SA, S. ; ALCÂNTARA, J.. Preference Handling for Belief-Based Rational Decisions. Em: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   SABINO, Atrícia ; SÁ, SAMY. Avaliação do Protocolo WEP na Segurança de Redes IEEE 802.11. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   SANTOS, J. R. V. ; FRUTUOSO, R. L. ; SIQUEIRA, R. S.. RECONHECIMENTO DE CÂNCER DE PELE DO TIPO MELANOMA COM LIMIARIZAÇÃO DE OTSU E LIMIARIZAÇÃO ADAPTATIVA. Em: Congresso Norte Nordeste de Pesquisa e Inovação, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   SOUSA, O. A. ; SÁ, SAMY. Prática do Método Científico no PET TI Quixadá. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   SOUSA, O. A. ; SÁ, SAMY. Grupos de Estudos para Cursos Online. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   SÁ, Samy; ALCANTARA, J.. Preference Handling for Belief-Based Rational Decisions. Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. 1ed. Em: . : Springer. 2013.v. 8148, p. 518-523.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   SÁ, Samy; ALCANTARA, J.. Preference Handling for Belief-Based Rational Decisions. Em: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, v. 8148, p. 518-523, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   SÁ, SAMY; ALCÂNTARA, JOÃO. Preferences with qualitative thresholds and methods for individual and collective decisions. Em: 2013 international conference on Autonomous agents and multi-agent systems, 2013, Saint Paul. Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1247-1248, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   SÁ, SAMY; ALCÂNTARA, JOÃO. Deliberation About Preferences and Group Decisions. Em: 2013 international conference on Autonomous agents and multi-agent systems, 2013, Saint Paul. Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 1453-1454, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   UCHOA, A. G. ; SÁ, Samy. Metodologia e Análise Comparativa do FLISOL 2013. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   UCHOA, A. G. ; SÁ, SAMY. Criação de Células de Estudo Cooperativa no Combate à Evasão e Melhoria do Rendimento Acadêmico. Em: III Encontros Universitários da UFC em Quixadá, 2013, Quixadá. Anais do III Encontros Universitários da UFC em Quixadá, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2012

1.   ALBUQUERQUE, A. ; Pinheiro, Vladia ; Pinheiro, Vladia ; LEITE, T.. Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing. Em: SEKE 2012 - The 24th International Conference on Software Engineering and Knowledge Engineering, 2012, São Francisco, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   AVELINO, Evelyne F. ; MOURA, Thalita. M. F. ; SÁ, Samy. O Ano de 2012 no Blog TIQx. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   AVELINO, Evelyne F. ; SÁ, Samy. O FLISOL 2012 em Quixadá. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Brito, Carlos Fisch; Koutsoupias, Elias ; Vaya, Shailesh. Competitive Analysis of Organization Networks or Multicast Acknowledgment: How Much to Wait?. Algorithmica. v. 64, p. 584-605, issn: 01784617, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   DE CASTRO, MIGUEL FRANKLIN ; RIBEIRO, LEVI BAYDE ; OLIVEIRA, CAMILA HELENA SOUZA. An autonomic bio-inspired algorithm for wireless sensor network self-organization and efficient routing. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS. v. 35, p. 2003-2015, issn: 10848045, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FERNANDES, J. H. T. ; CARVALHO, Jefferson ; SÁ, Samy ; PEREIRA, R. R.. Robocode: auxílio no aprendizado da linguagem Java. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FERNANDES, Letícia ; COSTA, Glailton ; SÁ, Samy. Análise Estatística das Redes Sociais do PET ? Conexões de Saberes. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FERNANDES, Letícia ; GONDIN, Alexsandro ; SÁ, Samy. Projeto de Auxílio ao Estudante na Determinação do Curso Superior. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FERNANDES, Letícia ; SANTOS, Ana Paula S. ; DE CARVALHO, Rogério ; SÁ, Samy. Uma Proposta de um Sistema de Suporte a Eventos ? SiSE. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   FERREIRA, F. M. ; Martins, Ana Teresa. Expressible preferential logics. Journal of Logic and Computation (Print). v. 22, p. 1125-1143, issn: 0955792X, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FURTADO, V. ; Pinheiro, Vladia ; FREIRE, L. ; FERREIRA, C.. Knowledge-Intensive Word Disambiguation via Common-Sense and Wikipedia. Em: 21st Brazilian Symposium on Artificial Intelligence. SBIA 2012, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   GOMES, J. P. P.; GALVÃO, R. K. H ; YONEYAMA, T.. PROGNÓSTICO DE FALHAS EM UMA VÁLVULA PNEUMÁTICA UTILIZANDO FILTRO DE Kalman. Em: Congresso Brasileiro de Automática, p. 2395-2401, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   GOMES, J. P. P.; LEAO, B. P. ; Vianna, W. O. L. ; GALVÃO, R. K. H ; YONEYAMA, T.. Failure Prognostics of a Hydraulic Pump Using Kalman Filter. Em: Annual Conference of the Prognostics and Health Management Society 2012, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   Luciano Comin Nunes ; PINHEIRO, Plácido ; Tarcísio Cavalante Pequeno ; Pinheiro, Miriam Caliope Dantas. Application Hybrid Model to Support in the Diagnosis of Posttraumatic. Em: Information Science and Industrial Applications (ISI), p. 157-163, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   MARQUES, Victor Ximenes; BRITO, C.. A metáfora da máquina e a nova imagem da vida ? naturalismo para além do mecanicismo. Em: I Congresso da Associaçao Ibero-Americana de Filosofia da Biologia, 2012, Valencia. Actas del I Congreso de la Asociación Iberoamericana de Filosofía de la Biología. Valencia: Publicacions de la Universitat de València, p. 358-362, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   MENEZES, A. C. ; PINHEIRO, Plácido ; Pinheiro, Mirian Caliope Dantas ; PEQUENO, TARCÍSIO. Towards the Applied Hybrid Model in Decision Making: Support the Early Diagnosis of Type 2 Diabetes. Lecture Notes in Computer Science. v. 7473, p. 648-655, issn: 03029743, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   MOURA, Thalita. M. F. ; SABINO, Atrícia ; SÁ, Samy. Desenvolvimento de um Sistema de Votação Online. Em: II Encontros Universitários da UFC em Quixadá, 2012, Quixadá. Anais do II Encontros Universitários da UFC em Quixadá, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   Vladia Pinheiro ; J. Franco ; FURTADO, V. ; PEQUENO, T. H. C. ; C, Ferreira. Towards a Common Sense Base in Portuguese for the Linked Open Data Cloud. Em: 10a INTERNATIONAL CONFERENCE ON THE COMPUTATIONAL PROCESSING OF PORTUGUESE LANGUAGE, v. 7243, p. 128-138, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   RODRIGUES, L. R. ; GOMES, J. P. P. ; GALVAO, R. K. H. ; YONEYAMA, T.. Health Monitoring of a Power Supply Using Multivariate Regression. Em: Annual Conference of the Prognostics and Health Management Society 2012, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   SANTOS, J. R. V. ; FRUTUOSO, R. L. ; BEZERRA, L. D. S.. Algoritmo de um controlador PID para microprocessadores utilizando método Ziegler-Nichols. Em: Congresso Norte Nordeste de Pesquisa e Inovação, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   SILVA, J. W. F. ; ROCHA, T. A. ; OLIVEIRA, H. V. ; ALCANTARA, J. F. L.. A Description Logic for InferenceNet.Br. Em: 10th International Conference on the Computational Processing of Portuguese, v. 7243, p. 298-298-305, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   SOUSA, D. V. S. ; OLIVEIRA, H. V. ; MARKEY, N. ; MACEDO, J. A. F.. Querying Trajectories through Model Checking based on Timed Automata. Em: XXVII Simpósio Brasileiro de Banco de Dados, 2012, São Paulo. Proceedings of XXVII Brazilian Symposium on Database, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   SÁ, Samy; ALCANTARA., J. F.. Cooperative dialogues with conditional arguments. Em: 11th International Conference on Autonomous Agents and Multiagent Systems, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   Vládia Celia Monteiro Pinheiro ; FURTADO, V. ; Tarcisio Pequeno ; SILVA, J. W. F.. A semi-automated method for acquisition of common-sense and inferentialist knowledge. Journal of The Brazilian Computer Society (Online). v. 1, p. 1-15, issn: 16784804, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2011

1.   ALENCAR, A. ; FRUTUOSO, R. L. ; SANTOS, J. R. V. ; SIQUEIRA, R. S.. Robô Móvel autônomo guiado por visão computacional. Em: X Encontro de Iniciação Científica, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ARRUDA, A. M. ; MOTA, A. V. ; Martins, Ana Teresa. Two Infinitary Logics: the First-Order Logic for Finite Models and the Logic for Named Domains. Em: XVI Encontro Brasileiro de Lógica 2011, v. 1, p. 28-28, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   AVELINO, Evelyne F. ; COSTA, Glailton ; SÁ, Samy. O Blog TIQx: Um Blog Sobre TIC?s mantido pelo PET conexões de Saberes do campus da UFC-Quixadá. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BRITO, Alexandra V. F. ; SÁ, Samy. Organização do FLISOL 2011 em Quixadá. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   Brito, Carlos Fisch; Vaya, Shailesh. Improved lower bound for deterministic broadcasting in radio networks. Theoretical Computer Science. v. 412, p. 3568-3578, issn: 03043975, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   DANTAS, P. F. S. ; MELO, F. E. M. ; SÁ, Samy. Desenvolvimento de Apostila para Auxílio das Disciplinas de Matemática. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FERNANDES, Letícia ; SÁ, Samy. A Atividade de Levar Informações Relacionadas a TI para os Alunos da UFC ? Quixadá. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FERREIRA, F. M. ; Freire, Cibele Matos ; Benevides, M. ; Schechter, L.M. ; Martins, Ana Teresa. Hybrid Logics and NP Graph Properties. Em: 18th International Workshop on Logic, v. 6642, p. 123-134, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FERREIRA, F. M. ; Martins, Ana Teresa. Expressiveness and Definability in Circumscription. Manuscrito (UNICAMP). v. 34, p. 195-227, issn: 01006045, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   Ferreira, Francicleber Martins; Martins, Ana Teresa. Recursive definitions and fixed-points on well-founded structures. Theoretical Computer Science. v. 412, p. 4893-4904, issn: 03043975, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FERREIRA, M. S. ; DANTAS FILHO, R. N. ; RODRIGRUES, F. C. ; PEREIRA, R. R. ; SÁ, Samy ; CARVALHO, Jefferson. Robocode: um Auxílio ao Aprendizado da Linguagem Java. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   Freire, Cibele Matos ; Martins, Ana Teresa. The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. Electronic Notes in Theoretical Computer Science. v. 269, p. 71-82, issn: 15710661, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   GOMES, J. P. P.; LEAO, B. P. ; GALVAO, R. K. H. ; YONEYAMA, T.. Fault Detection in Non Gaussian Problems Using Statistical Analysis and Variable Selection. Em: Annual Conference of the Prognostics and Health Management Society, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   LEAO, BRUNO P. ; GOMES, JOAO P. P. ; YONEYAMA, Takashi. Improvements on the offline performance evaluation of fault prognostics methods. Em: 2011 IEEE Aerospace Conference, p. 1, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   Luciano Comin Nunes ; PINHEIRO, P. R. ; PEQUENO, T. H. C. ; Pinheiro, Miriam Caliope Dantas. Toward an Application to the Diagnosis of Psychological Disorders. Advances in Experimental Medicine and Biology. v. 696, p. 573-580, issn: 00652598, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   MOURA, Thalita. M. F. ; SANTOS, Ana Paula S. ; SÁ, Samy. Jovens e Universidade: Uma Dupla de Futuro. Em: I Encontros Universitários da UFC em Quixadá, 2011, Quixadá. Anais do I Encontros Universitários da UFC em Quixadá, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   OLIVEIRA, H. V.; ALCANTARA, J. F. L. ; MARTINS, A. T. C.. Paraconsistent Rough Description Logic. Em: 2011 International Workshop on Description Logics (DL2011), v. 745, p. 587-597, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   Vládia Celia Monteiro Pinheiro ; FURTADO, V. ; Tarcisio Pequeno ; SILVA, J. W. F.. Aquisicao de Conhecimento de Senso Comum e Inferencialista. Em: VIII Simposio Brasileiro de Tecnologia e da Linguagem Humana, v. 1, p. 40-48, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   SA, S. ; ALCANTARA, J. F. L.. Introducão a Agentes Autônomos e Sistemas Multiagentes. Em: André M. Santana; Pedro de A. dos S. Neto; Raimundo S. Moura. (Org.). ERCEMAPI 2011 - V Encontro Regional de Informática Ceará - Maranhão - Piauí. : Sociedade Brasileira de Computação. 2011.p. 141-165.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   SA, S. ; ALCANTARA, J. F. L.. Abduction-Based Search for Cooperative Answers. Em: 12th International Workshop on Computational Logic in Multi-Agent Systems, v. 6814, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   SA, S. ; ALCANTARA, J. F. L.. Encoding DL-Atoms in RuleML. Em: VIII ENIA - Encontro Nacional de Inteligência Artificial, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   SA, S. ; ALCANTARA, J. F. L.. Cooperative dialogues with conditional arguments. Em: European Workshop on Multi-agent Systems (EUMAS'11), 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   SA, S. ; ALCANTARA, J. F. L.. Abduction Guided Query Relaxation (Extended Abstract). Em: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011, Taipei. Proceedings of 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   SA, S. ; ALCANTARA, J. F. L.. Abduction-Based Search for Cooperative Answers (Extended Abstract). Em: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI Encontro Brasileiro de Lógica, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   Vianna, W. O. L. ; GOMES, J. P. P. ; GALVAO, R. K. H. ; YONEYAMA, T. ; MATSUURA, J. P.. Health Monitoring of an Auxiliary Power Unit Using a Classification Tree. Em: Annual Conference of the Prognostics and Health Management Society, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2010

1.   Aracele Garcia ; Buchsbaum, Arthur. Sobre as ferramentas em LaTeX que os estudantes de Lógica deveriam conhecer. The PracTeX Journal. v. 1, p. 1, issn: 15566994, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Gomes, Cid F. ; Gomes, Fernando C. ; Fernandez, Marcial P.. Infrastructure and Business Model for Universal Broadband Access in Developing Regions: The Ceara State Digital Belt. Em: Pont, A.; Pujol, G.. (Org.). IFIP Advances in Information and Communication Technology. 6ed. : Springer Berlin Heidelberg. 2010.p. 51-59.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GOMES, J. P. P.; Ferreira, B. C. ; CABRAL, D. ; GALVAO, R. K. H. ; YONEYAMA, T.. Health Monitoring of a Pneumatic Valve Using a PIT Based Technique. Em: Annual Conference of the Prognostics and Health Management Society 2010, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, J. P. P.; Leao, B,P ; GALVÃO, R. K. H ; YONEYAMA, Takashi ; MATSUURA, J. P.. Um Método Baseado em Distribuições de Probabilidade para Detecção de Falhas em Conversores A/D. Em: Congresso Brasileiro de Automática, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   LEAO, BRUNO P. ; GOMES, JOAO P. P. ; GALVAO, ROBERTO K. H. ; YONEYAMA, Takashi. How to tell the good from the bad in failure prognostics methods. Em: 2010 IEEE Aerospace Conference, p. 1-7, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Luciano Comin Nunes ; PINHEIRO, P. R. ; PEQUENO, T. H. C. ; Pinheiro, Miriam Caliope Dantas. A Tool to Aid in the Diagnosis of Bipolar Disorder. Em: The Ten International Conference on Bioinformatics Computational Biology, v. II, p. 489-494, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Luciano Comin Nunes ; PINHEIRO, Plácido ; PEQUENO, TARCÍSIO ; Pinheiro, Miriam Caliope Dantas. Support Tool in the Diagnosis of Major Depressive Disorder. Communications in Computer and Information Science (Print). v. 112, p. 136-145, issn: 18650929, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   OLIVEIRA, H. V. ; ROCHA, T. A. ; ALCANTARA, J. F. L. ; Martins, Ana Teresa. A Tractable Paraconsistent Fuzzy Description Logic. Em: 6th Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010, Shanghai. Proceedings of the 6th Uncertainty Reasoning for the Semantic Web (URSW 2010), v. 654, p. 101-104, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Pinheiro, Vladia; Furtado, Vasco ; PEQUENO, TARCISIO ; NOGUEIRA, DOUGLAS. Natural Language Processing based on Semantic inferentialism for extracting crime information from text. Em: 2010 IEEE International Conference on Intelligence and Security Informatics, v. 1, p. 19-24, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   Vladia Pinheiro ; PEQUENO, T. H. C. ; FURTADO, V.. Um Analisador Semântico Inferencialista de Sentenças em Linguagem Natural. Linguamática (Braga). v. 2, p. 111-130, issn: 16470818, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Vládia Celia Monteiro Pinheiro ; SILVA, J. W. F. ; Tarcisio Pequeno ; FURTADO, V.. InferenceNet.Br: Expression of Inferentialist Semantic Content of the Portuguese Language. Em: Computational Processing of the Portuguese Language - PROPOR 2010, v. 6001, p. 90-99, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   RODRIGUES, L. R. ; GOMES, J. P. P. ; GALVÃO, R. K. H ; YONEYAMA, Takashi. Using Prognostic System Forecasts and Decision Analysis Techniques in Aircraft Maintenance Cost-Benefit Models. Em: IEEE Aerospace Conference, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2009

1.   ARRUDA, A. M. ; Martins, Ana Teresa. Natural deduction for the finite least fixed point logic with an infinitary rule. Logic Journal of the IGPL (Print). v. 17, p. 531-558, issn: 13670751, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CAVALCANTE, A. S. ; Martins, Ana Teresa. (Resumo) Schematic Rules in Natural Deduction for Logic with Modal Operators. The Bulletin of Symbolic Logic. v. 15, p. 350-351, issn: 10798986, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FERREIRA, F. M. ; Martins, Ana Teresa. (Resumo) Expressiveness and Definability in Circunscription. The Bulletin of Symbolic Logic. v. 15, p. 354-354, issn: 10798986, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   FERREIRA, F. M.; MARTINS, A. T.. Expressiveness and Definability in Circumscription. Em: CLE 30/XV EBL/XIV SLALM, 2008, 2009, v. 15, p. 354-354, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   Ferreira, Francicleber Martins ; MARTINS, A. T. C.. Recursive Definitions and Fixed-Points. Electronic Notes in Theoretical Computer Science. v. 247, p. 19-37, issn: 15710661, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Freire, Cibele Matos ; Martins, Ana Teresa. Lógicas Modais e Complexidade Descritiva. Em: VII Encontro Nacional de Inteligência Artificial, v. VII, p. 1099-1108, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Leao, B,P ; GOMES, J. P. P. ; GALVÃO, R. K. H ; YONEYAMA, Takashi. Application of blind source separation techniques for generation of PHM useful information. Em: Annual Conference of the Prognostics and Health Management Society, p. 1-8, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   LEAO, BRUNO P. ; GOMES, JOAO P. P. ; GALVAO, ROBERTO K. H.. Aircraft flap and slat systems health monitoring using Statistical Process Control techniques. Em: 2009 IEEE Aerospace conference, p. 1-8, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Luciano Comin Nunes ; PINHEIRO, Plácido ; PEQUENO, T. H. C.. An Expert System Applied to the Diagnosis of Psychological Disorders. Em: IEEE International Conference on Intelligent Computing and Intelligent Systems, p. 363-367, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MARTINS, L. R. ; MARTINS, A. T. C.. Normalizable Natural Deductive System for Complete Classical S4. Em: Béziau, J-Y; Costa Leite, A.. (Org.). Dimensions of Logical Concepts. 1ed.Campinas. : Coleção CLE. 2009.v. 54, p. 241-276.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Vladia Pinheiro ; PEQUENO, T. H. C. ; FURTADO, V. ; NOGUEIRA, D.. Semantic Inferentialist Analyser: Um Analisador Semântico de Sentenças em Linguagem Natural. Em: 7th Brazilian Symposium in Information and Human Language Technology (STIL), v. 1SBC, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   Vladia Pinheiro ; PEQUENO, T. H. C. ; FURTADO, V. ; NOGUEIRA, D.. Information Extraction from Text Based on Semantic Inferentialism. Em: 8th Intl Conference on Flexible Query Answering Systems, v. 5822, p. 333-344, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. Quantifying in Extensive Games. Em: Walter Carnielli; Marcelo E. Coniglio; Itala M. L. D'Ottaviano. (Org.). The Many Sides of Logic - Studies in Logic. London. : College Publications. 2009.p. 321-336.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   VIANA, G.V.R. ; GOMES, F.A.C. ; FERREIRA, C.E. ; MENESES, C.N.. Parallelisation of a multi-neighbourhood local search heuristic for a phylogeny problem. International Journal of Bioinformatics Research and Applications (Print). v. 5, p. 163-177, issn: 17445485, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2008

1.   ARRUDA, Alexandre Matos; MARTINS, A. An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. Electronic Notes in Theoretical Computer Science. v. 205, p. 89-104, issn: 15710661, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FERREIRA, F. M. ; MARTINS, A. T. C.. Minimal Models and Expressiveness Hyerarchy. Em: Concurso de Teses de Dissertações - XXVIII Congresso da Sociedade Brasileira de Computação, p. 89-96, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FERREIRA, F. M.; MARTINS, A. T.. Expressiveness and Definability in Circumscription. Em: CLE 30/XV EBL/XIV SLALM, 2008, Paraty. Procceding of CLE 30/XV EBL/XIV SLALM: Abstract, p. 144-144, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Ferreira, Francicleber Martins; Martins, Ana Teresa. Recursive Definitions and Fixed-Points. Em: Third Workshop on Logical and Semantic Frameworks with Applications, v. 247, p. 19-37, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, F. A. C.; MENEZES, C. N. ; PARDALOS, P. ; VALDÍSIO, G.. A parallel multistart algorithm for the closest string problem. Computers and Operations Research. v. 35, p. 3636-3643, issn: 03050548, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   GOMES, J. P. P.; Brancalion, J. F. B. ; Fernandes, D.. Automatic Target Recognition in Synthetic Aperture Radar image using multiresolution analysis and classifiers combination. Em: Radar Conference, p. 1-5, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   GOMES, J. P. P.; CABRAL, D. ; FITZGIBBON, K. T.. Prognostics and Health Monitoring of a Hot-Wire Anemometer. Em: International Conference on Prognostics and Health Management, 2008, Denver. Anais em CD-ROM, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MARTINS, A. T. C.; MARTINS, L. R.. Full classical S5 in natural deduction with weak normalization. Annals of Pure and Applied Logic (Print). v. 152, p. 132-147, issn: 01680072, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Vladia Pinheiro ; PEQUENO, T. H. C. ; FURTADO, V. ; Thiago Assunção ; FREITAS, E. T.. SIm: Um Modelo Semântico-Inferencialista para Sistemas de Linguagem Natural. Em: VI Workshop da Tecnologia da Informãção e da Linguagem Humana, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   RODRIGUES NETO, ABNER C. ; LIMA DE CAMPOS, GUSTAVO A. ; DE SOUZA, JERFFESON TEIXEIRA ; ROISENBERG, MAURO ; MARQUES, VICTOR XIMENES. Autonomous agents and subsumption as models for simulations of population dynamics. Em: International Conference on Machine Learning and Cybernetics (ICMLC 2008), v. 4, p. 2440-2445, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   SILVA, J. W. F.; COSTA, A. R. S. ; BEZERRA, J. M. Arquiteturas Sociais em Sistemas Online. Em: VII Encontro Nordestino dos Grupos PET, 2008, Fortaleza. VII Encontro Nordestino dos Grupos PET, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. Quantifying in extensive games. CLE e-Prints (Online). v. 8, p. 19, issn: 15199681, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. Towards an Implementation Theory via a Game Logic Approach. Em: 8th Conference on Logic and the Foundations of Game and Decision Theory, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. Quantifying in Extensive Games. Em: BRAZILIAN LOGIC CONFERENCE, 2008, Paraty. CLE 30 YEARS - XV BRAZILIAN LOGIC CONFERENCE - XIV LATIN-AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC, p. 109-109, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2007

1.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C. ; PEQUENO, Marcelino Cavalcante. A Logical Expression of Reasoning. Synthese (Dordrecht). v. 154, n. 3, p. 431-466, issn: 00397857, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Buchsbaum, Arthur; Reinaldo, Francisco. A Tool for Logicians. The PracTeX Journal. v. 3, p. 4, issn: 15566994, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur; Reinaldo, Francisco. Uma Ferramenta para Lógicos. The PracTeX Journal. v. 3, p. 4, issn: 15566994, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Buchsbaum, Arthur; SEBBEN, A.. Uma Lógica para a Referência Ambígua. Em: XXXIII Conferencia Latinoamericana de Informatica, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   FARIAS, M. R. F.; Alberto Nogueira de Castro Júnior ; Thaís Helena Chaves de Castro ; Zeina Rebouças Corrêa Thomé. Inclusão Social e Digital através da Formação para o Trabalho. cbie wie 2007. v. 1, p. 190-198, issn: 23166541, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FARIAS, M. R. F.; Alberto Nogueira de Castro Júnior ; Thaís Helena Chaves de Castro ; Zeina Rebouças Corrêa Thomé. Inclusao Social e Digital através da Formacao para o Trabalho. Em: XIII Workshop sobre Informática na Escola, p. 190-198, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FERREIRA, F. M. ; MARTINS, A. T. C.. On Minimal Models. Logic Journal of the IGPL (Print). v. 15, p. 503-526, issn: 13670751, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FURTADO, J. J. V. P. ; MCGUINNESS, D. ; SILVA, Paulo Pinheiro da ; CARVALHO, J. ; Pinheiro, Vladia. Abstracting Web Agent Proofs into Human-Level Justifications. Em: 20th FLAIRS Conference, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   GOMES, F. A. C.; VALDÍSIO, G. ; MENEZES, C. N. ; Ferreira, C. E.,. Uma implementação eficiente de uma heurística de busca local em multi-vizinhanças para um Problema de Filogenia. Em: XXXIX Simpósio Brasileiro de Pesquisa Operacional, p. 7-12, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   GOMES, J. P. P.; Fernandes, D. ; Brancalion, J. F. B.. Reconhecimento Automático de Alvos em Imagens SAR Utilizando-se Wavelets e a Classificação pela Mínima Distância e pelo MAP. Em: Simpósio Internacional de Guerra Eletrônica, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   MAIA, J. G. R. ; GOMES, F. A. C. ; SOUZA, O.. Automatic Eye Localization in Color Images. Em: Computer Graphics and Image Processing, p. 195-204, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   MARTINS, A. T. C.; MARTINS, L. R. ; MORAIS, F. F.. Natural Deduction and Weak Normalization for the Paraconsistent Logic of Epistemic Inconsistency. Em: Béziau, J.-Y.; Carnielli, W. A;Gabbay, D. (eds.). (Org.). Handbook of Paraconsistency: Studies in Logic and Cognitive Systems. 1ed.Amsterdam. : Elsevier/North-Holland. 2007.v. 9, p. 355-382.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   PEQUENO, M. C.; VERAS, R. M. S. ; TAVARES, Wladimir Araújo. Lógica Não Monotônica com Prioridade às Exceções. Em: VI Encontro Nacional de Inteligência Artificial (ENIA 2007), p. 1262-1271, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   PEQUENO, M. C.; VERAS, R. M. S. ; TAVARES, Wladimir Araújo. Handling Exceptions in Nonmonotonic Reasoning. Em: Third Latin American Workshop on Non-Monotonic Reasoning 2007 (LANMR07), v. 286, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   SILVA, G. M. H. ; A. Rademaker ; VASCONCELOS, D. R. ; AMARAL, F. N. ; GONCALVES, V. ; BAZILIO, C. ; HAEUSLER, Edward Hermann. Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study. Em: The 3rd Australasian Ontology Workshop (AOW 2007), v. 85, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. Reasoning about Games via a First-order Modal Model Checking Approach. Em: 10th Brazilian Symposium On Formal Methods, p. 144-159, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2006

1.   CARVALHO, F. H. ; LINS, R. D. ; MARTINS, A. T. C.. An Institutional Theory for #-Components. Em: Brazilian Symposium on Formal Methods, p. 137-152, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FERREIRA, F. M. ; MARTINS, A. T. C.. The Predicate-Minimizing logic MIN. Em: 10th IBERAMIA and 18th SBIA - 20th International Joint Conference, v. 4140, p. 582-591, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FERREIRA, F. M. ; MARTINS, A. T. C.. Minimalidade e Hierarquia de Expressividade. Em: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. EBL XIV Encontro Brasileiro de Lógica - Caderno de Resumos, p. 1-2, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; MENEZES, C. N. ; PARDALOS, P. ; VALDÍSIO, G.. Experimental Analysis of Approximation Algorithms for Vertex Cover and Set Covering Problems. Computers and Operations Research. v. 33, n. 12, p. 3520-3534, issn: 03050548, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, F. A. C.; PEQUENO, H. ; CAMPELO, L. D. ; MAIA, J. G. R.. A DTV Interactive Application Development Framework. Em: 13th International Conference on Telecommunications, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   IMAGUIRE, G. (Org.) ; MONTENEGRO, M (Org.) ; PEQUENO, T. H. C. (Org.). COLÓQUIO WITTGENSTEIN: Artigos em comemoração ao cinquentenário das Investigações Filosóficas. 1 ed. Fortaleza: Edições UFC, 2006. v. 1, p. 242.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MARTINS, A. T. C.; MARTINS, L. R.. Natural Deduction for Full S5 Modal Logic with Weak Normalization. Electronic Notes in Theoretical Computer Science. v. 143, p. 129-140, issn: 15710661, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   NACIF, J. A. M. ; COELHO JR, Claudionor N ; FOSTER, H. ; PAULA, F. M. ; MOTA, E. S. ; FARIAS, M. R. F. ; FERNANDES, Antônio Otávio. On-chip Property Verification using Assertion Processors. Em: Glesner, M.; Reis, R.; Indrusiak, L.; Mooney, V.; Eveking, H... (Org.). VLSI SoC: From Systems to Chips.. 1aed.Boston. : Springer. 2006.v. 200, p. 101-117.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   PEQUENO, T. H. C.; PEQUENO, Marcelino Cavalcante ; BUCHSBAUM, Arthur Ronald de Vallarius. The Logical Expression of Reasoning. Em: Jean Yves-Beziau. (Org.). New Trends in the Foundations of Science (Papers dedicated to the 80th birthday of Patrick Suppes). : Kluwer. 2006..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   Pinheiro, Vladia; FURTADO, J. J. V. P. ; SILVA, Paulo Pinheiro da ; MCGUINNESS, D.. WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems. Em: International Conference on Software Engineering and Knowledge Engineering, v. 1, p. 550-555, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann ; BENEVIDES, Mario R F. Defining Agents via Strategies: Towards a view of MAS as Games. Em: Workshop on Radical Agent Concepts, v. 3825, p. 299-311, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2005

1.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. An encompassing framework for Paraconsistent Logic Programs. Journal of Applied Logic. v. 3, n. 1, p. 67-95, issn: 15708683, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. A Well-Founded Semantics with Disjunction. Em: International Conference on Logic Programming (ICLP '05), p. 341-355, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur; Lemes Neto, Maurício Correia. Raciocínio por Tablôs pela Forma Direta. RESI : Revista Eletrônica de Sistemas de Informação. v. II, p. 2 (4), issn: 16773071, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Fendt, Leticia ; Buchsbaum, Arthur. Um Método dos Tableaux com um Refinamento para Evitar Repetições Desnecessárias de Fórmulas Universais nos Ramos das Árvores de Prova. Em: V Encontro Nacional de Inteligência Artificial, v. 1, p. 801-810, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, F. A. C.; FURTADO, E. ; FAVA, F. ; SCHILLING, A. ; FALCAO, D.. Interatividade na Televisão Digital Brasileira: Estratégias de Desenvolvimento. Em: XXII Simpósio Brasileiro de Telecomunicações ? SBrT´05, p. 1129-1135, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   GOMES, F. A. C.; FURTADO, E. ; SCHILLING, A. ; SOUSA, K. ; FALCAO, D. ; FAVA, F.. Projeto de Interfaces de Usuário para a Televisão Digital Brasileira. Em: XVIII Brazilian Symposium on Computer Graphics and Image Processing, p. 146-157, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   GOMES, F. A. C.; VALDÍSIO, G. ; PINHEIRO, L. C. ; VIANA, M. G.. Técnicas Algorítmicas para Construção de Árvores Filogenéticas. Revista Científica da Faculdade Lourenço Filho, Fortaleza, p. 81-102, 01 out. 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MARTINS, A. T. ; MARTINS, L. R.. Natural Deduction for Full S5 Modal Logic with Weak Normalization. Em: 12th Workshop on Logic, p. 121-132, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MARTINS, A. T. C.; MARTINS, L. R.. Normalizable Natural Deduction Rules for S4 Modal Operators. Em: First World Congress on Universal Logic, 2005, Montreux. 1st World Congress and School on Universal Logic. Montreux, p. 79-80, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MARTINS, L. R.; MARTINS, A. T.. Normalizable Natural Deduction Rules for S4 Modal Operators. Em: First World Congress on Universal Logic, 2005, Montreux. 1st World Congress and School on Universal Logic, p. 79-80, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   PEQUENO, T. H. C.; SILVESTRE, Ricardo de Sousa. Confirmation Theory and the Logic of Inductive Implication. Em: IV International Workshop on Computational Models of Scientific Reasoning and Applications (IV CMSR), 2005, Lisboa. Proceedings of IV International Workshop on Computational Models of Scientific Reasoning and Applications (IV CMSR), p. 21-23, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   PEQUENO, T. H. C.; SILVESTRE, Ricardo Sousa. A Logic of Inductive Implication or AI Meets Philosophy of Science II. Em: 18th Conference of the Canadian Society for Computational Studies of Intelligence, p. 232-243, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Pereira, L.C. ; MARTINS, A. T. C.. Abstract Proof Theory. Em: First World School on Universal Logic, 2005, Montreux. 1st World Congress and School on Universal Logic. Montreux, p. 20-22, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   Pinheiro, Vladia; LIBORIO, A. ; SILVA, Paulo Pinheiro da ; FURTADO, M. E. S. ; FURTADO, J. J. V. P.. Auxiliando o Desenvolvimento de Explicações para Sistemas Baseados em Conhecimento. Em: V Encontro Nacional de Inteligência Artificial (ENIA), 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   SILVESTRE, R. S. ; PEQUENO, T. H. C.. A Logic of Inductive Implication or AI Meets Philosophy of Science II. Advances in Artificial Intelligence. 0ed.New York. Em: Balazs Keql; Guy Lapalme. (Org.). Advances in Artificial Intelligence: 18th Conference of the Canadian Society for Computational Studies of Intelligence. New York. : Springer. 2005.v. 3501, p. 232-243.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   SILVESTRE, R. S.; PEQUENO, T. H. C.. Confirmation Theory and the Logic of Inductive Implication. Em: IV International Workshop on Computational Models of Scientific Reasoning and Applications, p. 115-128, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   SILVESTRE, Ricardo de Sousa ; PEQUENO, T. H. C.. A Logic of Inductive Implication or AI Meets Philosophy of Science. Lecture Notes in Computer Science. v. 3501, p. 232-243, issn: 03029743, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann ; BENEVIDES, Mario R F. Reasoning about Games via Temporal Logic. Em: 7th Augustus de Morgan Workshop, 2005, Londres, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2004

1.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets. Em: European Conference on Artificial Intelligence (ECAI 2004),, 2004, Valencia. Proceedings of 16th European Conference on Artificial Intelligence (ECAI 2004),, p. 951-952, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ANDRADE, A. (Org.) ; Martins, A. T. (Org.) ; MACEDO, R. J. A. (Org.). Anais da XXIII Jornada de Atualização em Informática. 1 ed. Rio Grande do Sul: Sociedade Brasileira de Computação, 2004. v. 2, p. 384.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BRITO, C.; Avin, C.. Efficient and robust query processing in dynamic environments using random walk techniques. Em: Third international symposium on Information Processing In Sensor Networks, p. 277-286, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BRITO, C.; Koutsoupias, E. ; Vaya, S.. Competitive Analysis of Comunication Networks, Or Multicast Acknowledgement How Much to Wait?. Em: SODA'04 - ACM/SIAM Symposium on Discrete Algorithms, p. 627-635, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BRITO, C.; Vaya, S. ; Gafni, E.. An Information Theoretic Lower Bound for Broadcasting in Radio Networks. Em: 21st Annual Symposium on Theoretical Aspects of Computer Science, v. 2996, p. 534-546, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BUCHSBAUM, Arthur ; PEQUENO, Tarcisio Cavalcante ; PEQUENO, M. C.. Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics. Em: XII Simposio Latinoamericano de Logica Matematica, 2004, San José. Proceedings XII Simposio Latinoamericano de Logica Matematica, p. 15-16, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Buchsbaum, Arthur; Béziau, Jean-Yves. Introduction of Implication and Generalization in Axiomatic Calculi. Em: Jean-Yves Béziau; Alexandre Costa Leite; Alberto Facchini. (Org.). Aspects of Universal Logic. Neuchâtel. : Centre de Recherches Sémiologiques (CdRS), Université de Neuchâtel. 2004.v. 17, p. 231-254.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   GOMES, F. A. C.; MENEZES, C. N. ; PARDALOS, P. ; VALDÍSIO, G.. Parallel Algorithm for the Closest String Problem. Em: International Symposium on Mathematical and Computational Biology, v. 1, p. 34-46, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MARTINS, LILIA RAMALHO ; Martins, Ana Teresa. Natural Deduction and Weak Normalization for Full Linear Logic. Logic Journal of the IGPL (Online). v. 12, p. 601-625, issn: 13689894, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MOTA, E. ; CLARKE, E. ; GROCE, A. ; Oliveira, W. ; FALCÃO, M. ; KANDA, J.. VeriAgent: an Approach to Integrating UML and Formal Verification Tools. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. v. 95, p. 111-129, issn: 15710661, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   PEQUENO, T. H. C.; SILVESTRE, Ricardo Sousa. Is Plausible Reasoning A Sensible Alternative For Inductive-Statistical Reasoning?. Em: 17th Brazilian Symposium On Artificial Intelligence, p. 124-133, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   Pinheiro, Vladia; FURTADO, J. J. V. P. ; FURTADO, E.. A Unified Architecture to Develop Interactive Knowledge Based Systems. Lecture Notes in Computer Science. v. 1, p. 174-183, issn: 03029743, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Pinheiro, Vladia; FURTADO, J. J. V. P. ; VASCONCELOS, E.. Mining Data and Providing Explanation to Improve Learning in Geosimulation. Em: International Conference on Intelligent Tutoring Systems, 2004, Maceió. Anais do International Conference on Intelligent Tutoring Systems, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   SILVESTRE, R. S. ; PEQUENO, T. H. C.. Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?. Advances in Artificial Intelligence SBIA 2004. 0ed.Berlin. Em: Ana Bazzan; Sofiane Ladibi. (Org.). Advances in Artificial Intelligence ? SBIA 2004 17th Brazilian Symposium on Artificial Intelligence. Berlin. : Springer. 2004.v. 3171, p. 124-133.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   SILVESTRE, Ricardo de Sousa ; PEQUENO, T. H. C.. Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning?. Lecture Notes in Computer Science. v. 3171, p. 124-133, issn: 03029743, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2003

1.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. On Contradictions and their Propagation in Paraconsistent Logic Programs. Em: III World Congress on Paraconsistency (WCP3), 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, Arthur ; PEQUENO, M. C. ; PEQUENO, Tarcisio Cavalcante. Reasoning with Plausible Scenarios. Em: III World Congress on Paraconsistency, 2003, Toulouse, França. III World Congress on Paraconsistency. Toulouse: IRIT (Institut de Recherche en Informatique de Toulouse), v. 1, p. 21-21, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C. ; PEQUENO, Marcelino Cavalcante. Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics. Em: XIII Brazilian Logic Conference, 2003, Campinas, SP. XIII Encontro Brasileiro de Lógica - Resumos. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, v. 1, p. 53-54, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; OLIVEIRA, C. A. ; PARDALOS, P. ; CORREA, R. C.. A parallel implementation of an asynchronous team to the point-to-point connection problem. Parallel Computing. v. 29, n. 4, p. 447-466, issn: 01678191, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   Lemes Neto, Maurício Correia ; Buchsbaum, Arthur. Um Método de Tableaux por Prova Direta para a Lógica Proposicional Clássica. Em: XI Escola Regional de Informática, v. 1, p. 14-22, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MARTINS, L. R. ; MARTINS, A. T. C.. Natural Deduction and Weak Normalisation for Full Linear Logic. Em: IV Encontro Nacional de Inteligência Artificial (ENIA), v. VII, p. 639-648, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MORAIS, F. F. ; MARTINS, A. T. C.. Weak Normalization for the Logic of Epistemic Inconsistency. Em: Third World Congress on Paraconsistency - WCP III, 2003, Toulouse. Proceedings of the Third World Congress on Paraconsistency. Toulouse: IRIT (Institut de Recherche en Informatique de Toulouse), v. 1, p. 53-53, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MORAIS, F. F. ; MARTINS, A. T. C.. Weak and Strong Normalization for the Paraconsistent Logic of Epistemic Inconsistency. Em: XIII Encontro Brasileiro de Lógica, 2003, Campinas. XIII Encontro Brasileiro de Lógica. Campinas: Centro de Lógica, Epistemologia e História da Ciência, v. 1, p. 74-76, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MOTA, E. S. ; CLARKE, E. ; GROCE, A. ; Oliveira, W. ; FARIAS, M. R. F. ; KANDA, J.. VeriAgent : an Approach to Integrating UML and Formal Verification Tools. Em: Workshop de Métodos Formais, v. 6, p. 75-88, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PEQUENO, T. H. C.; BUCHSBAUM, A. R. V. ; PEQUENO, Marcelino Cavalcante. Reasoning With Plausible Scenarios. Em: Third World Congress on Paraconsistency - WCP III, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Pinheiro, Vladia; FURTADO, J. J. V. P.. Uma Arquitetura de Software Para Sistemas Baseados em Conhecimento Interativos. Em: Congresso Latino-Americano de Interação Humano Computador, 2003, Rio de Janeiro. Anais do Congresso Latino-Americano de Interação Humano Computador, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   SILVESTRE, R. S.; PEQUENO, T. H. C.. A Logical Treatment of Scientific Anomalies or Artificial Intelligence Meets Philosophy of Science. Em: 2003 International Conference on Artificial Intelligence,, v. II, p. 669-675, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   SILVESTRE, Ricardo Sousa ; PEQUENO, T. H. C.. A Logical Treatment of Scientific Anomalies or AI Meets Philosophy of Science. Em: International Conference on Artificial Intelligence (IC-AI'03), p. 669-675, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   VASCONCELOS, D. R.; HAEUSLER, Edward Hermann. A logic View of Playing Games. Em: 4th Congress of Logic Applied to Technology ? LAPTEC?2003, v. 101, p. 67-80, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2002

1.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. Paraconsistent Logic Programs. Em: 8th European Conference JELIA2002, p. 345-356, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ALCANTARA, J. F. L.; DAMASIO, C. V. ; PEREIRA, L. M.. Paraconsistent Logic Programs. Em: Workshop on Paraconsistent Logics of ESSLLI'2002, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BRITO, C.; PEARL, J.. A New Identification Condition for Recursive Models with Correlated Errors.. Structural Equation Models. 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BRITO, C.; PEARL, J.. A Graphical Criterion for the Identification of Causal Effects in Linear Models. Em: AAAI'02 - The XVIII National Conference on Artificial Intelligence, p. 533-538, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BRITO, C.; PEARL, J.. Generalized Instrumental Variables. Em: Conference on Uncertainty in Artificial Intelligence (UAI), 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Buchsbaum, Arthur; Fendt, Leticia. Um Método dosTableaux para Evitar Repetições de Fórmulas nos Ramos das Árvores de Prova. Em: I Congresso de Informática de Rondônia, v. 1, p. 1-10, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Buchsbaum, Arthur; Fendt, Leticia ; ANDRADE, A. F. ; BARREIROS, N.. Protótipo Inicial da Interface Gráfica de um Provador de Teoremas. Em: I Seminário de Informática da UNIC, v. 1, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   CORREA, R. C. (Org.) ; DUTRA, I. C. (Org.) ; FIALLOS, M. (Org.) ; GOMES, F. A. C. (Org.). Models for Parallel and Distributed Computation. 1 ed. Dordrecht: Kluwer Academic Publishers, 2002. v. 1, p. 321.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   GOMES, F. A. C.; Gidas ; Robertson. Model-Based Tracking of Moving Objects in Cluttered Environments. Quarterly of Applied Mathematics. v. 60, n. 4, p. 737-772, issn: 0033569X, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PEQUENO, T. H. C.; SILVESTRE, Ricardo Sousa. The Logic of Intra-Theoretical Scientific Reasoning. Em: Second International Workshop on Computational Models of Scientific Reasoning and Applications, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   PEQUENO, T. H. C.; BUCHSBAUM, Arthur Ronaldo de Vallarius. A Logic for Ambiguous Description. Em: 9th Workshop on Logic, p. 149-166, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   PEQUENO, T. H. C.; BUCHSBAUM, Arthur Ronaldo de Vallarius (Org.) ; PEQUENO, Marcelino Cavalcante (Org.). New Trends in the Foundations of Science. New Trends in the Foundations of Science. , 2002. .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   PEQUENO, T. H. C.; MARTINS, A. T. C. ; PEQUENO, Marcelino Cavalcante. A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic. Em: W. A. Carnielli, M. E. Coniglio e I. M. L. D' Ottaviano. (Org.). PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENCY. 1ed.New York. : Marcel Dekker,Inc.. 2002.v. 1, p. 187-211.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2001

1.   Buchsbaum, Arthur; Fendt, Leticia. O Método dos Tableaux com Unificação. Em: III Encontro Nacional de Inteligência Artificial, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   DANTAS, R. A. ; MARTINS, A. T. C.. Uso de Redes Neurais no Refinamento de Bases de Conhecimento em Sistemas de Diagnóstico para Eutrofização de Açudes. Em: III Encontro Nacional de Inteligência Artificial, v. 1, p. 1577-1583, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GOMES, F. A. C.; LEITAO, F. ; MATWIN, S.. Comparing Diagnostic Models for CPA Tumors. Em: 2001 International Conference on Mathematics and Engineering Techniques in Medicine and Biological Sciences, p. 432-139, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; OLIVEIRA, C. ; RESENDE, M. ; PARDALOS, P.. Reactive GRASP with Path Relinking for Channel Assignment in Mobile Phone Networks. Em: Workshop on Discrete Algothrithms and Methods for MOBILE Computing and Communications, p. 60-67, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MARTINS, A. T. C.; BORGES, D. L. (Org.). I Jornada de Atualização em Inteligência Artificial. Porto Alegre: Sociedade Brasileira de Computação. I Jornada de Atualização em Inteligência Artificial. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 1, p. 320.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MARTINS, A. T. C.; OLIVEIRA, A. G. ; QUEIROZ, R.. Uma Introdução à Teoria da Prova. Em: XXI Congresso da Sociedade Brasileira de Computação, v. 3, p. 89-139, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   PEQUENO, M. C.; MARTINS, Ana Teresa. Semantics for Default Reasoning. Em: International conference on Artificial Intelligence, v. II, p. 895-901, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   PEQUENO, T. H. C.; BUCHSBAUM, Arthur Ronaldo de Vallarius. Reasoning within Scientific Theories: A Logic. Em: Second Principia International Symposium, 2001, Florianópolis, SC. Second Principia International Symposium - Abstracts. Florianópolis, SC: Núcleo de Epistemologia e Lógica, v. 1, p. 7-8, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   PEQUENO, T. H. C.; BUCHSBAUM, Arthur Ronaldo de Vallarius ; PEQUENO, Marcelino Cavalcante. A Positive Formalization for the Notion of Pragmatic Truth. Em: International Conference on Artificial Intelligence - IC-AI2001, v. II, p. 902-908, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PEQUENO, T. H. C.; BÉZIAU, J. Y.. From paraconsistent to universal logic. Sorites (Madrid). p. 05-32, issn: 11351349, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   PEQUENO, T. H. C.; MARTINS, A. T. C. (Org.) ; PEQUENO, M. C. (Org.). Anais do XXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação. Anais do XXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 1, p. 320.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   PONTES FILHO, Robledo ; PEQUENO, M. C. ; SIILVA, Robson da. Revisão Sintática e Semântica da Lógica Default. Em: ENIA - Encontro Nacional de Inteligência Artificial, v. I, p. 1103-1111, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2000

1.   BRITO, C.; CARMO, M. C. ; SILVA, R. M. L. R. ; SOUZA, E.. Analise Transiente de Modelos de Fonte Multimidia. Em: 18o Simposio Brasileiro de Redes de Computadores - SBRC, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Buchsbaum, Arthur; Pequeno, Tarcisio. A Game Characterization of Paraconsistent Negation . Em: Second World Congress on Paraconsistency, 2000, Juqueí, SP. Second World Congress on Paraconsistency - Abstracts, v. 1, p. 1-1, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur; WANGENHEIM, A. V. ; WAZLAWICK, R. S. ; GAUTHIER, F. A. O. ; BITTENCOURT, G. ; SICHMAN, J. S. ; ALVES, J. B. M. ; BARRETO, J. M. ; ROISENBERG, M. ; BORGES, P. S. S. ; BASTOS, R. C. ; VICCARI, R. M. ; NASSAR, S. M. ; LIMA, V. L. S.. Proposta para ensino da matéria de Inteligência Artificial em Cursos de Graduação. Em: Sociedade Brasileira de Computação. (Org.). Anais do II Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática. Porto Alegre. : Sociedade Brasileira de Computação. 2000..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CONIGLIO, M. E. ; MARTINS, A. T. C. ; SERNADAS, A. ; SERNADAS, C.. Fibring (Para)consistent Logics. Em: Secondo World Congress on Paraconsistency, 2000, Juquehy - SP. Proceedings of the WCP'2000. Campinas: CLE-UNICAMP, p. 58-59, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, F. A. C.; LEITAO, F. ; DIOGENES, S.. A Diagnostic Model for Cerebellum Pontine Angle Tumors. Arquivos de Neuro-Psiquiatria. v. 58, n. 1, p. 57-63, issn: 0004282X, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   GOMES, F. A. C.; OLIVEIRA, C. ; RESENDE, M.. A greedy randomized approach for channel allocation in mobile phone networks. Em: 17th International Symposium on Mathematical Programming, 2000, Atlanta - Georgia - USA. Proceedings of the International Symposium on Mathematical Programming. Providence, RI: American Mathematical Society, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MARTINS, A. T. C. ; PEQUENO, T. H. C.. A Paraconsistent Non-monotonic Logic Through its Semantics. Em: Second World Congress on Paraconsistenty, 2000, Juquehy, São Paulo. Proceedings of the Second World Congress on Paraconsistenty, v. 1, p. 66-67, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MARTINS, A. T. C.; PEQUENO, T. H. C.. A Paraconsistent Nonmonotonic Logic through its Semantics. Em: Second World Congress on Paraconsistency, 2000, Juquehy - SP. Proceedings of the WCP'2000. Campinas: CLE-UNICAMP, p. 66-67, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   RAMALHO, J. V. A. ; RIBEIRO, J. W. ; DUARTE, J. B. F. ; MARTINS, A. T. C.. Métodos Computacionais Híbridos no Ensino de Campos Elétricos. Em: 21th Iberian Latin American Congress on Computational Methods in Engineering, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1999

1.   ALCANTARA, J. F. L.; PEQUENO, M. C.. WFSXEI - Uma semântica bem fundada para programas em lógica estendidos da inconsistência epistêmica. Em: II Encontro Nacional de Inteligência Artificial, v. IV, p. 255-271, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ALCÂNTARA, J. F. L. ; PEQUENO, M. C.. WFSXEI - Uma Semântica Para Programas em Lógica Estendidos da Inconsistência Epistêmica. Em: II Encontro Nacional de Inteligência Artificial - XIX Congresso Nacional da Sociedade Brasileira de, v. IV, p. 255-271, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BRITO, C.; MORAES, R. S. ; OLIVEIRA, D. J. ; SOUZA, E.. Comunicacao Multicast Confiavel na Implementacao de uma Ferramenta Whiteboard. Em: 17o Simposio Brasileiro de Redes de Computadores - SBRC, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. Uma Classe de Lógicas Polissortidas e Seu Correspondente Teorema de Completude. Em: XII Encontro Brasileiro de Lógica, 1999, Parque Nacional de Itatiaia. XII Encontro Brasileiro de Lógica - Resumos, p. 59-59, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BUCHSBAUM, Arthur Ronald de Vallarius ; PEQUENO, T. H. C.. On Plausible Reasoning and Its Import in Reasoning about Science. Em: International Union of History and Philosophy of Science, v. 1, p. 135-146, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Buchsbaum, Arthur; Pequeno, Tarcisio. On Plausible Reasoning and Its Import in Reasoning about Science. Em: 11th International Congress of Logic, Methodology and Philosophy of Science, 1999, Cracóvia, Polônia. Volume of Abstracts, v. 1, p. 222-222, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   CASTRO, M. F. ; NASCIMENTO, A. S. ; PEQUENO, M. C. ; OLIVEIRA, A. M. B.. Measured-Based Estimation of the Required Capacity on ATM Switches Using Neural Networks Systems. Em: First IEEE Latin American Network Operations and Management Symposium, p. 155-166, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   CASTRO, M. F. ; NASCIMENTO, A. S. ; PEQUENO, M. C. ; OLIVIEIRA, A. M. B.. Redes Neurais na Estimativa da Capacidade Ruquerida em Comutadores ATM . Em: XVII Simpósio Brasileiro de Redes de Computadores, p. 583-598, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   CUNHA, R. O. ; PEQUENO, M. C. ; DUARTE, J. B. F.. Utilização do Método de Redes Neurais Para Estimação de ParâmetrosTermofísicos em Problemas de Condução de Calor. Em: XXII Congresso Nacional de Matemática Aplicada e Computacional, 1999, Santos, SP. Anais do XXII Congresso Nacional de Matemática Aplicada e Computacional - CNMAC 99, p. 66, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. C.. A Sequent Calculus for a Paraconsistent Default Logic. Journal of the Interest Group in Pure and Applied Logics (IGPL), Inglaterra. Em: Journal of the Interest Group in Pure and Applied Logics (IGPL), 1999, London. Journal of the Interest Group in Pure and Applied Logics (IGPL). Londres, Inglaterra, v. 7, n.4, p. 564-565, 1999, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, Marcelino Cavalcante. A Sequent Calculus for a Paraconsistent Default Logic. Em: 6th Workshop on Logic, v. 1, p. 139-149, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   PEQUENO, T. H. C.; MARTINS, A. T. C. ; PEQUENO, Marcelino Cavalcante ; SILVESTRE, Ricardo Sousa. Formal Methods in Computer Science: The LOGIA Project. Em: Workshop do ProTeM - CC, v. 1, p. 1-15, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   PEQUENO, T. H. C.; MARTINS, A. T. C.. A Sequent Calculus for a Paraconsistent Default Logic. Journal of the Interest Group in Pure and Applied Logics (IGPL), Londres, Inglaterra. v. 7, p. 564-565, 1999, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   PEQUENO, T. H. C.; PEQUENO, Marcelino Cavalcante ; SOUZA, J. T.. First Order Theory Revision to Student Modelling. Em: II ENIA - Encontro Nacional de Inteligência Artificial, v. IV, p. 495-502, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   SOUZA, J. T. ; PEQUENO, T. H. C. ; PEQUENO, Marcelino Cavalcante. Desenvolvendo um Ambiente Distribuído de Auxílio à Avaliação Conceitual. Em: X Simpósio Brasileiro de Informática na Educação, p. 177-184, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   VASCONCELOS, D. R. ; MARTINS, A. T. C.. Um Provador Automático de Teoremas Baseado em Dedução Natural Usando o Mecanismo de Metabox. Em: Segundo Encontro Nacional de Inteligência Artificial, v. 4, p. 547-553, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   VASCONCELOS, D. R.; MARTINS, A. T. C.. Uma Tradução que Preserva a Derivabilidade entre LEI e a Lógica Modal S5. Em: XVIII Encontro Universitário de Iniciação à Pesquisa da UFC, 1999, Fortaleza. Anais do XVIII Encontro Universitário de Iniciação à Pesquisa da UFC, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1998

1.   BRITO, C.; OLIVEIRA, D. J. ; MORAES, R. S.. Protocolo de Confiabilidade Multicast Para Ferramenta Whiteboard. Em: XX Jornada Interna de Iniciação Científica, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. A New Group of Logics featuring Non Classicas Negations. Em: Stanislaw Jaskowski Memorial Symposium, 1998, Torun, Polônia. Stanislaw Jaskowski Memorial Symposium, v. 1, p. 53-54, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BUCHSBAUM, Arthur Ronaldo de Vallarius ; PEQUENO, T. H. C.. A General Treatment for the Deduction Theorem in Open Calculi. Logique et Analyse. v. 157, p. 9-29, issn: 00245836, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; MENEZES, C. N. ; LIMA, A. ; OLIVEIRA, C.. Asynchronous Organizations for Solving the Point-to-Point Connection Problem. Em: International Conference on Multi Agent Systems, p. 144-149, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   PEQUENO, T. H. C.; MARTINS, A. T. C.. An algebraic semantics for a nonmonotonic and paraconsistent logic. Em: International Meeting on Language, Logic and Artificial Intelligence, 1998, Fortaleza. Proceedings of The International Meeting on Language, Logic and Artificial Intelligence. Fortaleza: Universidade Federal do Ceará, v. 1, p. 15-17, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   VASCONCELOS, D. R.; MARTINS, A. T. C.. Resolvendo Jogos com Técnicas de Inteligência Artificial. Em: XVII Encontro Universitário de Iniciação à Pesquisa da UFC, 1998, Fortaleza. Anais do XVII Encontro Universitário de Iniciação à Pesquisa da UFC, 1998.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1997

1.   BRITO, C.; OLIVEIRA, D. J.. Uma Ferramenta Whiteboard Para Desenvolvimento de Sistemas de Computação. Em: XIX Jornada Interna de Iniciação Científica, p. 10-10, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. A Introdução da Implicação em Cálculos Axiomáticos Abertos. Em: IV Encontro de Filosofia Analítica, v. 1, p. 61-75, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur; Pequeno, Tarcisio. A General Treatment for the Deduction Theorem in Open Calculi. Logique et Analyse. v. 157, n. II, p. 9-29, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; VALDÍSIO, G. ; FONTELES, C.. Simulated Annealing, Genetic Algorithm and Tabu Search Metaheuristic Parallelization. Em: Intl. Conf. on Artificial Intelligence and Soft Computing, p. 105-111, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   PEQUENO, T. H. C.; MARTINS, A. T. C.. Paraconsistency and Plausibility in the Logic of Epistemic Inconsistency. Em: First World Congress on Paraconsistency, 1997, Gent. Proceedings of the First World Congress on Paraconsistency. Gent: University of Gent, v. 1, p. 72-73, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1996

1.   MARTINS, A. T. C. ; PEQUENO, T. H. C.. PROOF-THEORETICAL CONSIDERATIONS ABOUT LOGIC EPISTEMIC INCONSISTENCY. LOGIQUE E ANALISE,1996. v. 1, n. 143, p. 245-260, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   MARTINS, A. T. C. ; PEQUENO, T. H. C.. SOME CHARACTERISTICS OF THE IDL REASONING STYLE. JOURNAL OF THE INTEREST GROUP IN PURE AND APLLYED LOGIC, LONDON. v. 8, n.3, p. 517-519, 1996, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, Marcelino Cavalcante. Well Behaved IDL Theories. Em: XIII Brazilian Symposium on Artificial Intelligence, v. 1159, p. 1120-1159, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MARTINS, A. T. C.; PEQUENO, T. H. C.. Proof-Theoretical Considerations about the Logic of Epistemic Inconsistency. Logique et Analyse. v. 143-4, p. 245-260, issn: 00245836, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MARTINS, A. T. C.; PEQUENO, T. H. C.. Some Characteristics of the Inconsistent Default Logic Reasoning Style. Journal of the Interest Group in Pure and Applied Logics (IGPL), Inglaterra. v. 4, n.3, p. 517-519, 1996, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   NOGUEIRA, J. H. M. ; SILVA, R. B. ; ALCANTARA, J. F. L. ; CASTRO, R.. Expert SINTA, uma Ferramenta Visual Geradora de Sistemas Especialistas. Em: VI Semana de Informática, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   NOGUEIRA, J. H. M. ; SILVA, R. B. ; ALCANTARA, J. F. L. ; CASTRO, R.. Expert Sinta. Em: X Simpósio Brasileiro de Engenharia de Software (SBES), 1996, São Carlos. Anais do X Simpósio Brasileiro de Engenharia de Software, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   SILVA, R. B. ; ALCANTARA, J. F. L. ; HOLANDA, S. ; CASTRO, R.. Aplicações baseadas no Expert Sinta, uma ferramenta para criação de sistemas especialistas. Em: XV Encontro Universitário de Iniciação à Pesquisa, 1996, Fortaleza. Anais do XV Encontro Universitário de Iniciação à Pesquisa da UFC, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1995

1.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. The Logic of Epistemic Inconsistence. Em: 10Th Brazilian Conference on Mathematical Logic, v. 14, p. 177-197, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   GOMES, F. A. C.; BONIN, J.. Heuristic Autonomous Mobile Robot Using Visual Servoing. Manufacturing Forum Applied Artificial Intelligence. v. 1, n. 2, p. 98-120, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GOMES, F. A. C.; BONIN, J.. Heuristic Autonomous Mobile Robot. Em: VII Portuguese Conference on Artificial Intelligence, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   PEQUENO, M. C.. Pruning Multi-Extensions via Exceptions. In: II Dutch-German Workshop on Non-Monotonic Reasoning, 1995, Utrecht. Proceedings of II Dutch-German Workshop on Non-Monotonic Reasoning. p. 143-151, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   PEQUENO, T. H. C.; BUCHSBAUM, A. R. V.. The Logic of Epistemic Insconsistency. Em: Walter Carnielli. (Org.). Logic Sets an Information. Campinas - Sao Paulo. : Colecao CLE. 1995.p. 177-198.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   R. Silvestre ; SILVA, R. B. ; ALCANTARA, J. F. L.. Expert Sinta, uma ferramenta visual para a construção de sistemas especialistas. Em: XIV Encontro Universitário de Iniciação à Pesquisa, 1995, Fortaleza. Anais do XIV Encontro Universitário de Iniciação à Pesquisa, 1995.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1994

1.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. AUTOMATED DEDUCTION WITH NON-CLASSICAL NEGATIONS. Em: 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, p. 51-63, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   GOMES, F. A. C.; GASCUEL, O.. SDL, a stochastic algorithm for learning decision lists with limited complexity. Annals of Mathematics and Artificial Intelligence. v. 10, p. 281-302, issn: 10122443, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GOMES, F. A. C.; MENEZES, C. N. ; MACAMBIRA, H.. Course Schedule Using Metaheuristics. Em: XXVI Simpósio Brasileiro de Pesquisa Operacional, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; PEQUENO, T. H. C. (Org.). Proceedings of the XII Brazilian Symposium of Artificial Intelligence. Porto Alegre: Sociedade Brasileira de Computação. Proceedings of the XII Brazilian Symposium of Artificial Intelligence. Porto Alegre: Sociedade Brasileira de Computação, 1994. v. 1, .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MARTINS, A. T. C. ; PEQUENO, T. H. C.. A Sequent Calculus for the Logic of Epistemic Inconsistence. Em: 11th Brazilian Symposium on Artificial Intelligence, p. 115-128, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MARTINS, A. T. C. ; PEQUENO, T. H. C.. Proof Theoretical Considerations About the Logic of Epistemic Inconsistency. Em: Conference on Philosofical Logic, 1994, Gent, Bélgica. Proceedings of the Conference on Philosofical Logic. Gent, Bélgica: University of Gent, p. 1-2, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MARTINS, A. T. C.; QUEIROZ, R.. Using Labels in a Paraconsistent and Nonmonotonic Sequent Calculus. Em: Vigésima Conferência Latinoamericana de Informática, p. 795-802, 1994.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1993

1.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. Uma Família de Lógicas Paraconsistentes e/ou Paracompletas com Semânticas Recursivas. Coleção Documentos - Série de Lógica e Teoria da Ciência. v. 14, p. 1-59, issn: 16799429, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, Arthur Ronaldo de Vallarius ; PEQUENO, T. H. C.. A Reasoning Method for a Paraconsistent Logic. Studia Logica. v. 52, n. 2, p. 281-290, issn: 00393215, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BUCSHBAUM, A. R. V. ; PEQUENO, T. H. C.. Uma Familia de Lógicas Paraconsistentes e ou Paracompletas com Semânticas Recursivas. Em: INTITUTO DE ESTUDOS AVANADOS DA USP. (Org.). Serie Lógica e Teoria da Ciência. Sao Paulo. : Universidade de São Paulo. 1993.p. 45-63.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CORREA, Ricardo ; PEQUENO, T. H. C. ; BUCHSBAUM, Arthur. Sensible Inconsistent Reasoning: A Tableau System For LEI. Em: AAAI Fall Symposium on Automated Deduction in Non-Standard Logics, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   GOMES, F. A. C.; GASCUEL, O.. Learning with Limited Complexity. Em: X Simpósio Brasileiro de Inteligência Artificial, 1993.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1992

1.   Correa, Marcelo ; Buchsbaum, Arthur ; Pequeno, Tarcisio. Raciocínio Automático com Conhecimento Incompleto e Inconsistente I: Um Sistema de Tableaux para LEI. Em: IX Simpósio Brasileiro de Inteligência Artificial, p. 281-296, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   GOMES, F. A. C.; GASCUEL, O.. Learning a Globally Optimal Set of Decision Lists. Em: European Conference on Artificial Intelligence, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   GOMES, F. A. C.; GASCUEL, O.. Learning Decision Lists with Limited Complexity Using Stochastic Methods. Em: II International Conference on Artificial Intelligence and Mathematics, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   GOMES, F. A. C.; GASCUEL, O.. Utilisation d'Algorithmes Stochastiques en Apprentissage. Em: III Journées Symboliques Numériques, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MARTINS, A. T. C. ; PEQUENO, M. C.. Provando Teoremas Através de Diálogos. Em: IX Simpósio Brasileiro de Inteligência Artificial, p. 270-280, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1991

1.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. Ten Paraconsistent and/or Paracomplete Logics with Recursive Semantics. Em: 9Th International Congress on Philosophy, Logic and Theory of Science - sector of Logic and Computer Science, 1991, Suécia. 9Th International Congress on Philosophy, Logic and Theory of Science - sector of Logic and Computer Science, v. 1, p. 155-155, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, Arthur ; PEQUENO, T. H. C.. The Epistemic Inconsistence and Ist Logic. Em: 9Th International Congress on Philosophy, Logis and Theory os Sciences - Sector of Philosophic Logic, 1991, Suécia. Porceedings of 9Th International Congress on Philosophy, Logis and Theory os Sciences - Sector of Philosophic Logic. Suécia, v. 1, p. 108-108, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   PEQUENO, M. C.; GRUPO GODEL.. Uma Extensão do Método dos Tableaux para Tratamento da Negação por Falha Finita. Em: VIII Simpósio Brasileiro de Inteligência Artificial, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   PEQUENO, T. H. C.; BUCHSBAUM, Arthur. The Logic of Epistemic Inconsistency. Em: Conference on Principles of Knowledge Representacion and Reasoning, p. 453-460, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1990

1.   BUCHSBAUM, 4. A. ; PEQUENO, T. H. C.. A Reasoning Method For A Paraconsistent Logic.. JOURNAL OF NON-CLASSICAL LOGIC. v. 6, 1990.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BUCHSBAUM, A. ; PEQUENO, T. H. C.. O Metodo do Tableaux Generalizado - Aplicacoes Ao R.A. Em Logicas N-Classicas.. O QUE NOS FAZ PENSAR. v. 1, n. 3, p. 81-96, 1990.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur; Pequeno, Tarcisio. O Método dos Tableaux Generalizado e Sua Aplicação ao Raciocínio Automático em Lógicas Não Clássicas. O que nos faz pensar - Cadenos do Departamento de Filosofia da PUC-Rio. v. 3, p. 81-96, 1990.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

*itens sem ano

1.   BRITO, C.. ; A ; New ; Approach ; to ; the ; Identification ; Problem. ; In: ; XVI ; Brazilian ; Symposium ; on ; Artificial ; Intelligence ; - ; SBIA'02, 2002, Recife ; - ; Brazil. ; Proceedings ; of ; the ; XVI ; Brazilian ; Symposium ; on ; Artificial ; Intelligence, 2002.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Buchsbaum, Arthur. ; A ; Logic ; for ; Ambiguous ; Description. ; Electronic ; Notes ; in ; Theoretical ; Computer ; Science, v. ; 67, p. ; 1-18, 2002.. A Logic for Ambiguous Description. Electronic Notes in Theoretical Computer Science. v. 67, issn: 15710661, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Buchsbaum, Arthur. ; A ; Logic ; for ; Ambiguous ; Description. ; In: ; 9th ; Workshop ; on ; Logic, Language, Information ; and ; Computation, 2002, Rio ; de ; Janeiro. ; 9th ; Workshop ; on ; Logic, Language, Information ; and ; Computation, 2002. ; v. ; 1. ; p. ; 149-166.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Buchsbaum, Arthur. A Universidade Fragmentada e Incompleta. Boletim da APUFSC, p. 6 - 7, 13 nov. 2006.. . .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   Buchsbaum, Arthur. The Logic of Ambiguous Reference. In: 11th International Congress of Logic, Methodology and Philosophy of Science, 1999, Cracóvia, Polônia. Volume of Abstracts, 1999. v. 1. p. 98-98.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FERREIRA, F. M.. Bounded-Degree Second-Order and Transitive Closure Logics. In: UNILOG IV, 2013, Rio de Janeiro. Handbook of the 4th World Congress and School on Universal Logic, 2013.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FERREIRA, F. M.. Cálculo da Não Provabilidade Para a Lógica da Inconsistência Epistêmica. In: XX Encontro Universitário de Iniciação à Pesquisa, 2001, Fortaleza. XX Encontro Universitário de Iniciação à Pesquisa.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FERREIRA, F. M.. Cálculo de Antisequêntes para LEI. In: XXI Encontro Universitário de Iniciação à Pesquisa, 2002, Fortaleza. XXI Encontro Universitário de Iniciação à Pesquisa.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   FERREIRA, F. M.. Ensino do Processo de Ortonormalização de Gram-Schmidt com a Utilização de Recursos de Computação Simbólica. In: XVIII Encontro Universitário de Iniciação à Pesquisa, 1999, Fortaleza. XVIII Encontro Universitário de Iniciação à Pesquisa. Fortaleza: Imprensa Universitária da Universidade Federal do Ceará, 1999. p. 101-101.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   FERREIRA, F. M.. Um Provador de teoremas IDL. In: XIX Encontro Universitário de Iniciação à Pesquisa, 2000, Fortaleza. XIX Encontro Universitário de Iniciação à Pesquisa, 2000.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   FERREIRA, F.M.. Bounded-Degree Quantification and MSO_2. In: NAT@LOGIC - GeTFun, 2015, Natal. NAT@LOGIC 2015 - Book of Abstracts, 2015. v. 1. p. 42-43.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   GOMES, F. A. C.. A Inteligência Artificial. O POVO, Fortaleza, 01 out. 1994.. . .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   GOMES, F. A. C.. Descoberta de Conhecimento em Banco de Dados - Data Mining. In: Riverson Rios; Hermano Perreli de Moura. (Org.). Escola de Informática do Nordeste - EINE 99. Porto Alegre: Sociedade Brasileira de Computação - SBC, 1999, v. , p. -.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   GOMES, F.A.C.. Estado e Economia Digital. Jornal OPOVO, Fortaleza CE, Brasil, p. 11 - 11, 11 maio 2015.. . .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   GOMES, J. P. P.. Da teoria à prática no ensino de microprocessadores. In: Encontro de Iniciação à docência - UFC, 2003, Fortaleza. Anais do Encontro de Iniciação à docência UFC, 2003.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   GOMES, J. P. P.. Programação em linguagem Assembly. 2004. (Curso de curta duração ministrado/Outra).. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   MARQUES, Victor ; Ximenes. ; Contra ; a ; síndrome ; da ; casa ; tomada: ; ciência, filosofia ; e ; naturalismo ; dialético. ; In: ; VII ; Semana ; Acadêmica ; do ; Programa ; de ; Pós-Graduação ; em ; Filosofia ; da ; Pontifícia ; Universidade ; Católica ; do ; Rio ; Grande ; do ; Sul, 2011, Porto ; Alegre. ; Semana ; Acadêmica ; do ; PPG ; em ; Filosofia ; da ; PUCRS. ; Porto ; Alegre: ; EDIPUCRS, 2011. ; v. ; VII. ; p. ; 243-252.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   MARQUES, Victor ; Ximenes. ; Da ; vida ; da ; Lógica ; à ; lógica ; da ; vida. ; Revista ; Eletrônica ; de ; Estudos ; Hegelianos, v. ; 01, p. ; 34, 2013.. Da vida da Lógica à lógica da vida. Revista Eletrônica de Estudos Hegelianos. v. 01, issn: 19808372, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   MARQUES, Victor ; Ximenes. ; Fazendo ; o ; caminho ; ao ; caminhar; ; a ; Ideia ; comunista ; no ; século ; XXI. ; In: ; VIII ; Semana ; Acadêmica ; do ; PPG ; em ; Filosofia ; da ; PUCRS, 2012, Porto ; Alegre. ; Semana ; Acadêmica ; do ; PPG ; em ; Filosofia ; da ; PUCRS. ; Porto ; Alegre: ; EDIPUCRS, 2011.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   MARQUES, Victor Ximenes. A tensão do vivente. Uma leitura atualizada da filosofia da natureza de Hegel.. In: XIII Encontro Nacional de Filosofia - ANPOF, 2008, Canela. Atas do XIII Encontro Nacional de Filosofia. São Leopoldo: Editora Unisinos, 2008.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   MARQUES, Victor Ximenes. Aportes para investigação do conceito de vida em Hegel ? p. 146-161.. In: CHAGAS, E. F; NICOLAU, M. F. A.; OLIVEIRA, R. A.. (Org.). Reflexões sobre a Fenomenologia do Espírito de Hegel. Fortaleza: Edições UFC, 2008, v. , p. -.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   MARQUES, Victor Ximenes. Movimento, Vida e Contradição. In: Konrad Utz; Agemir Bavaresco; Paulo Roberto Konzen. (Org.). Sujeito e Liberdade na Filosofia Moderna Alemã. 1ed.Porto Alegre: Evangraf, 2012, v. , p. 244-.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   MARQUES, Victor Ximenes. Por que a vida é uma categoria da Lógica?. In: VI Congresso Internacional da Sociedade Hegel Brasileira, 2011, Rio Janeiro. Caderno de Resumos do VI Congresso Internacional da Sociedade Hegel Brasileira, 2011. v. 8. p. 80-80.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   Marques, Victor. Entre a filosofia da biologia e a filosofia da informação: Uma teoria do organismo precisa do conceito de conteúdo informacional?. In: X Encontro de Filosofia e História da Ciência do Cone Sul, 2016, Águas de Lindóia. RESUMOS ESTENDIDOS AFHIC - X ENCONTRO DE FILOSOFIA E HISTÓRIA DA CIÊNCIA DO CONE SUL, 2016. p. 195-196.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   Marques, Victor. Positing the Presuppositions Dialectical Biology and the Minimal Structure of Life. Slavoj i ek and Dialectical Materialism. 1ed.: Palgrave Macmillan US, 2016, v. , p. 113-132.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
26.   MARTINS, A. ; T. ; C.. ; Um ; Sistema ; de ; Revisão ; de ; Crenças ; para ; Resolução ; de ; Problemas. ; In: ; Congresso ; da ; Sociedade ; Brasileira ; de ; Computação, 1990, Vitória. ; Anais ; do ; Décimo ; Congresso ; da ; Sociedade ; Brasileira ; de ; Computação. ; Rio ; de ; Janeiro: ; Sociedade ; Brasileira ; de ; Computação, 1990. ; p. ; 571-577.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
27.   MARTINS, A. T. C.. A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency. In: Science, Truth and Consistency, 2009, Campinas. Science, Truth and Consistency. Campinas: CLE, 2009. v. 1. p. 75-77.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
28.   PEQUENO, M. ; C.. ; Normally, Canaries ; Fly. ; In: ; VI ; Simpósio ; Brasileiro ; de ; Inteligência ; Artificial, 1989, Rio ; de ; Janeiro. ; Anais ; do ; VI ; Simpósio ; Brasileiro ; de ; Inteligência ; Artificial. ; Rio ; de ; Janeiro, 1989.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
29.   PEQUENO, M. ; C.. ; Pruning ; Multi-Extensions ; via ; Exceptions. ; In: ; II ; Workshop ; Argentino ; sobre ; Aspectos ; Teóricos ; da ; Inteligência ; Artificial, 1995, Baia ; Blanca. ; Anais ; do ; II ; Workshop ; Argentino ; sobre ; Aspectos ; Teóricos ; da ; Inteligência ; Artificial, 1995. ; p. ; 81-90.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
30.   PEQUENO, M. ; C.. ; Reasoning ; with ; Exceptions ; First. ; In: ; XVIII ; Conferência ; Latino-Americana ; de ; Informática ; - ; CLEI'92, 1992, Las ; Palmas. ; Anais ; da ; XVIII ; Conferência ; Latino-Americana ; de ; Informática, 1992.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
31.   PEQUENO, M. ; C.. ; Three ; Principles ; for ; the ; Formalization ; of ; Nonmonotonic ; Reasoning. ; In: ; VIII ; Simpósio ; Brasileiro ; de ; Inteligência ; Artificial, 1991, Rio ; de ; Janeiro. ; Anais ; do ; VIII ; Simpósio ; Brasileiro ; de ; Inteligência ; Artifical, 1991.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
32.   PEQUENO, M. C. ; PEQUENO, M. C.. Coluna de Internet. Jornal O POVO, Fortaleza, .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
33.   PEQUENO, M. C. ; PEQUENO, M. C.. Coluna de Internet. Jornal O POVO, Caderno de Informática, Fortaleza, .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
34.   PEQUENO, M. C.. Coluna de Internet. Jornal O POVO, Fortaleza.. . .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
35.   PEQUENO, M. C.. Specificity Is Not A Meta-Logical Notion. In: I Workshop on Nonmonotonic Resoning with Specifity, 1989, Saint Louis. Proceedings of Workshop on Defeasible Resoning with Specifity. SAINT LOUIS, 1999.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
36.   PEQUENO, T. ; H. ; C.. ; A ; Logic ; For ; Inconsistent ; Non-Monotonic ; Reasoning. ; In: ; TECH. ; REPORT ; 6/90 ; DEPT. ; OF ; COMPUTING ; IMPERIAL ; COLLEGE ; - ; LONDON, 1990. ; LONDON: ; IMPERIAL ; COLLEGE, 1990. ; p. ; 1-32.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
37.   PEQUENO, T. ; H. ; C.. ; A ; Theorem ; Prover ; Based ; On ; Game ; Theoretic ; Semontics. ; In: ; CONFERENCIA ; INTERNACIONAL ; SOBRE ; INFORMATICA, 1988. ; HAVANA ; - ; CUBA. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
38.   PEQUENO, T. ; H. ; C.. ; Raciocinio ; Automatico ; Em ; Logicas ; Paraconsistentes ; E/Ou ; Para ; Com ; Pletas. ; In: ; VI ; SIMPOSIO ; BRAS. ; DE ; ITELIGENCIA ; ARTIFICIAL, 1989. ; RIO ; DE ; JANEIRO. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
39.   PEQUENO, T. ; H. ; C.. ; Sistema ; Especialista ; Em ; Diagnostico ; Com ; Capacidade ; Para ; Aquisicao ; de ; Conhecimento. ; In: ; CONFERENCIA ; INTERNACIONAL ; SOBRE ; INFORMATICA, 1988. ; HAVANA ; - ; CUBA. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
40.   PEQUENO, T. ; H. ; C.. ; Um ; Provador ; de ; Teoremas ; Baseado ; Em ; Jogos ; Semanticos. ; In: ; IV ; SIMPOSIO ; BRAS. ; DE ; INTELEIGENCIA ; ARTIFICIAL, 1987. ; UBERLANDIA. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
41.   PEQUENO, T. ; H. ; C.. ; Um ; Provador ; Paraconsistente. ; In: ; V ; SIMPOSIO ; BRASILEIRO ; DE ; INTELIGENCIA ; ARTIFICIAL, 1988. ; NATAL. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
42.   PEQUENO, T. ; H. ; C.. ; Um ; Raciociandor ; Automatico ; Por ; Jogos ; Semanticos. ; In: ; VI ; SIMPOSIO ; BRAS. ; DE ; INTELIGENCIA ; ARTIFICIAL, 1989. ; RIO ; DE ; JANEIRO. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
43.   PEQUENO, T. ; H. ; C.. ; Uma ; Propriedade ; Simplificadord ; No ; Problema ; de ; Propagação ; de ; Evidências. ; In: ; CONGRESSO ; DA ; SBC, 1990. ; VITORIA. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
44.   PEQUENO, T. ; H. ; C.. ; Uma ; Tecnica ; de ; Modelagem ; do ; Estudante ; Para ; Uso ; Em ; Sistemas ; Educativa ; Inteligentes. ; In: ; IV ; SIMPOSIO ; BRASILEIRO ; DE ; I.A. ; (IV ; SBIA), 1987. ; UBERLANDIA. ; p. ; 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
45.   PEQUENO, T. H. C.. Algumas Solucoes de Prova Automatica Em Logicas Nao-Classicas. In: VIII LATIN AMERICAN SYMPOSIUM ON MATH.LOGIC, 1989. J.PESSS-A. p. 0-0.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
46.   PEQUENO, T. H. C.. Pedras podem seguir regras?. In: Montenegro, M;. (Org.). Colóquio Wittgenstein: Artigos em Homenagem aos 50 anos das Investigações Filosoficas. Fortaleza: Editora UFC, 2005, v. , p. -.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
47.   PEQUENO, T. H. C.. The logic of practical reasoning. In: International Meeting On Language, Logic And Artificial Intelligence, IMLLAI., 1998, Fortaleza, Ceará. Proceedings of the International Meeting On Language, Logic And Artificial Intelligence, IMLLAI. Fortaleza, Ceará, Brazil, 1998. v. 1. p. 24-26.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
48.   SILVESTRE, R. ; S.. ; A ; Brief ; Critical ; Introduction ; to ; the ; Ontological ; Argument ; and ; its ; Formalization: ; Anselm, Gaunilo, Descartes, Leibniz ; and ; Kant. ; THE ; IFCOLOG ; JOURNAL ; OF ; LOGICS ; AND ; THEIR ; APPLICATIONS, v. ; 5, p. ; 1441-1474, 2018.. A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant. THE IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. v. 5, issn: 20553714, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
49.   SILVESTRE, R. ; S.. ; A ; Defesa ; do ; Livre-Arbítrio ; de ; Alvin ; Plantinga: ; Uma ; Breve ; Introdução ; ao ; Debate ; acerca ; de ; Deus ; e ; o ; Mal ; na ; Filosofia ; Analítica ; da ; Religião ; (Introdução ; à ; tradução ; de ; God, evil ; and ; the ; metaphysics ; of ; freedom, de ; Alvin ; Plantinga). ; Filosofia ; Unisinos, v. ; 10, p. ; 318-320, 2009.. A Defesa do Livre-Arbítrio de Alvin Plantinga: Uma Breve Introdução ao Debate acerca de Deus e o Mal na Filosofia Analítica da Religião (Introdução à tradução de God, evil and the metaphysics of freedom, de Alvin Plantinga). Filosofia Unisinos. v. 10, issn: 15195023, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
50.   SILVESTRE, R. ; S.. ; A ; Logic ; of ; Planning ; Agency. ; CLE ; e-Prints ; (Online), v. ; 8, p. ; 23, 2008.. A Logic of Planning Agency. CLE e-Prints (Online). v. 8, issn: 15199681, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
51.   SILVESTRE, R. ; S.. ; Ambiguidades ; Indutivas, Paraconsistência, Paracompletude ; e ; as ; Duas ; Abordagens ; da ; Indução. ; MANUSCRITO ; (UNICAMP), v. ; 30, p. ; 101-134, 2007.. Ambiguidades Indutivas, Paraconsistência, Paracompletude e as Duas Abordagens da Indução. MANUSCRITO (UNICAMP). v. 30, issn: 01006045, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
52.   SILVESTRE, R. ; S.. ; An ; Inductive ; Modal ; Approach ; for ; the ; Logic ; of ; Epistemic ; Inconsistency. ; Abstracta ; : ; linguagem, mente ; e ; ação ; (Niterói), v. ; 6, p. ; 136-155, 2011.. An Inductive Modal Approach for the Logic of Epistemic Inconsistency. Abstracta : linguagem, mente e ação (Niterói). v. 6, issn: 18079792, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
53.   SILVESTRE, R. ; S.. ; Estrutura ; do ; Yoga ; na ; Bhagavad-Gita. ; NUMEN: ; REVISTA ; DE ; ESTUDOS ; E ; PESQUISA ; DA ; RELIGIÃO, v. ; 20, p. ; 28-46, 2017.. Estrutura do Yoga na Bhagavad-Gita. NUMEN: REVISTA DE ESTUDOS E PESQUISA DA RELIGIÃO. v. 20, issn: 22366296, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
54.   SILVESTRE, R. ; S.. ; Induction ; and ; Confirmation ; Theory: ; An ; Approach ; based ; on ; a ; Paraconsistent ; Nonmonotonic ; Logic. ; Princípios ; (UFRN. ; Impresso), v. ; 17, p. ; 71-98, 2010.. Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic. Princípios (UFRN. Impresso). v. 17, issn: 01048694, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
55.   SILVESTRE, R. ; S.. ; Karma ; Theory, Determinism, Fatalism ; and ; Freedom ; of ; Will. ; Logica ; Universalis ; (Online), v. ; 10, p. ; 1-23, 2016.. Karma Theory, Determinism, Fatalism and Freedom of Will. Logica Universalis (Online). v. 10, issn: 16618300, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
56.   SILVESTRE, R. ; S.. ; Logic ; of ; Induction: ; A ; Dead ; Horse? ; Some ; Thoughts ; on ; the ; Logical ; Foundations ; of ; Probability. ; Princípios ; ((UFRN), v. ; 14, p. ; 43-78, 2007.. Logic of Induction: A Dead Horse? Some Thoughts on the Logical Foundations of Probability. Princípios ((UFRN). v. 14, issn: 01048694, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
57.   SILVESTRE, R. ; S.. ; Logic, Planning ; Agency ; and ; Branching ; Time. ; Principia ; (Florianópolis. ; Online), v. ; 14, p. ; 421-438, 2010.. Logic, Planning Agency and Branching Time. Principia (Florianópolis. Online). v. 14, issn: 18081711, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
58.   SILVESTRE, R. ; S.. ; O ; Mal ; e ; as ; Razões ; de ; Deus: ; O ; Projeto ; de ; Teodicéia ; e ; suas ; Condições ; de ; Adequação. ; Filosofia ; Unisinos ; (Impresso), v. ; 13, p. ; 68-89, 2012.. O Mal e as Razões de Deus: O Projeto de Teodicéia e suas Condições de Adequação. Filosofia Unisinos (Impresso). v. 13, issn: 15195023, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
59.   SILVESTRE, R. ; S.. ; On ; The ; Logical ; Formalization ; of ; Ansem's ; Ontological ; Argument. ; Revista ; Brasileira ; de ; Filosofia ; da ; Religião, v. ; 2, p. ; 142-161, 2015.. On The Logical Formalization of Ansem's Ontological Argument. Revista Brasileira de Filosofia da Religião. v. 2, issn: 23588284, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
60.   SILVESTRE, R. ; S.. ; On ; the ; logical ; formalization ; of ; theory ; change ; and ; scientific ; anomalies. ; Logic ; Journal ; of ; the ; IGPL ; (Online), v. ; 19, p. ; 350-374, 2010.. On the logical formalization of theory change and scientific anomalies. Logic Journal of the IGPL (Online). v. 19, issn: 13689894, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
61.   SILVESTRE, R. ; S.. ; On ; the ; logical ; formalization ; of ; theory ; change ; and ; scientific ; anomalies. ; Logic ; Journal ; of ; the ; IGPL ; (Print), v. ; 20, p. ; 517-533, 2012.. On the logical formalization of theory change and scientific anomalies. Logic Journal of the IGPL (Print). v. 20, issn: 13670751, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
62.   SILVESTRE, R. ; S.. ; Paranormal ; Modal ; Logic ; - ; Part ; I: ; The ; System ; K? ; and ; the ; Foundations ; of ; the ; Logic ; of ; Skeptical ; and ; Credulous ; Plausibility. ; Logic ; and ; Logical ; Philosophy, v. ; 21, p. ; 65-95, 2012.. Paranormal Modal Logic - Part I: The System K? and the Foundations of the Logic of Skeptical and Credulous Plausibility. Logic and Logical Philosophy. v. 21, issn: 14253305, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
63.   SILVESTRE, R. ; S.. ; Paranormal ; Modal ; Logic ; - ; Part ; II: ; K?, K ; and ; Classical ; Logic ; and ; other ; Paranormal ; Modal ; Systems. ; LOGIC ; AND ; LOGICAL ; PHILOSOPHY, v. ; 22, p. ; 89-130, 2013.. Paranormal Modal Logic - Part II: K?, K and Classical Logic and other Paranormal Modal Systems. LOGIC AND LOGICAL PHILOSOPHY. v. 22, issn: 14253305, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
64.   SILVESTRE, R. ; S.. ; Philosophical ; Analysis ; and ; the ; Notion ; of ; Knowledge ; in ; the ; Bhagavad-Gita. ; REVER ; (PUCSP), v. ; 30, p. ; 47, 2008.. Philosophical Analysis and the Notion of Knowledge in the Bhagavad-Gita. REVER (PUCSP). v. 30, issn: 16771222, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
65.   SILVESTRE, R. ; S.. ; Sobre ; a ; formalização ; lógica ; de ; mudança ; de ; teorias ; e ; anomalias ; científicas. ; ARGUMENTOS: ; REVISTA ; DE ; FILOSOFIA ; (IMPRESSO), v. ; 17, p. ; 72-91, 2017.. Sobre a formalização lógica de mudança de teorias e anomalias científicas. ARGUMENTOS: REVISTA DE FILOSOFIA (IMPRESSO). v. 17, issn: 19844247, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
66.   SILVESTRE, R. ; S.. ; Sobre ; a ; teologia ; do ; ser ; perfeito ; nas ; tradições ; não-abraâmicas: ; o ; Vedanta ; como ; estudo ; de ; caso. ; Cultura ; Oriental, v. ; 1, p. ; 41-48, 2014.. Sobre a teologia do ser perfeito nas tradições não-abraâmicas: o Vedanta como estudo de caso. Cultura Oriental. v. 1, issn: 2358503X, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
67.   SILVESTRE, R. ; S.. ; Sobre ; o ; Debate ; acerca ; da ; Teoria ; do ; Karma ; enquanto ; Solução ; para ; o ; Problema ; do ; Mal. ; Rever ; (PUCSP), v. ; 14, p. ; 36-51, 2014.. Sobre o Debate acerca da Teoria do Karma enquanto Solução para o Problema do Mal. Rever (PUCSP). v. 14, issn: 16771222, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
68.   SILVESTRE, R. ; S.. ; Sur ; l?aspect ; inférenciel ; de ; la ; logique ; des ; dialogues ; intelligents. ; Dissertatio ; (UFPel), v. ; 30, p. ; 249-268, 2009.. Sur l?aspect inférenciel de la logique des dialogues intelligents. Dissertatio (UFPel). v. 30, issn: 14139448, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
69.   SILVESTRE, R. ; S.. ; The ; Two ; Approaches ; to ; Induction. ; In: ; Sixth ; International ; History ; of ; Philosophy ; of ; Science ; Congress, 2006, Paris. ; Sixth ; International ; History ; of ; Philosophy ; of ; Science ; Congress. ; p. ; 244-245.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
70.   SILVESTRE, R. S.. A Logic of Planning Agency. In: CLE 30 Years - XV Brazilian Logic Coference - XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. CLE 30 Years - XV Brazilian Logic Coference - XIV Latin-American Symposium on Mathematical Logic: Abstracts. Campinas: Centre for Logic, Epistemology and the History oof Science, 2008. p. 171-171.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
71.   SILVESTRE, R. S.. A Noção de Conhecimento na Bhagavad-gita. In: Silvestre, R.; Theodor, I.. (Org.). Filosofia e Teologia da Bhagavad-gita: Hinduísmo e Vaishnavismo de Caitanya. 1ed.Curitiba: Juruá Editora, 2015, v. 1, p. 127-156.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
72.   SILVESTRE, R. S.. As Duas Abordagens da Indução. In: Natureza e Linguagem, 2006, Fortaleza. Anais do Simpósio Natureza e Linguagem, 2006.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
73.   SILVESTRE, R. S.. Induction and Plausibility. A Conceptual Analysis from the Standpoint of Nonmonotonicity, Paraconsistency and Modal Logic. Berlim: Lambert Academic Publishing, 2010. 267p .. . 0. .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
74.   SILVESTRE, R. S.. Is Default Logic a Logic of Induction?. In: 1st World Congress and School on Universal Logic, 2005, Montreux. UNILOG'05 - Handbook: Proceedings of the 1st World Congress and School on Universal Logic, 2005.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
75.   SILVESTRE, R. S.. Karma, Reencarnação e o Problema do Mal. In: IV Congresso Brasileiro de Filosofia da Religião., 2011, Brasilia. IV Congresso Brasileiro de Filosofia da Religião. Caderno de Resumos., 2011. p. 24-24.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
76.   SILVESTRE, R. S.. La Logique du Raisonnement Scientifique. In: e Congrès de l'ACFAS,, 2002, Québec, QC. Proceedings of the 70e Congrès de l'ACFAS, 2002.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
77.   SILVESTRE, R. S.. Lógica Modal Paranormal: Modalidade e os Fundamentos da Indução. In: MONTENEGRO, M. A. P.; PINHEIRO, C. V. Q.; AZEVEDO JR, I. L.. (Org.). Natureza e Linguagem na Filosofia. 1ed.Fortaleza: Edições UFC, 2007, v. , p. 32-53.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
78.   SILVESTRE, R. S.. Meta-Teodicéia e o Problema do Mal na Filosofia Analítica da Religião. In: II Congresso da Sociedade Brasileira de Filosofia Analítica, 2012, Fortaleza. II Congresso da Sociedade Brasileira de Filosofia Analítica, 2012.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
79.   SILVESTRE, R. S.. Modality, Paraconsistency and Paracompleteness. In: Guido Governatori; Ian Hodkinson; Yde Venema. (Org.). Advances in Modal Logic. 6ed.London: College Publications, 2006, v. 6, p. 449-467.. . Em: . 0..
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
80.   SILVESTRE, R. S.. Mundos Plausíveis e a Defesa do Livre Arbítrio de Alvin Plantinga. In: I Congresso da Sociedade Brasileira de Filosofia Analítica, 2010, São Leopoldo. Caderno de Resumos - I Congresso da Sociedade Brasileira de Filosofia Analítica, 2010.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
81.   SILVESTRE, R. S.. On the logical formalization of theory change and scientific anomalies. In: : MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY Abduction, Logic, and Computational Discovery, 2009, Campinas. MBR09 BRAZIL: Abstracts Book, 2009.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
82.   SILVESTRE, R. S.. Plausibility, certainty and induction: a logical formalization and some applications. In: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. Anais do XVI Encontro Brasileiro de Lógica, 2011.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
83.   SILVESTRE, R. S.. SOME THOUGHTS ON THE LOGICAL ASPECTS OF THE PROBLEM OF EVIL. In: 2nd World Congress on Logic and Religion, 2017, Varsovia. 2nd World Congress on Logic and Religion - The Book of Abstracts, 2017.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
84.   SILVESTRE, R. S.. THEORY OF KARMA, DETERMINISM AND FATALISM: A TENTATIVE ANALYSIS THROUGH BRANCHING TIME THEORY. In: 1st World Congress on Logic and Religion, 2015, João Pessoa. Handbook of the 1st World Congress on Logic and Religion. Campina Grande: Editora da UFCG, 2015. v. 1. p. 150-150.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
85.   SILVESTRE, R. S.. Um Curso de Lógica. Petrópolis: Vozes, 2011. v. 1. 340p .. . 0. .
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
86.   SILVESTRE, RICARDO ; SOUSA. ; Karma ; Theory, Determinism, Fatalism ; and ; Freedom ; of ; Will. ; Logica ; Universalis ; (Print), v. ; 11, p. ; 35-60, 2017.. Karma Theory, Determinism, Fatalism and Freedom of Will. Logica Universalis (Print). v. 11, issn: 16618297, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
87.   SILVESTRE, RICARDO ; SOUSA. ; On ; the ; Concept ; of ; Theodicy. ; Sophia, v. ; 56, p. ; 1-34, 2017.. On the Concept of Theodicy. Sophia. v. 56, issn: 1873930X, 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
88.   SÁ, Samy. ; On ; Belief-Based ; Preference ; Aggregation. ; In: ; 3rd ; Workshop ; on ; Weighted ; Logics ; for ; Artificial ; Intelligence ; (WL4AI ; 2015), 2015, Buenos ; Aires. ; Proceedings ; of ; the ; 3rd ; Workshop ; on ; Weighted ; Logics ; for ; Artificial ; Intelligence, 2015.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
89.   SÁ, Samy. CÁLCULO SITUACIONAL PARA TOMADA DE DECISÕES. In: XXIV Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2005, Fortaleza. COMPILAÇÃO de RESUMOS do XXIV Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2005.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
90.   SÁ, Samy. Group Decision Making in Multiagent Systems with Abduction. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Doctoral Consortium, 2011, Taipei, Taiwan. 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
91.   SÁ, Samy. SIMULADO ONLINE. In: XXII Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2003, Fortaleza. COMPILAÇÃO de RESUMOS DO XXII Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2003.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
92.   SÁ, Samy. SOLAR - HELP ONLINE. In: XXIII Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2004, Fortaleza. COMPILAÇÃO de RESUMOS do XXIII Encontro de Iniciação científica da UFC - UNIVERSIDADE FEDERAL DO CEARÁ, 2004.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]


(*) Relatório criado com produções desde 1990 até 2018
Data de processamento: 23/10/2018 16:22:07