Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
Schließen
CCS-Classification
I. Computing Methodologies
I.2 ARTIFICIAL INTELLIGENCE
I.2.3 Deduction and Theorem Proving (F.4.1)
Answer/reason extraction
Deduction (e.g., natural, rule-based)
Inference engines (NEW)
Logic programming
Mathematical induction
Metatheory**
Nonmonotonic reasoning and belief revision
Resolution
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.