- Tytuł:
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
- Autorzy:
- Meissner, A.
- Data publikacji:
- 2011
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł