Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148059465> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3148059465 abstract "Abstrac t Nonmonotonic reasoning is one of most important and active areas of research in knowledge representation and reasoning. Autoepistemic logic introduced by Moore offers a very promising approach to formalize nonmonotonic reasoning. The key concept in autoepistemic reasoning is a stable ezpansion of a set of premises. Stable expansions are defined non-constructively using a fixed point equation which is rather hard to reason about. In this paper first-order autoepistemic logic is studied where quantifying into a modal context is not allowed. A simple new syntactic characterization of stable expansions is developed. For each stable expansion a unique set of sentences, a kernel, is constructed which completely determines the expansion. For finite sets of premises the kernel is also finite and thus stable expansions can be given a finite representation even though they are infinite sets of sentences. Using this new characterization conditions ensuring that a set of premises has at least one stable expansion and exactly one stable expansion can be stated and an upper bound on the number of stable expansions of a finite set of premises can be given. Furthermore, preliminary results on deddability and complexity of autoepistemic reasoning are obtained. E.g. it is shown that autoepistemic reasoning is decidable iff the underlying monotonic consequence relation is decidable." @default.
- W3148059465 created "2021-04-13" @default.
- W3148059465 creator A5002853491 @default.
- W3148059465 date "2005-01-01" @default.
- W3148059465 modified "2023-09-27" @default.
- W3148059465 title "Towards Automatic Autoepistemic Reasoning" @default.
- W3148059465 cites W136379439 @default.
- W3148059465 cites W1505241859 @default.
- W3148059465 cites W1573502627 @default.
- W3148059465 cites W1598761084 @default.
- W3148059465 cites W1924904173 @default.
- W3148059465 cites W1966552757 @default.
- W3148059465 cites W1991972474 @default.
- W3148059465 cites W1996347293 @default.
- W3148059465 cites W2067326626 @default.
- W3148059465 cites W2140533498 @default.
- W3148059465 cites W2611415697 @default.
- W3148059465 hasPublicationYear "2005" @default.
- W3148059465 type Work @default.
- W3148059465 sameAs 3148059465 @default.
- W3148059465 citedByCount "0" @default.
- W3148059465 crossrefType "journal-article" @default.
- W3148059465 hasAuthorship W3148059465A5002853491 @default.
- W3148059465 hasConcept C102993220 @default.
- W3148059465 hasConcept C118615104 @default.
- W3148059465 hasConcept C151730666 @default.
- W3148059465 hasConcept C153269930 @default.
- W3148059465 hasConcept C159032336 @default.
- W3148059465 hasConcept C177264268 @default.
- W3148059465 hasConcept C17744445 @default.
- W3148059465 hasConcept C199343813 @default.
- W3148059465 hasConcept C199360897 @default.
- W3148059465 hasConcept C199539241 @default.
- W3148059465 hasConcept C203659156 @default.
- W3148059465 hasConcept C2776359362 @default.
- W3148059465 hasConcept C2777686260 @default.
- W3148059465 hasConcept C2779343474 @default.
- W3148059465 hasConcept C33923547 @default.
- W3148059465 hasConcept C3845977 @default.
- W3148059465 hasConcept C41008148 @default.
- W3148059465 hasConcept C71924100 @default.
- W3148059465 hasConcept C74193536 @default.
- W3148059465 hasConcept C80444323 @default.
- W3148059465 hasConcept C86803240 @default.
- W3148059465 hasConcept C94625758 @default.
- W3148059465 hasConceptScore W3148059465C102993220 @default.
- W3148059465 hasConceptScore W3148059465C118615104 @default.
- W3148059465 hasConceptScore W3148059465C151730666 @default.
- W3148059465 hasConceptScore W3148059465C153269930 @default.
- W3148059465 hasConceptScore W3148059465C159032336 @default.
- W3148059465 hasConceptScore W3148059465C177264268 @default.
- W3148059465 hasConceptScore W3148059465C17744445 @default.
- W3148059465 hasConceptScore W3148059465C199343813 @default.
- W3148059465 hasConceptScore W3148059465C199360897 @default.
- W3148059465 hasConceptScore W3148059465C199539241 @default.
- W3148059465 hasConceptScore W3148059465C203659156 @default.
- W3148059465 hasConceptScore W3148059465C2776359362 @default.
- W3148059465 hasConceptScore W3148059465C2777686260 @default.
- W3148059465 hasConceptScore W3148059465C2779343474 @default.
- W3148059465 hasConceptScore W3148059465C33923547 @default.
- W3148059465 hasConceptScore W3148059465C3845977 @default.
- W3148059465 hasConceptScore W3148059465C41008148 @default.
- W3148059465 hasConceptScore W3148059465C71924100 @default.
- W3148059465 hasConceptScore W3148059465C74193536 @default.
- W3148059465 hasConceptScore W3148059465C80444323 @default.
- W3148059465 hasConceptScore W3148059465C86803240 @default.
- W3148059465 hasConceptScore W3148059465C94625758 @default.
- W3148059465 hasLocation W31480594651 @default.
- W3148059465 hasOpenAccess W3148059465 @default.
- W3148059465 hasPrimaryLocation W31480594651 @default.
- W3148059465 hasRelatedWork W1505779129 @default.
- W3148059465 hasRelatedWork W1518744800 @default.
- W3148059465 hasRelatedWork W1524378866 @default.
- W3148059465 hasRelatedWork W1526521607 @default.
- W3148059465 hasRelatedWork W1605427978 @default.
- W3148059465 hasRelatedWork W2017682709 @default.
- W3148059465 hasRelatedWork W2057038881 @default.
- W3148059465 hasRelatedWork W2063582240 @default.
- W3148059465 hasRelatedWork W2076410236 @default.
- W3148059465 hasRelatedWork W2085184180 @default.
- W3148059465 hasRelatedWork W2124890997 @default.
- W3148059465 hasRelatedWork W2135808442 @default.
- W3148059465 hasRelatedWork W2140165121 @default.
- W3148059465 hasRelatedWork W2145072839 @default.
- W3148059465 hasRelatedWork W2148256560 @default.
- W3148059465 hasRelatedWork W2575897612 @default.
- W3148059465 hasRelatedWork W2604713618 @default.
- W3148059465 hasRelatedWork W2749841279 @default.
- W3148059465 hasRelatedWork W3099905649 @default.
- W3148059465 hasRelatedWork W99409509 @default.
- W3148059465 isParatext "false" @default.
- W3148059465 isRetracted "false" @default.
- W3148059465 magId "3148059465" @default.
- W3148059465 workType "article" @default.