Decidable reasoning in first-order knowledge bases with perfect introspection
de Gerhard Lakemeyer · Publicada por primera vez en 1990
Materias
Ediciones (1)
- Decidable reasoning in first-order knowledge bases with perfect introspection (1990)
University of Toronto, Computer Science Dept. · inglés
