(redirected from Negation as failure)
Also found in: Encyclopedia, Wikipedia.
NAFNaval Aircraft Factory (est. 1981; US Navy)
NAFNational Arbitration Forum
NAFsodium fluoride
NAFNational Academy Foundation
NAFNational Abortion Federation
NAFNaval Air Facility
NAFNo Added Formaldehyde
NAFNew America Foundation (think tank)
NAFNatural Animal Feeds (Monmouth, NJ)
NAFNational AIDS Fund
NAFNational Arts Festival
NAFNational Ataxia Foundation
NAFNational Armed Forces
NAFNon-Appropriated Funds
NAFNorges Automobil Forbund
NAFNative American Flute
NAFNumbered Air Force
NAFNipple Aspirate Fluid
NAFNegation As Failure (logics)
NAFNational Anxiety Foundation
NAFNonprofits Assistance Fund (Minneapolis, MN)
NAFNomenclature des Activités Françaises (official register of business branches in France)
NAFNorth American Forum (various organizations)
NAFNorges Apotekerforening (Norwegian Association of Pharmacists)
NAFNon-Accelerated Filer (US SEC)
NAFNon-Adjacent Form
NAFNippon Accommodations Fund (Japan)
NAFNative American Fellowship (Phoenix, AZ)
NAFNigerian Airforce
NAFNetherlands Antillean Guilder (monetary unit)
NAFNational Advertising Fund
NAFNorth Atlantic Format (electronic data transmission; fisheries)
NAFNaval Aviation Foundation
NAFNational Alliance of Families (POW/MIA)
NAFNordic Working Group on Fisheries Research
NAFNational Abortion Foundation
NAFNew Account Form
NAFNeeds Assessment Framework
NAFNo Abnormal Findings
NAFNorthern Attack Force (US Navy)
NAFNational Access Fee (MCI)
NAFNuffle Amorical Football (gaming)
NAFNaval Avionics Facility (Indianapolis, IN)
NAFNon-Orthogonal Amplify and Forward
NAFNetwork Access Function
NAFNorthern Africa Region
NAFNormalized Age Factor
NAFNew Advanced Formula
NAFNo-Access Fault
References in periodicals archive ?
The first precise semantics for negation as failure was proposed by Clark (1978), who defined the process of program completion--a syntactic transformation that turns Prolog programs into first-order theories.
Each of the programs [[PI].sub.1], [[PI].sub.2], and [[PI].sub.3] will be accepted as a valid input by an answer set solver, except that the symbol \+ for negation as failure should be written as not.
Atoms in programs and in answer sets can be preceded by the "classical negation" sign (-) that should be distinguished from the negation as failure symbol (not).
Logic programming without negation as failure. In Proceedings of 5th.