Advertisement

Logisches Truth-Maintenance

  • Clemens Beckstein
Chapter
  • 18 Downloads
Part of the TEUBNER-TEXTE zur Informatik book series (volume 13)

Zusammenfassung

Das Jtms ist vergleichsweise ausdrucksschwach: es kann — sieht man einmal von den CP-Rechtfertigungen ab, die ja nur indirekt, über die aus ihnen generierten SL-Rechtfertigungen an der Verarbeitung teilhaben — lediglich Constraints auswerten, die SL-Rechtfertigungen oder Deklarationen von Widerspruchsknoten entsprechen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Verlagsgesellschaft Leipzig 1996

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Friedrich-Schiller-Universität JenaJenaDeutschland

Personalised recommendations