Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248795502> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W4248795502 endingPage "75" @default.
- W4248795502 startingPage "1" @default.
- W4248795502 abstract "The aim of this work is to show how Prolog technology can be used for efficient implementation of query answering in default logics. The idea is to translate a default theory along with a query into a Prolog program and a Prolog query such that the original query is derivable from the default theory iff the Prolog query is derivable from the Prolog program. In order to comply with the goal-oriented proof search of this approach, we focus on default theories supporting local proof procedures, as exemplified by so-called semi-monotonic default theories. Although this does not capture general default theories under Reiter's interpretation, it does so under alternative ones'. For providing theoretical underpinnings, we found the resulting compilation techniques upon a top-down proof procedure based on model elimination. We show how the notion of a model elimination proof can be refined to capture default proofs and how standard techniques for implementing and improving model elimination theorem provers (regularity, lemmas) can be adapted and extended to default reasoning. This integrated approach allows us to push the concepts needed for handling defaults from the underlying calculus onto the resulting compilation techniques. This method for default theorem proving is complemented by a model-based approach to incremental consistency checking. We show that the crucial task of consistency checking can benefit from keeping models in order to restrict the attention to ultimately necessary consistency checks. This is supported by the concept of default lemmas that allow for an additional avoidance of redundancy." @default.
- W4248795502 created "2022-05-12" @default.
- W4248795502 creator A5058467603 @default.
- W4248795502 creator A5073236004 @default.
- W4248795502 date "1998-11-01" @default.
- W4248795502 modified "2023-09-23" @default.
- W4248795502 title "Prolog technology for default reasoning: proof theory and compilation techniques" @default.
- W4248795502 cites W1488300076 @default.
- W4248795502 cites W157785659 @default.
- W4248795502 cites W1974299393 @default.
- W4248795502 cites W1983501474 @default.
- W4248795502 cites W1987260800 @default.
- W4248795502 cites W1988496255 @default.
- W4248795502 cites W1997714358 @default.
- W4248795502 cites W1999242656 @default.
- W4248795502 cites W1999622198 @default.
- W4248795502 cites W2004352874 @default.
- W4248795502 cites W2005090804 @default.
- W4248795502 cites W2005225332 @default.
- W4248795502 cites W2013153283 @default.
- W4248795502 cites W2015110203 @default.
- W4248795502 cites W2016171120 @default.
- W4248795502 cites W2020153579 @default.
- W4248795502 cites W2025252200 @default.
- W4248795502 cites W2062897452 @default.
- W4248795502 cites W2076706802 @default.
- W4248795502 cites W2078926321 @default.
- W4248795502 cites W2081450921 @default.
- W4248795502 cites W2084894656 @default.
- W4248795502 cites W2085184180 @default.
- W4248795502 cites W2155322595 @default.
- W4248795502 cites W2557892554 @default.
- W4248795502 cites W2914936697 @default.
- W4248795502 doi "https://doi.org/10.1016/s0004-3702(98)00092-7" @default.
- W4248795502 hasPublicationYear "1998" @default.
- W4248795502 type Work @default.
- W4248795502 citedByCount "5" @default.
- W4248795502 countsByYear W42487955022015 @default.
- W4248795502 crossrefType "journal-article" @default.
- W4248795502 hasAuthorship W4248795502A5058467603 @default.
- W4248795502 hasAuthorship W4248795502A5073236004 @default.
- W4248795502 hasConcept C102993220 @default.
- W4248795502 hasConcept C108710211 @default.
- W4248795502 hasConcept C154945302 @default.
- W4248795502 hasConcept C160236029 @default.
- W4248795502 hasConcept C199360897 @default.
- W4248795502 hasConcept C203659156 @default.
- W4248795502 hasConcept C206880738 @default.
- W4248795502 hasConcept C2318724 @default.
- W4248795502 hasConcept C2524010 @default.
- W4248795502 hasConcept C2776436953 @default.
- W4248795502 hasConcept C33923547 @default.
- W4248795502 hasConcept C3845977 @default.
- W4248795502 hasConcept C41008148 @default.
- W4248795502 hasConcept C80444323 @default.
- W4248795502 hasConcept C81721847 @default.
- W4248795502 hasConceptScore W4248795502C102993220 @default.
- W4248795502 hasConceptScore W4248795502C108710211 @default.
- W4248795502 hasConceptScore W4248795502C154945302 @default.
- W4248795502 hasConceptScore W4248795502C160236029 @default.
- W4248795502 hasConceptScore W4248795502C199360897 @default.
- W4248795502 hasConceptScore W4248795502C203659156 @default.
- W4248795502 hasConceptScore W4248795502C206880738 @default.
- W4248795502 hasConceptScore W4248795502C2318724 @default.
- W4248795502 hasConceptScore W4248795502C2524010 @default.
- W4248795502 hasConceptScore W4248795502C2776436953 @default.
- W4248795502 hasConceptScore W4248795502C33923547 @default.
- W4248795502 hasConceptScore W4248795502C3845977 @default.
- W4248795502 hasConceptScore W4248795502C41008148 @default.
- W4248795502 hasConceptScore W4248795502C80444323 @default.
- W4248795502 hasConceptScore W4248795502C81721847 @default.
- W4248795502 hasIssue "1" @default.
- W4248795502 hasLocation W42487955021 @default.
- W4248795502 hasOpenAccess W4248795502 @default.
- W4248795502 hasPrimaryLocation W42487955021 @default.
- W4248795502 hasRelatedWork W1536660600 @default.
- W4248795502 hasRelatedWork W1541090918 @default.
- W4248795502 hasRelatedWork W1604674876 @default.
- W4248795502 hasRelatedWork W2217122638 @default.
- W4248795502 hasRelatedWork W2404743010 @default.
- W4248795502 hasRelatedWork W2569890278 @default.
- W4248795502 hasRelatedWork W2964806919 @default.
- W4248795502 hasRelatedWork W4248795502 @default.
- W4248795502 hasRelatedWork W787793384 @default.
- W4248795502 hasRelatedWork W2510312343 @default.
- W4248795502 hasVolume "106" @default.
- W4248795502 isParatext "false" @default.
- W4248795502 isRetracted "false" @default.
- W4248795502 workType "article" @default.