default search action
Jacques Wainer
Person information
- affiliation: University of Campinas, Sao Paulo, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j47]Jacques Wainer:
An empirical evaluation of imbalanced data strategies from a practitioner's point of view. Expert Syst. Appl. 256: 124863 (2024) - 2023
- [j46]Jacques Wainer:
A Bayesian Bradley-Terry model to compare multiple ML algorithms on multiple data sets. J. Mach. Learn. Res. 24: 341:1-341:34 (2023) - [j45]Ricardo Caceffo, Jacques Wainer, Guilherme Gama, Islene C. Garcia, Rodolfo Azevedo:
Perceptual Learning Modules (PLM) in CS1: a Negative Result and a Methodological Warning. J. Univers. Comput. Sci. 29(9): 988-1009 (2023) - 2022
- [j44]Pedro Ribeiro Mendes Júnior, Terrance E. Boult, Jacques Wainer, Anderson Rocha:
Open-Set Support Vector Machines. IEEE Trans. Syst. Man Cybern. Syst. 52(6): 3785-3798 (2022) - [i7]Jacques Wainer:
A Bayesian Bradley-Terry model to compare multiple ML algorithms on multiple data sets. CoRR abs/2208.04935 (2022) - 2021
- [j43]Jacques Wainer, Pablo Fonseca:
How to tune the RBF SVM hyperparameters? An empirical evaluation of 18 search algorithms. Artif. Intell. Rev. 54(6): 4771-4797 (2021) - [j42]Jacques Wainer, Gavin C. Cawley:
Nested cross-validation when selecting classifiers is overzealous for most practical applications. Expert Syst. Appl. 182: 115222 (2021) - 2020
- [j41]Rafael Padilha, Fernanda A. Andaló, Gabriel Bertocco, Waldir R. de Almeida, William Dias, Thiago Resek, Ricardo da Silva Torres, Jacques Wainer, Anderson Rocha:
Two-tiered face verification with low-memory footprint for mobile devices. IET Biom. 9(5): 205-215 (2020) - [i6]Jacques Wainer, Pablo Fonseca:
How to tune the RBF SVM hyperparameters?: An empirical evaluation of 18 search algorithms. CoRR abs/2008.11655 (2020)
2010 – 2019
- 2019
- [j40]Ramon Pires, Sandra Avila, Jacques Wainer, Eduardo Valle, Michael D. Abràmoff, Anderson Rocha:
A data-driven approach to referable diabetic retinopathy detection. Artif. Intell. Medicine 96: 93-106 (2019) - 2018
- [j39]Jacques Wainer, Eduardo C. Xavier:
A Controlled Experiment on Python vs C for an Introductory Programming Course: Students' Outcomes. ACM Trans. Comput. Educ. 18(3): 12:1-12:16 (2018) - [i5]Jacques Wainer, Gavin C. Cawley:
Nested cross-validation when selecting classifiers is overzealous for most practical applications. CoRR abs/1809.09446 (2018) - [i4]Jacques Wainer, Rodrigo A. Franceschinell:
An empirical evaluation of imbalanced data strategies from a practitioner's point of view. CoRR abs/1810.07168 (2018) - 2017
- [j38]Jacques Wainer, Gavin C. Cawley:
Empirical Evaluation of Resampling Procedures for Optimising SVM Hyperparameters. J. Mach. Learn. Res. 18: 15:1-15:35 (2017) - [j37]Edson Duarte, Jacques Wainer:
Empirical comparison of cross-validation and internal metrics for tuning SVM hyperparameters. Pattern Recognit. Lett. 88: 6-11 (2017) - [j36]Ramon Pires, Sandra Eliza Fontes de Avila, Herbert F. Jelinek, Jacques Wainer, Eduardo Valle, Anderson Rocha:
Beyond Lesion-Based Diabetic Retinopathy: A Direct Approach for Referral. IEEE J. Biomed. Health Informatics 21(1): 193-200 (2017) - [c58]Zinelabdine Boulkenafet, Jukka Komulainen, Zahid Akhtar, Azeddine Benlamoudi, Djamel Samai, Salah Eddine Bekhouche, Abdelkrim Ouafi, Fadi Dornaika, Abdelmalik Taleb-Ahmed, Le Qin, Fei Peng, L. B. Zhang, Min Long, Shruti Bhilare, Vivek Kanhangad, Artur Costa-Pazo, Esteban Vázquez-Fernández, Daniel Pérez-Cabo, J. J. Moreira-Perez, Daniel González-Jiménez, Amir Mohammadi, Sushil Bhattacharjee, Sébastien Marcel, Svetlana Volkova, Y. Tang, N. Abe, L. Li, X. Feng, Z. Xia, X. Jiang, S. Liu, Rui Shao, Pong C. Yuen, Waldir R. de Almeida, Fernanda A. Andaló, Rafael Padilha, Gabriel Bertocco, William Dias, Jacques Wainer, Ricardo da Silva Torres, Anderson Rocha, Marcus A. Angeloni, Guilherme Folego, Alan Godoy, Abdenour Hadid:
A competition on generalized software-based face presentation attack detection in mobile scenarios. IJCB 2017: 688-696 - 2016
- [j35]Daniel Moraes, Jacques Wainer, Anderson Rocha:
Low false positive learning with support vector machines. J. Vis. Commun. Image Represent. 38: 340-350 (2016) - [c57]Pablo Fonseca, Benjamín Castañeda, Ricardo Valenzuela, Jacques Wainer:
Breast Density Classification with Convolutional Neural Networks. CIARP 2016: 101-108 - [i3]Jacques Wainer:
Comparison of 14 different families of classification algorithms on 115 binary datasets. CoRR abs/1606.00930 (2016) - [i2]Pedro Ribeiro Mendes Júnior, Jacques Wainer, Anderson Rocha:
Specialized Support Vector Machines for open-set recognition. CoRR abs/1606.03802 (2016) - 2015
- [j34]Jacques Wainer, Paula Vieira, Tatiana Melguizo:
The association between having access to computers and Internet and educational achievement for primary students in Brazil. Comput. Educ. 80: 68-76 (2015) - [c56]Pablo Fonseca, Julio Mendoza, Jacques Wainer, José Ferrer, Joseph Pinto, Jorge Guerrero, Benjamín Castañeda:
Automatic breast density classification using a convolutional neural network architecture search procedure. Medical Imaging: Computer-Aided Diagnosis 2015: 941428 - 2014
- [c55]Pablo Fonseca, Jacques Wainer:
A Linear Time Implementation of k-Means for Multilevel Thresholding of Grayscale Images. CIARP 2014: 120-126 - [c54]Ramon Pires, Sandra Avila, Herbert F. Jelinek, Jacques Wainer, Eduardo Valle, Anderson Rocha:
Automatic Diabetic Retinopathy detection using BossaNova representation. EMBC 2014: 146-149 - 2013
- [j33]Amaury B. Andre, Eduardo Beltrame, Jacques Wainer:
A Combination of Support Vector Machine and k-Nearest Neighbors for Machine Fault Detection. Appl. Artif. Intell. 27(1): 36-49 (2013) - [j32]Jacques Wainer, Michael Eckmann, Siome Goldenstein, Anderson Rocha:
How productivity and impact differ across computer science subareas. Commun. ACM 56(8): 67-73 (2013) - [j31]Fábio de Lima Bezerra, Jacques Wainer:
Algorithms for anomaly detection of traces in logs of process aware information systems. Inf. Syst. 38(1): 33-44 (2013) - [j30]Jacques Wainer, Eduardo Valle:
What happens to computer science research after it is published? Tracking CS research lines. J. Assoc. Inf. Sci. Technol. 64(6): 1104-1111 (2013) - [j29]Jacques Wainer, Paula Vieira:
Correlations between bibliometrics and peer evaluation for all disciplines: the evaluation of Brazilian scientists. Scientometrics 96(2): 395-410 (2013) - [j28]Ramon Pires, Herbert F. Jelinek, Jacques Wainer, Siome Goldenstein, Eduardo Valle, Anderson Rocha:
Assessing the Need for Referral in Automatic Diabetic Retinopathy Detection. IEEE Trans. Biomed. Eng. 60(12): 3391-3398 (2013) - [c53]Paulo Gurgel Pinheiro, Jacques Wainer:
A Mixed Map Representation Approach for Mobile Robot Localization Planning. ICINCO (2) 2013: 401-408 - 2012
- [j27]Clarence A. Ellis, Kwanghoon Pio Kim, Aubrey J. Rembert, Jacques Wainer:
Investigations on Stochastic Information Control Nets. Inf. Sci. 194: 120-137 (2012) - [j26]Fábio de Lima Bezerra, Jacques Wainer:
A Dynamic Threshold Algorithm for Anomaly Detection in Logs of Process Aware Systems. J. Inf. Data Manag. 3(3): 316-331 (2012) - [j25]Michael Eckmann, Anderson Rocha, Jacques Wainer:
Relationship between high-quality journals and conferences in computer vision. Scientometrics 90(2): 617-630 (2012) - [j24]Anderson Rocha, Tiago Jose de Carvalho, Herbert F. Jelinek, Siome Goldenstein, Jacques Wainer:
Points of Interest and Visual Dictionaries for Automatic Retinal Lesion Detection. IEEE Trans. Biomed. Eng. 59(8): 2244-2253 (2012) - [c52]Herbert Franz Jelinek, Ramon Pires, Rafael Padilha, Siome Goldenstein, Jacques Wainer, Terry Bossomaier, Anderson Rocha:
Data fusion for multi-lesion Diabetic Retinopathy detection. CBMS 2012: 1-4 - [c51]Alexandre Passos, Piyush Rai, Jacques Wainer, Hal Daumé III:
Flexible Modeling of Latent Task Structures in Multitask Learning. ICML 2012 - [c50]Ramon Pires, Herbert F. Jelinek, Jacques Wainer, Anderson Rocha:
Retinal Image Quality Analysis for Automatic Diabetic Retinopathy Detection. SIBGRAPI 2012: 229-236 - [i1]Jacques Wainer, Michael Eckmann, Siome Goldenstein, Anderson Rocha:
Differences in productivity and impact across the different computer science subareas. Technical Report IC-12-08 (2012) - 2011
- [j23]Jacques Wainer, Siome Goldenstein, Cléo Zanella Billa:
Invisible work in standard bibliometric evaluation of computer science. Commun. ACM 54(5): 141-146 (2011) - [j22]Fábio de Lima Bezerra, Jacques Wainer:
Fraud detection in process aware systems. Int. J. Bus. Process. Integr. Manag. 5(2): 121-129 (2011) - [j21]Jacques Wainer, Henrique Przibisczki de Oliveira, Ricardo Anido:
Patterns of bibliographic references in the ACM published papers. Inf. Process. Manag. 47(1): 135-142 (2011) - [j20]Cléo Zanella Billa, Jacques Wainer, Claudia Barsottini:
ST-Audit: guideline-based automatic auditing of electronic patient records. J. Intell. Inf. Syst. 36(1): 49-72 (2011) - [c49]Herbert F. Jelinek, Anderson Rocha, Tiago Jose de Carvalho, Siome Goldenstein, Jacques Wainer:
Machine learning and pattern classification in identification of indigenous retinal pathology. EMBC 2011: 5951-5954 - 2010
- [c48]Paulo Gurgel Pinheiro, Jacques Wainer:
Planning for Multi-robot Localization. SBIA 2010: 183-192
2000 – 2009
- 2009
- [j19]Jacques Wainer, Claudia Galindo Novoa Barsottini, Danilo Lacerda, Leandro Rodrigues Magalhães de Marco:
Empirical evaluation in Computer Science research published by ACM. Inf. Softw. Technol. 51(6): 1081-1085 (2009) - [j18]Denis Arruda, Fábio de Lima Bezerra, Vânia Paula de Almeida Néris, Patricia Rocha De Toro, Jacques Wainer:
Brazilian computer science research: Gender and regional distributions. Scientometrics 79(3): 651-665 (2009) - [j17]Jacques Wainer, Eduardo C. Xavier, Fábio de Lima Bezerra:
Scientific production in Computer Science: A comparative study of Brazil and other countries. Scientometrics 81(2): 535-547 (2009) - [c47]Fábio de Lima Bezerra, Jacques Wainer, Wil M. P. van der Aalst:
Anomaly Detection Using Process Mining. BMMDS/EMMSAD 2009: 149-161 - 2008
- [j16]Jacques Wainer, Tom Dwyer, Rodrigo Silveira Dutra, Andre Covic, Valdo B. Magalhães, Luiz Renato Ribeiro Ferreira, Valdiney Alves Pimenta, Kleucio Claudio:
Too much computer and Internet use is bad for your grades, especially if you are young and poor: Results from the 2001 Brazilian SAEB. Comput. Educ. 51(4): 1417-1429 (2008) - [c46]Cléo Zanella Billa, Claudia Barsottini, Jacques Wainer:
A Design Rationale-Based Model as an Add-on to Electronic Medical Records. CBMS 2008: 503-505 - [c45]Luciano A. Digiampietri, Norton Trevisan Roman, Luis A. A. Meira, Jorge Jambeiro Filho, Cristiano D. Ferreira, Andreia A. Kondo, Everton Rufino Constantino, Rodrigo Carvalho Rezende, Bruno Cedraz Brandao, Helder S. Ribeiro, Pietro K. Carolino, Antonella Lanna, Jacques Wainer, Siome Goldenstein:
Uses of artificial intelligence in the Brazilian customs fraud detection system. DG.O 2008: 181-187 - [c44]Fábio de Lima Bezerra, Jacques Wainer:
Anomaly Detection Algorithms in Business Process Logs. ICEIS (2) 2008: 11-18 - [c43]Fábio de Lima Bezerra, Jacques Wainer:
Anomaly detection algorithms in logs of process aware systems. SAC 2008: 951-952 - [c42]Jacques Wainer, Cléo Zanella Billa, Marcio Paixao Dantas:
ST-guide: a framework for the implementation of automatic clinical guidelines. SAC 2008: 1325-1332 - [c41]Tiago Sak, Jacques Wainer, Siome Klein Goldenstein:
Probabilistic Multiagent Patrolling. SBIA 2008: 124-133 - [c40]Anderson Rocha, Daniel Cabrini Hauagge, Jacques Wainer, Siome Goldenstein:
Automatic Produce Classification from Images Using Color, Texture and Appearance Cues. SIBGRAPI 2008: 3-10 - [c39]Fábio de Lima Bezerra, Jacques Wainer:
Fraud detection in process aware systems. WebMedia (Companion) 2008: 254-261 - [e2]Jacques Wainer, Mariano Gomes Pimentel:
Simpósio Brasileiro de Sistemas Colaborativos, SBSC 2008, October 27-29, 2008, Vila Velha, ES, Brazil. IEEE Computer Society 2008, ISBN 978-0-7695-3500-5 [contents] - 2007
- [j15]Jacques Wainer, Paulo Roberto Ferreira Jr., Everton Rufino Constantino:
Scheduling meetings through multi-agent negotiations. Decis. Support Syst. 44(1): 285-297 (2007) - [j14]Jacques Wainer, Akhil Kumar, Paulo Barthelmess:
DW-RBAC: A formal security model of delegation and revocation in workflow systems. Inf. Syst. 32(3): 365-384 (2007) - [j13]Jacques Wainer, Claudia Barsottini:
Empirical research in CSCW - a review of the ACM/CSCW conferences from 1998 to 2004. J. Braz. Comput. Soc. 13(3): 27-35 (2007) - [j12]Jacques Wainer:
Modeling generalized implicatures using non-monotonic logics. J. Log. Lang. Inf. 16(2): 195-216 (2007) - [j11]Jerônimo Pellegrini, Jacques Wainer:
Processos de Decisão de Markov: um tutorial. RITA 14(2): 133-179 (2007) - [c38]Jorge Jambeiro Filho, Jacques Wainer:
Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem. IJCAI 2007: 2504-2509 - 2006
- [j10]Jacques Wainer, Carlos José Reis de Campos, Monica Parente Ramos, Paulo R. Lopes, Paulo Lísias Salomão, Daniel Sigulem:
O que é Pesquisa em Informática em Saúde? RITA 13(1): 42-56 (2006) - [c37]Clarence A. Ellis, Aubrey J. Rembert, Kwanghoon Pio Kim, Jacques Wainer:
Beyond Workflow Mining. Business Process Management 2006: 49-64 - [c36]Bruno Cedraz Brandao, Jacques Wainer, Siome Klein Goldenstein:
Subspace Hierarchical Particle Filter. SIBGRAPI 2006: 194-204 - 2005
- [j9]Akhil Kumar, Jacques Wainer:
Meta workflows as a control and coordination mechanism for exception handling in workflow systems. Decis. Support Syst. 40(1): 89-105 (2005) - [c35]Jacques Wainer, Kwanghoon Pio Kim, Clarence A. Ellis:
A Workflow Mining Method Through Model Rewriting. CRIWG 2005: 184-191 - [c34]Gregório Baggio Tramontina, Jacques Wainer:
Modeling the Behavior of Dispatching Rules in Workflow Systems: A Statistical Approach. CRIWG 2005: 208-215 - [c33]Claudia Barsottini, Jacques Wainer:
Patterns of Collaboration and Non-collaboration Among Physicians. CRIWG 2005: 248-254 - [c32]Jacques Wainer, Akhil Kumar:
A fine-grained, controllable, user-to-user delegation method in RBAC. SACMAT 2005: 59-66 - [p1]Clarence A. Ellis, Paulo Barthelmess, Jun Chen, Jacques Wainer:
Person-to-Person Processes: Computer-Supported Collaborative Work. Process-Aware Information Systems 2005: 37-60 - 2004
- [c31]Jacques Wainer, Fábio de Lima Bezerra, Paulo Barthelmess:
Tucupi: a flexible workflow system based on overridable constraints. SAC 2004: 498-502 - [c30]Gregório Baggio, Jacques Wainer, Clarence A. Ellis:
Applying scheduling techniques to minimize the number of late jobs in workflow systems. SAC 2004: 1396-1403 - 2003
- [j8]Marie-José Blin, Jacques Wainer, Claudia Bauzer Medeiros:
A Reuse-Oriented Workflow Definition Language. Int. J. Cooperative Inf. Syst. 12(1): 1-36 (2003) - [j7]Roberto Silveira Silva Filho, Jacques Wainer, Edmundo R. M. Madeira:
A Fully Distributed Architecture for Large Scale Workflow Enactment. Int. J. Cooperative Inf. Syst. 12(4): 411-440 (2003) - [j6]Jacques Wainer, Paulo Barthelmess, Akhil Kumar:
W-RBAC - A Workflow Security Model Incorporating Controlled Overriding of Constraints. Int. J. Cooperative Inf. Syst. 12(4): 455-485 (2003) - [c29]Jacques Wainer, Fábio de Lima Bezerra:
Constraint-Based Flexible Workflows. CRIWG 2003: 151-158 - [c28]Wanderley Ravagnani, Edmundo R. M. Madeira, Jacques Wainer:
A Greedy Algorithm to Configure and Reconfigure Bluetooth Scatternets. MWCN 2003 - [c27]Akhil Kumar, Jacques Wainer, Zuopeng Zhang:
Meta-workflows and ESP: A Framework for Coordination, Exception Handling and Adaptability in Workflow Systems. WES 2003: 13-27 - 2002
- [c26]Jacques Wainer, Ana María Monteiro, Meide Silva Anção, Daniel Sigulem:
St-Guide: A State/Transition Representation Model for Clinical Guidelines. AMIA 2002 - 2001
- [j5]Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer:
Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst. 10(4): 443-481 (2001) - [c25]Ana María Monteiro, Jacques Wainer:
A Conceptual Framework to Model Chronic and Long-Term Diseases. AIME 2001: 405-408 - [c24]Jacques Wainer, Danillo Palacio Braga:
Symgroup: applying social agents in a group interaction system. GROUP 2001: 224-231 - 2000
- [c23]Wil M. P. van der Aalst, Paulo Barthelmess, Clarence A. Ellis, Jacques Wainer:
Workflow Modeling Using Proclets. CoopIS 2000: 198-209 - [c22]Cleidson R. B. de Souza, Jair S. Ferreira Jr., Kléder Miranda Gonçalves, Jacques Wainer:
A Group Critic System for Object-Oriented Analysis and Design. ASE 2000: 313-316 - [c21]Jacques Wainer, Leliane N. de Barros, Volnys Borges Bernal, Marilza Lemos:
Network fault diagnosis: a model based approach. NOMS 2000: 969-970 - [c20]Jacques Wainer:
Logic Representation of Processes in Work Activity Coordination. SAC (1) 2000: 203-209 - [c19]Paulo Ferreira, Jacques Wainer:
Scheduling Meetings through Multi-agent Negotiation. IBERAMIA-SBIA 2000: 126-135 - [c18]Ana María Monteiro, Jacques Wainer:
A Conceptual Framework to Model Chronic and Long-term Diseases. IBERAMIA-SBIA 2000 Open Discussion Track 2000: 137-146
1990 – 1999
- 1999
- [j4]Hemerson Pistori, Jacques Wainer:
Automatic theory formation in graph theory. J. Braz. Comput. Soc. 6(2) (1999) - [j3]Jacques Wainer, Sandra A. Sandri:
Fuzzy Temporal/Categorical Information in Diagnosis. J. Intell. Inf. Syst. 13(1-2): 9-26 (1999) - [c17]Roberto Silveira Silva Filho, Jacques Wainer, Edmundo R. M. Madeira, Clarence A. Ellis:
CORBA based Architecture for Large Scale Workflow. ISADS 1999: 276-283 - [c16]Volnys Borges Bernal, Leliane N. de Barros, Marilza Lemos, Jacques Wainer:
Fault Diagnosis for Local Area Network Environments. LANOMS 1999 - [c15]Cleidson R. B. de Souza, Jacques Wainer, Dalcykelem B. Santos, Klissiomara L. Dias:
A Model and Tool for Semi-Automatic Recording of Design Rationale in Software Diagrams. SPIRE/CRIWG 1999: 306-313 - 1998
- [c14]Jacques Wainer, Clarence A. Ellis:
Agents in Groupware Systems. CRIWG 1998: 157-168 - [c13]Hector Geffner, Jacques Wainer:
Modeling Action, Knowledge and Control. ECAI 1998: 532-536 - [c12]Jacques Wainer, Sandra A. Sandri:
Fuzzy Temporal Categorical and Intensity Information in Diagnosis. SBIA 1998: 181-190 - [c11]Cláudia Nalon, Jacques Wainer:
Strong Conditional Logic. SBIA 1998: 209-218 - 1997
- [j2]Jacques Wainer, Alexandre de Melo Rezende:
A temporal extension to the parsimonious covering theory. Artif. Intell. Medicine 10(3): 235-255 (1997) - [c10]Jerônimo Pellegrini, Jacques Wainer:
Diagonalization and Type Rewriting in Clam. EPIA 1997: 325-330 - 1996
- [c9]Ana María Monteiro, Jacques Wainer:
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report. KR 1996: 446-452 - [c8]Ana María Monteiro, Jacques Wainer:
Epistemic Conditional Logics. SBIA 1996: 21-30 - [c7]Alexandre de Melo Rezende, Jacques Wainer:
A Temporal Extension to the Parsimonious Covering Theory. SBIA 1996: 201-210 - 1995
- [c6]Paulo Barthelmess, Jacques Wainer:
Workflow Modeling. CRIWG 1995: 1-13 - [c5]Paulo Barthelmess, Jacques Wainer:
WorkFlow systems: a few definitions and a few suggestions. COOCS 1995: 138-147 - [e1]Jacques Wainer, Ariadne Carvalho:
Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial Intelligence, SBIA '95, Campinas, Brazil, October 10-12, 1995, Proceedings. Lecture Notes in Computer Science 991, Springer 1995, ISBN 3-540-60436-7 [contents] - 1994
- [c4]Clarence A. Ellis, Jacques Wainer:
A Conceptual Model of Groupware. CSCW 1994: 79-88 - [c3]Jacques Wainer:
Yet another Semantics of Goals and Goal Priorities. ECAI 1994: 269-273 - 1993
- [c2]Jacques Wainer:
Epistemic Extension of Propositional Preference Logics. IJCAI 1993: 382-389 - 1992
- [c1]Jacques Wainer:
Combining Circumscription and Modal Logic. AAAI 1992: 648-653 - 1991
- [j1]Anthony S. Maida, Jacques Wainer, Sehyeong Cho:
A syntactic approach to introspection and reasoning about the beliefs of other agents. Fundam. Informaticae 15(3-4): 333-356 (1991)