scientific article

zbMath0751.68016MaRDI QIDQ4013779

L. Thorne McCarty, Ron van der Meyden

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (3)

The complexity of querying indefinite data about linearly ordered domains ⋮ Recursively indefinite databases ⋮ Interpreting disjunctive logic programs based on a strong sense of disjunction

This page was built for publication: