Properties vs. Resources: Solving Simple Frame Problems

Steffen HölldoblerSteffen Hölldobler, Michael ThielscherMichael Thielscher

Steffen Hölldobler, Michael Thielscher
Properties vs. Resources: Solving Simple Frame Problems
Technical Report, Intellektik, Informatik, TH Darmstadt, volume AIDA-96-03, 1996. Technischer Report

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{HT1996,
  author      = {Steffen H{\"{o}}lldobler and Michael Thielscher},
  title       = {Properties vs. Resources: Solving Simple Frame Problems},
  institution = {Intellektik, Informatik, {TH} Darmstadt},
  year        = {1996}
}