Matches in SemOpenAlex for { <https://semopenalex.org/work/W145457400> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W145457400 endingPage "12" @default.
- W145457400 startingPage "8" @default.
- W145457400 abstract "This paper describes FAULTY, a default prover for a decidable subset of predicate calculus. FAULTY is based on McDermott s and Doyle's Nonmonotonic Logic I and avoids the well-known weakness of this logic by a restriction to specific theories, which are sufficient for default reasoning purposes, however. The defaults are represented in a way that allows explicit control of their applicability. By blocking the applicability of a default the problem of interacting defaults can be avoided." @default.
- W145457400 created "2016-06-24" @default.
- W145457400 creator A5060148794 @default.
- W145457400 date "1986-08-11" @default.
- W145457400 modified "2023-09-24" @default.
- W145457400 title "Tweety - still flying some remarks on abnormal birds, applicable rules and a default prover" @default.
- W145457400 cites W1279140112 @default.
- W145457400 cites W152625262 @default.
- W145457400 cites W1532772530 @default.
- W145457400 cites W1713752834 @default.
- W145457400 cites W1966552757 @default.
- W145457400 cites W1976303542 @default.
- W145457400 cites W1996347293 @default.
- W145457400 cites W1999622198 @default.
- W145457400 cites W2155322595 @default.
- W145457400 cites W2169602487 @default.
- W145457400 cites W25931048 @default.
- W145457400 cites W2945259913 @default.
- W145457400 cites W95332643 @default.
- W145457400 cites W957139 @default.
- W145457400 cites W174911193 @default.
- W145457400 hasPublicationYear "1986" @default.
- W145457400 type Work @default.
- W145457400 sameAs 145457400 @default.
- W145457400 citedByCount "4" @default.
- W145457400 crossrefType "proceedings-article" @default.
- W145457400 hasAuthorship W145457400A5060148794 @default.
- W145457400 hasConcept C10138342 @default.
- W145457400 hasConcept C102993220 @default.
- W145457400 hasConcept C108710211 @default.
- W145457400 hasConcept C11413529 @default.
- W145457400 hasConcept C140146324 @default.
- W145457400 hasConcept C153269930 @default.
- W145457400 hasConcept C159032336 @default.
- W145457400 hasConcept C159718280 @default.
- W145457400 hasConcept C160236029 @default.
- W145457400 hasConcept C162324750 @default.
- W145457400 hasConcept C19689857 @default.
- W145457400 hasConcept C199360897 @default.
- W145457400 hasConcept C203659156 @default.
- W145457400 hasConcept C206880738 @default.
- W145457400 hasConcept C2524010 @default.
- W145457400 hasConcept C2776235265 @default.
- W145457400 hasConcept C33923547 @default.
- W145457400 hasConcept C3845977 @default.
- W145457400 hasConcept C41008148 @default.
- W145457400 hasConcept C69637215 @default.
- W145457400 hasConcept C80444323 @default.
- W145457400 hasConceptScore W145457400C10138342 @default.
- W145457400 hasConceptScore W145457400C102993220 @default.
- W145457400 hasConceptScore W145457400C108710211 @default.
- W145457400 hasConceptScore W145457400C11413529 @default.
- W145457400 hasConceptScore W145457400C140146324 @default.
- W145457400 hasConceptScore W145457400C153269930 @default.
- W145457400 hasConceptScore W145457400C159032336 @default.
- W145457400 hasConceptScore W145457400C159718280 @default.
- W145457400 hasConceptScore W145457400C160236029 @default.
- W145457400 hasConceptScore W145457400C162324750 @default.
- W145457400 hasConceptScore W145457400C19689857 @default.
- W145457400 hasConceptScore W145457400C199360897 @default.
- W145457400 hasConceptScore W145457400C203659156 @default.
- W145457400 hasConceptScore W145457400C206880738 @default.
- W145457400 hasConceptScore W145457400C2524010 @default.
- W145457400 hasConceptScore W145457400C2776235265 @default.
- W145457400 hasConceptScore W145457400C33923547 @default.
- W145457400 hasConceptScore W145457400C3845977 @default.
- W145457400 hasConceptScore W145457400C41008148 @default.
- W145457400 hasConceptScore W145457400C69637215 @default.
- W145457400 hasConceptScore W145457400C80444323 @default.
- W145457400 hasLocation W1454574001 @default.
- W145457400 hasOpenAccess W145457400 @default.
- W145457400 hasPrimaryLocation W1454574001 @default.
- W145457400 hasRelatedWork W1501348379 @default.
- W145457400 hasRelatedWork W1508481787 @default.
- W145457400 hasRelatedWork W1531558136 @default.
- W145457400 hasRelatedWork W1533062081 @default.
- W145457400 hasRelatedWork W1584010043 @default.
- W145457400 hasRelatedWork W1713752834 @default.
- W145457400 hasRelatedWork W1974174939 @default.
- W145457400 hasRelatedWork W2009317964 @default.
- W145457400 hasRelatedWork W2020153579 @default.
- W145457400 hasRelatedWork W2030586002 @default.
- W145457400 hasRelatedWork W2054098217 @default.
- W145457400 hasRelatedWork W2155322595 @default.
- W145457400 hasRelatedWork W2295099510 @default.
- W145457400 hasRelatedWork W2365692196 @default.
- W145457400 hasRelatedWork W2510221240 @default.
- W145457400 hasRelatedWork W3045221647 @default.
- W145457400 hasRelatedWork W316482821 @default.
- W145457400 hasRelatedWork W52985456 @default.
- W145457400 hasRelatedWork W93845155 @default.
- W145457400 hasRelatedWork W2136353095 @default.
- W145457400 isParatext "false" @default.
- W145457400 isRetracted "false" @default.
- W145457400 magId "145457400" @default.
- W145457400 workType "article" @default.