Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Negation_as_failure> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Negation_as_failure abstract "Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system.Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.".
- Negation_as_failure wikiPageExternalLink autoepistemic.pdf.
- Negation_as_failure wikiPageExternalLink stable.pdf.
- Negation_as_failure wikiPageExternalLink neg.html.
- Negation_as_failure wikiPageExternalLink report.
- Negation_as_failure wikiPageID "2526537".
- Negation_as_failure wikiPageRevisionID "596625591".
- Negation_as_failure hasPhotoCollection Negation_as_failure.
- Negation_as_failure subject Category:Logic_programming.
- Negation_as_failure subject Category:Rules_of_inference.
- Negation_as_failure type Abstraction100002137.
- Negation_as_failure type Cognition100023271.
- Negation_as_failure type Concept105835747.
- Negation_as_failure type Content105809192.
- Negation_as_failure type Idea105833840.
- Negation_as_failure type PsychologicalFeature100023100.
- Negation_as_failure type Rule105846054.
- Negation_as_failure type RulesOfInference.
- Negation_as_failure comment "Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system.Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog.".
- Negation_as_failure label "Negatie als falen".
- Negation_as_failure label "Negation as failure".
- Negation_as_failure label "Negação por falha".
- Negation_as_failure label "Négation par l'échec".
- Negation_as_failure label "Schwache Negation".
- Negation_as_failure label "否定为失败".
- Negation_as_failure label "失敗による否定".
- Negation_as_failure sameAs Schwache_Negation.
- Negation_as_failure sameAs Négation_par_l'échec.
- Negation_as_failure sameAs 失敗による否定.
- Negation_as_failure sameAs Negatie_als_falen.
- Negation_as_failure sameAs Negação_por_falha.
- Negation_as_failure sameAs m.07k_0d.
- Negation_as_failure sameAs Q2119400.
- Negation_as_failure sameAs Q2119400.
- Negation_as_failure sameAs Negation_as_failure.
- Negation_as_failure wasDerivedFrom Negation_as_failure?oldid=596625591.
- Negation_as_failure isPrimaryTopicOf Negation_as_failure.