Description
Different logic-based knowledge representation formalisms have different limitations either with respect to expressivity or with respect to computational efficiency. First-order logic, which is the basis of Description Logics (DLs), is not suitable for defeasible reasoning due to its monotonic nature.
Download count: 0
Details
Contributors
- Palla, Ravi (Author)
- Lee, Joohyung (Thesis advisor)
- Baral, Chitta (Committee member)
- Kambhampati, Subbarao (Committee member)
- Lifschitz, Vladimir (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2012
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: Ph.D., Arizona State University, 2012Note typethesis
- Includes bibliographical references (p. 210-220)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
by Ravi Palla