The common order-theoretic structure of version spaces and ATMSs

DOI10.1016/S0004-3702(97)00033-7MaRDI QIDQ1389537zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

partial ordersadmissibilityconcept learningtruth maintenanceversion spacesATMSanti-chainslabel update algorithms

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

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

Cites work

• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 49253 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• scientific article; zbMATH DE number 714922 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• The description identification problem
• The largest Cartesian closed category of domains

Cited in

(1)

• scientific article; zbMATH DE number 67790 (Why is no real title available?)

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)