Modal provability foundations for negation by failure

D. M. Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations
Original languageEnglish
Title of host publicationExtensions of Logic Programming - International Workshop, Proceedings
EditorsPeter Schroeder-Heister
PublisherSpringer Verlag
Number of pages44
ISBN (Print)9783540535904
StatePublished - 1991
Externally publishedYes
EventInternational Workshop on Extensions of Logic Programming, 1989 - Tubingen, Germany
Duration: 8 Dec 198910 Dec 1989

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume475 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Workshop on Extensions of Logic Programming, 1989

Bibliographical note

Funding Information:
1T his research was supportedb y the Sciencea nd EngineeringR esearch Councilu nderg rantG R/D/5939.7 as part of the ALVEYp roject' Pure Logic LanguageI KBS/I70'a nd by the NationalS cienceF oundationu nderg rant IST-8505586. I am gratefult o L Terracini,J ohn Shepherdsona nd to the two anonymousr eferees for valuable criticism. Alsot hanks to L Lazarte for reading earlierv ersionso f the manuscript.

Cite this