Publication:4013779
From MaRDI portal
zbMath0751.68016MaRDI QIDQ4013779
Ron van der Meyden, L. Thorne McCarty
Publication date: 27 September 1992
68T27: Logic in artificial intelligence
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68N17: Logic programming
Related Items
The complexity of querying indefinite data about linearly ordered domains, Recursively indefinite databases, Interpreting disjunctive logic programs based on a strong sense of disjunction