Computing Change and Specificity with Equational Logic Programs

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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}
}