On the basis of the model-theoretic completeness of a bi-modal system L for Prolog propositional programs with negation by failure the author extends D. Gabbay's idea on modal completion to prove the completeness of SLDNF-resolution within the system L. (The system L extends the known modal system G for arithmetical probability.)

Modal interpretation for negation by failure

TERRACINI, Lea
1988

Abstract

On the basis of the model-theoretic completeness of a bi-modal system L for Prolog propositional programs with negation by failure the author extends D. Gabbay's idea on modal completion to prove the completeness of SLDNF-resolution within the system L. (The system L extends the known modal system G for arithmetical probability.)
ATTI DELLA ACCADEMIA DELLE SCIENZE DI TORINO. CLASSE DI SCIENZE FISICHE MATEMATICHE E NATURALI
122
81
88
Lea Terracini
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/114918
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact