solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Loop checking and negation

OPAC (1/1)


Einzelband einer Serie, siehe auch übergeordnete Titel

Loop checking and negation

Verfasser: Bol, Roland N.
Verlagsort, Jahr: Amsterdam, 1990
Umfang: 32 S.
Reihe: Report CS:   einzelbaende Einzelbände
einzelbaende übergeordneter Titel

Abholort: Teilbibliothek Stammgelände
  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellen
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • Details
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Titel: Loop checking and negation
Von: R. N. Bol
Verfasser: Bol, Roland N.
Verlagsort: Amsterdam
Jahr: 1990
Umfang: 32 S.
Reihe: Report CS
Band: 90,75
Abstract: Abstract: "In this article we extend the concept of loop checking from positive programs (as described in [ABK]) to locally stratified programs. Such an extension is not straightforward: the introduction of negation requires a (re)consideration of the choice of semantics, the description of a related search space and new soundness and completeness results handling floundering in a satisfactory way. Nevertheless an extension is achieved that allows us to generalize the loop checking mechanisms from positive programs to locally stratified programs, while preserving most soundness and completeness results. The conclusion is that negative literals cannot give rise to loops, and must be simply ignored."
B3Kat-Nr: BV008974423