Experimental analysis of some computation rules in a simple parallel reasoning system for the ::::ALC:::: description logic

Adam Meissner. Experimental analysis of some computation rules in a simple parallel reasoning system for the ::::ALC:::: description logic. Applied Mathematics and Computer Science, 21(1):83-95, 2011. [doi]

@article{Meissner11,
  title = {Experimental analysis of some computation rules in a simple parallel reasoning system for the ::::ALC:::: description logic},
  author = {Adam Meissner},
  year = {2011},
  doi = {10.2478/v10006-011-0006-1},
  url = {http://dx.doi.org/10.2478/v10006-011-0006-1},
  tags = {rule-based, analysis, rules, logic},
  researchr = {https://researchr.org/publication/Meissner11},
  cites = {0},
  citedby = {0},
  journal = {Applied Mathematics and Computer Science},
  volume = {21},
  number = {1},
  pages = {83-95},
}