Matches in SemOpenAlex for { <https://semopenalex.org/work/W4201471> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4201471 endingPage "241" @default.
- W4201471 startingPage "232" @default.
- W4201471 abstract "A query-answering problem QA problem is concerned with finding all ground instances of a query atomic formula that are logical consequences of a given logical formula describing the background knowledge of the problem. Based on the equivalent transformation ET principle, we propose a general framework for solving QA problems on first-order logic. To solve such a QA problem, the first-order formula representing its background knowledge is converted by meaning-preserving Skolemization into a set of clauses typically containing global existential quantifications of function variables. The obtained clause set is then transformed successively using ET rules until the answer set of the original problem can be readily derived. Many ET rules are demonstrated, including rules for unfolding clauses, for resolution, for dealing with function variables, and for erasing independent satisfiable atomic formulas. Application of the proposed framework is illustrated." @default.
- W4201471 created "2016-06-24" @default.
- W4201471 creator A5022955232 @default.
- W4201471 creator A5087449143 @default.
- W4201471 date "2014-01-01" @default.
- W4201471 modified "2023-10-16" @default.
- W4201471 title "Equivalent Transformation in an Extended Space for Solving Query-Answering Problems" @default.
- W4201471 cites W1555563750 @default.
- W4201471 cites W1587067956 @default.
- W4201471 cites W1591768831 @default.
- W4201471 doi "https://doi.org/10.1007/978-3-319-05476-6_24" @default.
- W4201471 hasPublicationYear "2014" @default.
- W4201471 type Work @default.
- W4201471 sameAs 4201471 @default.
- W4201471 citedByCount "5" @default.
- W4201471 countsByYear W42014712016 @default.
- W4201471 countsByYear W42014712018 @default.
- W4201471 countsByYear W42014712019 @default.
- W4201471 countsByYear W42014712022 @default.
- W4201471 crossrefType "book-chapter" @default.
- W4201471 hasAuthorship W4201471A5022955232 @default.
- W4201471 hasAuthorship W4201471A5087449143 @default.
- W4201471 hasConcept C104317684 @default.
- W4201471 hasConcept C111919701 @default.
- W4201471 hasConcept C11413529 @default.
- W4201471 hasConcept C136119220 @default.
- W4201471 hasConcept C157692150 @default.
- W4201471 hasConcept C185592680 @default.
- W4201471 hasConcept C202444582 @default.
- W4201471 hasConcept C204241405 @default.
- W4201471 hasConcept C23123220 @default.
- W4201471 hasConcept C2778572836 @default.
- W4201471 hasConcept C33923547 @default.
- W4201471 hasConcept C41008148 @default.
- W4201471 hasConcept C55493867 @default.
- W4201471 hasConcept C80444323 @default.
- W4201471 hasConceptScore W4201471C104317684 @default.
- W4201471 hasConceptScore W4201471C111919701 @default.
- W4201471 hasConceptScore W4201471C11413529 @default.
- W4201471 hasConceptScore W4201471C136119220 @default.
- W4201471 hasConceptScore W4201471C157692150 @default.
- W4201471 hasConceptScore W4201471C185592680 @default.
- W4201471 hasConceptScore W4201471C202444582 @default.
- W4201471 hasConceptScore W4201471C204241405 @default.
- W4201471 hasConceptScore W4201471C23123220 @default.
- W4201471 hasConceptScore W4201471C2778572836 @default.
- W4201471 hasConceptScore W4201471C33923547 @default.
- W4201471 hasConceptScore W4201471C41008148 @default.
- W4201471 hasConceptScore W4201471C55493867 @default.
- W4201471 hasConceptScore W4201471C80444323 @default.
- W4201471 hasLocation W42014711 @default.
- W4201471 hasOpenAccess W4201471 @default.
- W4201471 hasPrimaryLocation W42014711 @default.
- W4201471 hasRelatedWork W1480615301 @default.
- W4201471 hasRelatedWork W1541546252 @default.
- W4201471 hasRelatedWork W1607797725 @default.
- W4201471 hasRelatedWork W2079694211 @default.
- W4201471 hasRelatedWork W2106319245 @default.
- W4201471 hasRelatedWork W2110019277 @default.
- W4201471 hasRelatedWork W2350026801 @default.
- W4201471 hasRelatedWork W2363027842 @default.
- W4201471 hasRelatedWork W4220868064 @default.
- W4201471 hasRelatedWork W2098306546 @default.
- W4201471 isParatext "false" @default.
- W4201471 isRetracted "false" @default.
- W4201471 magId "4201471" @default.
- W4201471 workType "book-chapter" @default.