Description

• Title:
  Experimental analysis of some computation rules in a simple parallel reasoning system for the "ALC" description logic
• Creator:
  Meissner, Adam
• Contributor:
  Korbicz, Józef (Red.);
  Uciński, Dariusz (Red.)
• Object availability:
  free access
• Rights:
  Biblioteka Uniwersytetu Zielonogórskiego
• Date:
  2011
• Type:
  artykuł
• Language:
  English;
  eng
• Source:
  AMCS, Volume 21, Number 1 (2011);
  https://www.amcs.uz.zgora.pl/?action=paper&paper=536
• Publisher:
  Zielona Góra: Uniwersytet Zielonogórski
• Subject:
  parallel reasoning;
  lean deduction;
  "ALC" description logic;
  Oz language
• Identifier:
  10.2478/v10006-011-0006-1
• Data provider:
  Zielonogórska Biblioteka Cyfrowa
• Can I use it?:
  seek permission
• Type:
  image