Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610447084> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2610447084 abstract "Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages. These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable. While a number of such logics have been proposed in the past, they tend to remain for theoretical analysis only and their practical relevance is very limited. In this paper, we aim to go beyond the theory. Building on earlier work by Liu, Lakemeyer, and Levesque, we develop a logic of limited belief that is highly expressive while remaining decidable in the first-order and tractable in the propositional case and exhibits some characteristics that make it attractive for an implementation. We introduce a reasoning system that employs this logic as representation language and present experimental results that showcase the benefit of limited belief." @default.
- W2610447084 created "2017-05-12" @default.
- W2610447084 creator A5051193060 @default.
- W2610447084 date "2017-05-04" @default.
- W2610447084 modified "2023-09-27" @default.
- W2610447084 title "A Reasoning System for a First-Order Logic of Limited Belief" @default.
- W2610447084 cites W1588085858 @default.
- W2610447084 cites W1991972474 @default.
- W2610447084 cites W2021693981 @default.
- W2610447084 cites W2028441269 @default.
- W2610447084 cites W2134991397 @default.
- W2610447084 cites W2146819619 @default.
- W2610447084 cites W2148717074 @default.
- W2610447084 cites W2703543743 @default.
- W2610447084 cites W48296306 @default.
- W2610447084 hasPublicationYear "2017" @default.
- W2610447084 type Work @default.
- W2610447084 sameAs 2610447084 @default.
- W2610447084 citedByCount "2" @default.
- W2610447084 countsByYear W26104470842019 @default.
- W2610447084 countsByYear W26104470842020 @default.
- W2610447084 crossrefType "posted-content" @default.
- W2610447084 hasAuthorship W2610447084A5051193060 @default.
- W2610447084 hasConcept C10138342 @default.
- W2610447084 hasConcept C102993220 @default.
- W2610447084 hasConcept C128913409 @default.
- W2610447084 hasConcept C134752490 @default.
- W2610447084 hasConcept C153269930 @default.
- W2610447084 hasConcept C154945302 @default.
- W2610447084 hasConcept C158154518 @default.
- W2610447084 hasConcept C159032336 @default.
- W2610447084 hasConcept C161301231 @default.
- W2610447084 hasConcept C162324750 @default.
- W2610447084 hasConcept C17744445 @default.
- W2610447084 hasConcept C182306322 @default.
- W2610447084 hasConcept C199360897 @default.
- W2610447084 hasConcept C199539241 @default.
- W2610447084 hasConcept C2776359362 @default.
- W2610447084 hasConcept C41008148 @default.
- W2610447084 hasConcept C69562738 @default.
- W2610447084 hasConcept C80444323 @default.
- W2610447084 hasConcept C94625758 @default.
- W2610447084 hasConcept C97364631 @default.
- W2610447084 hasConceptScore W2610447084C10138342 @default.
- W2610447084 hasConceptScore W2610447084C102993220 @default.
- W2610447084 hasConceptScore W2610447084C128913409 @default.
- W2610447084 hasConceptScore W2610447084C134752490 @default.
- W2610447084 hasConceptScore W2610447084C153269930 @default.
- W2610447084 hasConceptScore W2610447084C154945302 @default.
- W2610447084 hasConceptScore W2610447084C158154518 @default.
- W2610447084 hasConceptScore W2610447084C159032336 @default.
- W2610447084 hasConceptScore W2610447084C161301231 @default.
- W2610447084 hasConceptScore W2610447084C162324750 @default.
- W2610447084 hasConceptScore W2610447084C17744445 @default.
- W2610447084 hasConceptScore W2610447084C182306322 @default.
- W2610447084 hasConceptScore W2610447084C199360897 @default.
- W2610447084 hasConceptScore W2610447084C199539241 @default.
- W2610447084 hasConceptScore W2610447084C2776359362 @default.
- W2610447084 hasConceptScore W2610447084C41008148 @default.
- W2610447084 hasConceptScore W2610447084C69562738 @default.
- W2610447084 hasConceptScore W2610447084C80444323 @default.
- W2610447084 hasConceptScore W2610447084C94625758 @default.
- W2610447084 hasConceptScore W2610447084C97364631 @default.
- W2610447084 hasLocation W26104470841 @default.
- W2610447084 hasOpenAccess W2610447084 @default.
- W2610447084 hasPrimaryLocation W26104470841 @default.
- W2610447084 hasRelatedWork W107342799 @default.
- W2610447084 hasRelatedWork W1479276347 @default.
- W2610447084 hasRelatedWork W1481983611 @default.
- W2610447084 hasRelatedWork W1517529971 @default.
- W2610447084 hasRelatedWork W1531543048 @default.
- W2610447084 hasRelatedWork W1543250936 @default.
- W2610447084 hasRelatedWork W2037576563 @default.
- W2610447084 hasRelatedWork W2151829588 @default.
- W2610447084 hasRelatedWork W2157598229 @default.
- W2610447084 hasRelatedWork W2164764666 @default.
- W2610447084 hasRelatedWork W2214113390 @default.
- W2610447084 hasRelatedWork W2407854975 @default.
- W2610447084 hasRelatedWork W2414735778 @default.
- W2610447084 hasRelatedWork W2493527227 @default.
- W2610447084 hasRelatedWork W2572706305 @default.
- W2610447084 hasRelatedWork W2903629382 @default.
- W2610447084 hasRelatedWork W2938107708 @default.
- W2610447084 hasRelatedWork W2963328852 @default.
- W2610447084 hasRelatedWork W807663550 @default.
- W2610447084 hasRelatedWork W2177576448 @default.
- W2610447084 isParatext "false" @default.
- W2610447084 isRetracted "false" @default.
- W2610447084 magId "2610447084" @default.
- W2610447084 workType "article" @default.