A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
An Example of Information and Computation Resource Trade-Off
Journal of the ACM (JACM)
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
A Methodology for LISP Program Construction from Examples
Journal of the ACM (JACM)
Noncounting Context-Free Languages
Journal of the ACM (JACM)
Inference of Reversible Languages
Journal of the ACM (JACM)
The Power of Pluralism for Automatic Program Synthesis
Journal of the ACM (JACM)
An interference matching technique for inducing abstractions
Communications of the ACM
The use of grammatical inference for designing programming languages
Communications of the ACM
An Introduction to the General Theory of Algorithms
An Introduction to the General Theory of Algorithms
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polynomial Time Inference of Extended Regular Pattern Languages
Proceedings of RIMS Symposium on Software Science and Engineering
Characterization Problems in the Theory of Inductive Inference
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Machine Inductive Inference and Language Identification
Proceedings of the 9th Colloquium on Automata, Languages and Programming
The Syntactic Inference Problem for D0L-Sequences
L Systems, Most of the papers were presented at a conference in Aarhus, Denmark
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Anomaly hierarchies of mechanized inductive inference
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Grammatical complexity and inference
Grammatical complexity and inference
Program construction from examples.
Program construction from examples.
Automatic discovery of heuristics for nondeterministic programs from sample execution traces
Automatic discovery of heuristics for nondeterministic programs from sample execution traces
Algorithmic program debugging
Communications of the ACM
Journal of Symbolic Computation
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Probabilistic inductive inference
Journal of the ACM (JACM)
ALIEN: a programming environment generator for personal computers
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Computational limitations on learning from examples
Journal of the ACM (JACM)
Learnability of CFLs: inferring syntactic models from constituent structure
ACM SIGART Bulletin - Special issue on knowledge acquisition
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
Inducing programs in a direct-manipulation environment
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Metamouse: specifying graphical procedures by example
SIGGRAPH '89 Proceedings of the 16th annual conference on Computer graphics and interactive techniques
ACM Computing Surveys (CSUR)
IEEE Transactions on Pattern Analysis and Machine Intelligence
Are complete K-trees something more than decision trees?
ACM SIGART Bulletin
Automating Visual Language Generation
IEEE Transactions on Software Engineering
Computational learning theory: survey and selected bibliography
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Can finite samples detect singularities of real-valued functions?
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Case-based learning in inductive inference
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Generalization versus classification
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
On the role of procrastination for machine learning
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Types of monotonic language learning and their characterization
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
Journal of the ACM (JACM)
Synthesis of real time acceptors
Journal of Symbolic Computation - Special issue on automatic programming
On the impact of forgetting on learning machines
COLT '93 Proceedings of the sixth annual conference on Computational learning theory
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Co-learning of total recursive functions
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Journal of Computer and System Sciences
Regular Article: Open problems in “systems that learn”
Proceedings of the 30th IEEE symposium on Foundations of computer science
Automating process discovery through event-data analysis
Proceedings of the 17th international conference on Software engineering
On the inductive inference of real valued functions
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Inductive inference of functions on the rationals
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
Language learning from texts (extended abstract): mind changes, limited memory and monotonicity
COLT '95 Proceedings of the eighth annual conference on Computational learning theory
On the impact of forgetting on learning machines
Journal of the ACM (JACM)
Probabilistic and team PFIN-type learning: general properties
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Synthesizing enumeration techniques for language learning
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
COLT '96 Proceedings of the ninth annual conference on Computational learning theory
Exactly Learning Automata of Small Cover Time
Machine Learning - Special issue on the eighth annual conference on computational learning theory, (COLT '95)
System design and evaluation using discrete event simulation with artificial intelligence
WSC '93 Proceedings of the 25th conference on Winter simulation
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
COLT '97 Proceedings of the tenth annual conference on Computational learning theory
On the power of learning robustly
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Learning Local Languages and Their Application to DNA Sequence Analysis
IEEE Transactions on Pattern Analysis and Machine Intelligence
A sampling-based heuristic for tree search applied to grammar induction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Prioritizing Information for the Discovery of Phenomena
Journal of Intelligent Information Systems
Bridging strategies for VR-based learning
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
On the intrinsic complexity of learning recursive functions
COLT '99 Proceedings of the twelfth annual conference on Computational learning theory
Fuzzy set methods for qualitative and natural language oriented simulation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Probabilistic inductive inference: a survey
Theoretical Computer Science
Learning classes of approximations to non-recursive functions
Theoretical Computer Science
An Information Theoretic Approach to Rule Induction from Databases
IEEE Transactions on Knowledge and Data Engineering
Learning Subsequential Transducers for Pattern Recognition Interpretation Tasks
IEEE Transactions on Pattern Analysis and Machine Intelligence
Learning by the process of elimination
Information and Computation
Hidden Markov Models with Patterns and Their Application to Integrated Circuit Testing
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Convergence and Error Bounds for Universal Prediction of Nonbinary Sequences
EMCL '01 Proceedings of the 12th European Conference on Machine Learning
Learning Locally Testable Even Linear Languages from Positive Data
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Bidirectional Dynamics for Protein Secondary Structure Prediction
Sequence Learning - Paradigms, Algorithms, and Applications
Towards the Validation of Inductive Learning Systems
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence Queries
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Inductive Learning with Corroboration
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
On the Uniform Learnability of Approximations to Non-Recursive Functions
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Extending Elementary Formal Systems
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Learning Recursive Functions Refutably
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
A Unifying Approach to HTML Wrapper Representation and Learning
DS '00 Proceedings of the Third International Conference on Discovery Science
Robust Learning - Rich and Poor
COLT '01/EuroCOLT '01 Proceedings of the 14th Annual Conference on Computational Learning Theory and and 5th European Conference on Computational Learning Theory
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
ALT '01 Proceedings of the 12th International Conference on Algorithmic Learning Theory
Theory and practice of enhancing a legacy software system
Systems engineering for business process change
Advanced elementary formal systems
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Decision lists over regular patterns
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
On learning of functions refutably
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
On the intrinsic complexity of learning recursive functions
Information and Computation
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Optimality of universal Bayesian sequence prediction for general loss and alphabet
The Journal of Machine Learning Research
Journal of Computer and System Sciences
The Knowledge Engineering Review
Bayesian grammar induction for language modeling
ACL '95 Proceedings of the 33rd annual meeting on Association for Computational Linguistics
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Theoretical Computer Science - Special issue: Algorithmic learning theory
An algorithm for constructing an even grammar from a language sample
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Toward a theory of intelligence
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Experience, generations, and limits in machine learning
Theoretical Computer Science - Super-recursive algorithms and hypercomputation
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Hypothesis formation and language acquisition with an infinitely-often correct teacher
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
A new model for inductive inference
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Robust learning: rich and poor
Journal of Computer and System Sciences
Learning via finitely many queries
Annals of Mathematics and Artificial Intelligence
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
Increasing the power of uniform inductive learners
Journal of Computer and System Sciences - Special issue on COLT 2002
Spatiotemporal Connectionist Networks: A Taxonomy and Review
Neural Computation
A non-learnable class of E-pattern languages
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
Information extraction from structured documents using k-testable tree automaton inference
Data & Knowledge Engineering
Inference of concise DTDs from XML data
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Constructing an even grammar from a 2-element sample
Proceedings of the 43rd annual Southeast regional conference - Volume 1
An approach to intrinsic complexity of uniform learning
Theoretical Computer Science - Algorithmic learning theory
From learning in the limit to stochastic finite learning
Theoretical Computer Science - Algorithmic learning theory
Capabilities of Thoughtful Machines
Fundamenta Informaticae
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Probabilistic and team PFIN-type learning: General properties
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Taming teams with mind changes
Journal of Computer and System Sciences
Journal of Computer and System Sciences
Learning recursive functions: A survey
Theoretical Computer Science
Quantum inductive inference by finite automata
Theoretical Computer Science
Learning deterministic regular expressions for the inference of schemas from XML data
Proceedings of the 17th international conference on World Wide Web
Sketching concurrent data structures
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Learning quickly when irrelevant attributes abound: A new linear-threshold algorithm
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Diversity-based inference of finite automata
SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science
Improving dynamic software analysis by applying grammar inference principles
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
De-duping URLs via rewrite rules
Proceedings of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining
Learning Languages from Bounded Resources: The Case of the DFA and the Balls of Strings
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Evaluation and Comparison of Inferred Regular Grammars
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
Inferring graphical procedures: the compleat metarnouse
Human-Computer Interaction
On some open problems in reflective inductive inference
Information Processing Letters
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Prescribed learning of r.e. classes
Theoretical Computer Science
Hypothesis Spaces for Learning
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Automatic acquisition of feature-based phonotactic resources
SIGMorPhon '04 Proceedings of the 7th Meeting of the ACL Special Interest Group in Computational Phonology: Current Themes in Computational Phonology and Morphology
Computer-aided grammar acquisition in the Chinese understanding system CUSAGA
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A formal approach to learning from examples
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Learning disjunction of conjunctions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Inductive inference on the base of fixed point theory
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
One-sided error probabilistic inductive inference and reliable frequency identification
Information and Computation
Refinement of uncertain rule bases via reduction
International Journal of Approximate Reasoning
Inference of concise regular expressions and DTDs
ACM Transactions on Database Systems (TODS)
A bibliographical study of grammatical inference
Pattern Recognition
Evolutionary induction of stochastic context free grammars
Pattern Recognition
Grammatical inference algorithms for the generation of visual languages
Journal of Visual Languages and Computing
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
An agile process for the creation of conceptual models from content descriptions
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Incremental multiple sequence alignment
CIARP'07 Proceedings of the Congress on pattern recognition 12th Iberoamerican conference on Progress in pattern recognition, image analysis and applications
Learning Behaviors of Functions
Fundamenta Informaticae
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data
ACM Transactions on the Web (TWEB)
Hypothesis spaces for learning
Information and Computation
NN'05 Proceedings of the 6th WSEAS international conference on Neural networks
Parallel programming with inductive synthesis
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Optimal language learning from positive data
Information and Computation
Learning web application firewall - benefits and caveats
ARES'11 Proceedings of the IFIP WG 8.4/8.9 international cross domain conference on Availability, reliability and security for business, enterprise and health information systems
Query by example for geographic entity search with implicit negative feedback
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Mechanisms of knowledge evolution for web information extraction
Proceedings of the 2005 international conference on Federation over the Web
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Sciduction: combining induction, deduction, and structure for verification and synthesis
Proceedings of the 49th Annual Design Automation Conference
Generating grammars for SGML tagged texts lacking DTD
Mathematical and Computer Modelling: An International Journal
Polynomial characteristic sets for DFA identification
Theoretical Computer Science
Parametric identification of temporal properties
RV'11 Proceedings of the Second international conference on Runtime verification
Learning Probabilistic Systems from Tree Samples
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Rough Approximations in Varieties of Regular Languages
Fundamenta Informaticae
Capabilities of Thoughtful Machines
Fundamenta Informaticae
Inductive Inference with Procrastination: Back to Definitions
Fundamenta Informaticae
Asking Questions versus Verifiability
Fundamenta Informaticae
Learning Via Queries With Teams And Anomalies
Fundamenta Informaticae
Proceedings of the 2013 International Conference on Software Engineering
Learning Behaviors of Functions with Teams
Fundamenta Informaticae
Hi-index | 0.02 |