Non-standard inferences in description logics

Ralf Küsters
Bok · Engelsk · 2001

Utgitt	Berlin : Springer , c2001
Omfang	X, 250 s. : ill.
Emner	Artificial intelligence Knowledge representation (Information theory) Predicate (Logic) Kunnskapsrepresentasjon Vis mer... Logikkprogrammering Predikatlogikk
ISBN	3540423974