Automatic Deduction in an AI Geometry Book
| Autor: | Pedro Quaresma |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Knowledge representation and reasoning
010201 computation theory & mathematics Computer science Automatic deduction 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Geometry 0102 computer and information sciences 02 engineering and technology GeneralLiterature_REFERENCE(e.g. dictionaries encyclopedias glossaries) 01 natural sciences |
| Zdroj: | Artificial Intelligence and Symbolic Computation ISBN: 9783319999562 AISC |
| DOI: | 10.1007/978-3-319-99957-9_16 |
| Popis: | The pursuit of an AI Geometry Book should involve the study of how currently developing methodologies and technologies of geometry knowledge representation, management, deduction and discovery can be incorporated effectively into a computational application, a “book” of the future. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|