Article

Version Space Algebra and its Application to Programming by Demonstration

Authors:

Tessa A. Lau,

Pedro Domingos,

Daniel S. WeldAuthors Info & Claims

ICML '00: Proceedings of the Seventeenth International Conference on Machine Learning

Pages 527 - 534

Published: 29 June 2000 Publication History

Abstract

No abstract available.

Cited By

View all

Shi KSteinhardt JLiang P(2019)FrAngel: component-based synthesis with control structuresProceedings of the ACM on Programming Languages10.1145/32903863:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290386
Zhu FHe F(2018)Conflict resolution for structured merge via version space algebraProceedings of the ACM on Programming Languages10.1145/32765362:OOPSLA(1-25)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276536
Chasins SMueller MBodik RBaudisch PSchmidt AWilson A(2018)RousillonProceedings of the 31st Annual ACM Symposium on User Interface Software and Technology10.1145/3242587.3242661(963-975)Online publication date: 11-Oct-2018
https://dl.acm.org/doi/10.1145/3242587.3242661
Show More Cited By

Index Terms

Version Space Algebra and its Application to Programming by Demonstration
1. Computing methodologies
  1. Machine learning

Recommendations

Programming by Demonstration Using Version Space Algebra

Programming by demonstration enables users to easily personalize their applications, automating repetitive tasks simply by executing a few examples. We formalize programming by demonstration as a machine learning problem: given the changes in the ...
Error-tolerant version space algebra
IUI '10: Proceedings of the 15th international conference on Intelligent user interfaces

Application customization has been extensively researched in the field of Programming by Demonstration (PBD), and Version Space Algebra has proven itself to be a viable means of quickly learning precise action sequences from user demonstrations. However,...
Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

The present paper gives a new construction of a quotient BCI(BCK)- algebra X/µ by a fuzzy ideal µ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if µ is a fuzzy ideal (closed fuzzy ideal) of X. then X/µ is a commutative (...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICML '00: Proceedings of the Seventeenth International Conference on Machine Learning

June 2000

1208 pages

ISBN:1558607072

Editor:
Pat Langley

Publisher

Morgan Kaufmann Publishers Inc.

San Francisco, CA, United States

Publication History

Published: 29 June 2000

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shi KSteinhardt JLiang P(2019)FrAngel: component-based synthesis with control structuresProceedings of the ACM on Programming Languages10.1145/32903863:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290386
Zhu FHe F(2018)Conflict resolution for structured merge via version space algebraProceedings of the ACM on Programming Languages10.1145/32765362:OOPSLA(1-25)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276536
Chasins SMueller MBodik RBaudisch PSchmidt AWilson A(2018)RousillonProceedings of the 31st Annual ACM Symposium on User Interface Software and Technology10.1145/3242587.3242661(963-975)Online publication date: 11-Oct-2018
https://dl.acm.org/doi/10.1145/3242587.3242661
Si XLee WZhang RAlbarghouthi AKoutris PNaik MLeavens GGarcia APăsăreanu C(2018)Syntax-guided synthesis of Datalog programsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236034(515-527)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3236034
Santolucito MBultan TSen K(2017)Version space learning for verification on temporal differentialsProceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3092703.3098238(428-431)Online publication date: 10-Jul-2017
https://dl.acm.org/doi/10.1145/3092703.3098238
Jin ZAnderson MCafarella MJagadish HChirkova RYang JSuciu D(2017)FoofahProceedings of the 2017 ACM International Conference on Management of Data10.1145/3035918.3064034(683-698)Online publication date: 9-May-2017
https://dl.acm.org/doi/10.1145/3035918.3064034
Singh R(2016)BlinkFillProceedings of the VLDB Endowment10.14778/2977797.29778079:10(816-827)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.14778/2977797.2977807
Kini DGulwani S(2015)FlashNormalizeProceedings of the 24th International Conference on Artificial Intelligence10.5555/2832249.2832357(776-783)Online publication date: 25-Jul-2015
https://dl.acm.org/doi/10.5555/2832249.2832357
Polozov OGulwani S(2015)FlashMeta: a framework for inductive program synthesisACM SIGPLAN Notices10.1145/2858965.281431050:10(107-126)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814310
Polozov OGulwani SAldrich JEugster P(2015)FlashMeta: a framework for inductive program synthesisProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814310(107-126)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814310
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Programming by Demonstration Using Version Space Algebra

Error-tolerant version space algebra

Construction of quotient BCI(BCK)-algebra via a fuzzy ideal

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations