Computing Change and Specificity with Equational Logic Programs

Steffen HölldoblerSteffen Hölldobler, Michael ThielscherMichael Thielscher

Steffen Hölldobler, Michael Thielscher
Computing Change and Specificity with Equational Logic Programs
Annals of Mathematics and Artificial Intelligence, 14:99-133, 1995

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{HT1995,
  author  = {Steffen H{\"{o}}lldobler and Michael Thielscher},
  title   = {Computing Change and Specificity with Equational Logic Programs},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume  = {14},
  year    = {1995},
  pages   = {99-133}
}