Logical Foundations for Rule-Based Systems
The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verifica...
Guardat en:
| Autor principal: | Ligêza, Antoni |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edició: | Second Edition. |
| Col·lecció: | Studies in Computational Intelligence
11 |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540816195 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783642067099 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540291176 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540816195 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783642067099 • Logical Foundations for Rule-Based Systems, Texte imprimé, 9783540291176 |
Ítems similars
-
Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction
(Livre numérique)
Pudlák, Pavel, 1952- - Logical and Computational Aspects of Model-Based Reasoning (Livre numérique)
-
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
(Livre numérique)
Springer Berlin Heidelberg, 2013 - Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings (Livre numérique)
- Logical foundations of computer science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6 12, 1997 : proceedings (Livre numérique)

