Publication:4692794
From MaRDI portal
zbMath0635.68092MaRDI QIDQ4692794
No author found.
Publication date: 5 June 1993
03B52: Fuzzy logic; logic of vagueness
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
03B65: Logic of natural languages
68T99: Artificial intelligence
03B35: Mechanization of proofs and logical operations
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
00Bxx: Conference proceedings and collections of articles
Related Items
Semantic networks, The ECO family, Prolog technology for default reasoning: proof theory and compilation techniques, Permissive planning: Extending classical planning to uncertain task domains., Connections between default reasoning and partial constraint satisfaction