scientific article; zbMATH DE number 67825

zbMATH Open0751.68016MaRDI QIDQ4013779FDOQ4013779

Authors: L. Thorne McCarty, Ron van der Meyden 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1189101
• Circumscribing embedded implications (without stratifications)
• Decidability and definability with circumscription
• The expressive power of circumscription
• Circumscription with homomorphisms

zbMATH Keywords

decision procedures for complete query answeringproof theories of second-order circumscription

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (5)

• The complexity of querying indefinite data about linearly ordered domains
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Title not available (Why is that?)
• Syllogistic with Indefinite Terms
• Recursively indefinite databases

This page was built for publication:

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