scientific article; zbMATH DE number 517020

From MaRDI portal

Publication:4282546

Jump to:navigation, search

zbMATH Open0792.68185MaRDI QIDQ4282546

Yihua Shi, Setsuo Arikawa

Publication date: 17 March 1994

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

zbMATH Keywords

knowledge base management system first order predicate logic knowledge base system time-bounded reasoning

Mathematics Subject Classification ID

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

Related Items (1)

The complexity of reasoning about knowledge and time. I: Lower bounds

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4282546&oldid=18205741"