The common order-theoretic structure of version spaces and ATMSs

DOI10.1016/S0004-3702(97)00033-7zbMATH Open0894.68117OpenAlexW2005440437MaRDI QIDQ1389537FDOQ1389537

Authors: Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian 

Publication date: 30 June 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00033-7

Recommendations

• scientific article; zbMATH DE number 1354136
• scientific article; zbMATH DE number 5015958
• On decidability and axiomatizability of some ordered structures
• General theorems of the alternative in variable ordering structures
• On the order-theoretic properties of lower concept formula systems
• scientific article; zbMATH DE number 1953893
• Extensions of ordered theories by generic predicates
• Semilattices of ordered compactifications
• A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures
• Towards an axiomatization of orderings

zbMATH Keywords

partial ordersadmissibilityconcept learningtruth maintenanceversion spacesATMSanti-chainslabel update algorithms

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The largest Cartesian closed category of domains
• Title not available (Why is that?)
• The description identification problem
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: The common order-theoretic structure of version spaces and ATMSs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1389537)