Description Logic Programs: Combining Logic Programs with Description Logic
Massachusetts Institute of Technology · University of Manchester · +1 more institution
Indexed incrossref
Abstract
No abstract available for this paper.
Citation impact
811
total citations
- FWCI
- —
- Percentile
- —
- References
- 17
Citations per year
Authors
4Topics & keywords
Topics
Keywords
- Philosophy of logic
- Dynamic logic (digital electronics)
- Computer science
- Description logic
- Programming language
- Autoepistemic logic
- Computational logic
- Default logic
UN Sustainable Development Goals
- Quality Education
No related works found for this paper.