Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000233346> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2000233346 abstract "Abstract Abstract Motivated by the problem of query answering over multiple structured commonsense theories, we exploit graph-based techniques to improve the efficiency of theorem proving for structured theories. Theories are organized into sub theories that are minimally connected by the literals they share. We present message-passing algorithms that reason over these theories using consequence finding, specializing our algorithms for the case of first-order resolution, and for concurrent theorem proving. We provide an algorithm that restricts the interaction between subtheories by exploiting the polarity of literals. We attempt to minimize the reasoning within each individual partition by exploiting existing algorithms for focused incremental and general consequence finding. Finally, we propose an algorithm that compiles each subtheory into one in a reduced sublanguage. We have proven the soundness and completeness of all of these algorithms. We wish to thank the anonymous IJCAI reviewers for their thorough review of this paper, and Alvaro del Val and Pierre Marquis for helpful comments on the relationship between our work and previous work on consequence finding. This research was supported in part by DARPA grant N66001-97-C-8554-4, NAVY grant N66001-00-C-8027, and by DARPA grant N66001-00-C-8018 (RKF program)." @default.
- W2000233346 created "2016-06-24" @default.
- W2000233346 creator A5017507614 @default.
- W2000233346 creator A5073459213 @default.
- W2000233346 date "2001-06-01" @default.
- W2000233346 modified "2023-09-27" @default.
- W2000233346 title "Theorem Proving with Structured Theories (Preliminary Report)∗" @default.
- W2000233346 cites W111380827 @default.
- W2000233346 cites W138491487 @default.
- W2000233346 cites W1548827561 @default.
- W2000233346 cites W1572050278 @default.
- W2000233346 cites W1599103728 @default.
- W2000233346 cites W168299507 @default.
- W2000233346 cites W190525330 @default.
- W2000233346 cites W1934849835 @default.
- W2000233346 cites W1965184317 @default.
- W2000233346 cites W1972122408 @default.
- W2000233346 cites W1976222700 @default.
- W2000233346 cites W2035913237 @default.
- W2000233346 cites W2036792541 @default.
- W2000233346 cites W2047961808 @default.
- W2000233346 cites W2088833815 @default.
- W2000233346 cites W2098244894 @default.
- W2000233346 cites W2100738443 @default.
- W2000233346 cites W2104094083 @default.
- W2000233346 cites W2120706716 @default.
- W2000233346 cites W2164778826 @default.
- W2000233346 cites W65909600 @default.
- W2000233346 cites W97081472 @default.
- W2000233346 doi "https://doi.org/10.1016/s1571-0653(04)00330-0" @default.
- W2000233346 hasPublicationYear "2001" @default.
- W2000233346 type Work @default.
- W2000233346 sameAs 2000233346 @default.
- W2000233346 citedByCount "2" @default.
- W2000233346 crossrefType "journal-article" @default.
- W2000233346 hasAuthorship W2000233346A5017507614 @default.
- W2000233346 hasAuthorship W2000233346A5073459213 @default.
- W2000233346 hasConcept C108710211 @default.
- W2000233346 hasConcept C114614502 @default.
- W2000233346 hasConcept C118615104 @default.
- W2000233346 hasConcept C134306372 @default.
- W2000233346 hasConcept C165696696 @default.
- W2000233346 hasConcept C17231256 @default.
- W2000233346 hasConcept C199360897 @default.
- W2000233346 hasConcept C206880738 @default.
- W2000233346 hasConcept C2524010 @default.
- W2000233346 hasConcept C2776411971 @default.
- W2000233346 hasConcept C33923547 @default.
- W2000233346 hasConcept C38652104 @default.
- W2000233346 hasConcept C39920170 @default.
- W2000233346 hasConcept C41008148 @default.
- W2000233346 hasConcept C42812 @default.
- W2000233346 hasConcept C80444323 @default.
- W2000233346 hasConceptScore W2000233346C108710211 @default.
- W2000233346 hasConceptScore W2000233346C114614502 @default.
- W2000233346 hasConceptScore W2000233346C118615104 @default.
- W2000233346 hasConceptScore W2000233346C134306372 @default.
- W2000233346 hasConceptScore W2000233346C165696696 @default.
- W2000233346 hasConceptScore W2000233346C17231256 @default.
- W2000233346 hasConceptScore W2000233346C199360897 @default.
- W2000233346 hasConceptScore W2000233346C206880738 @default.
- W2000233346 hasConceptScore W2000233346C2524010 @default.
- W2000233346 hasConceptScore W2000233346C2776411971 @default.
- W2000233346 hasConceptScore W2000233346C33923547 @default.
- W2000233346 hasConceptScore W2000233346C38652104 @default.
- W2000233346 hasConceptScore W2000233346C39920170 @default.
- W2000233346 hasConceptScore W2000233346C41008148 @default.
- W2000233346 hasConceptScore W2000233346C42812 @default.
- W2000233346 hasConceptScore W2000233346C80444323 @default.
- W2000233346 hasLocation W20002333461 @default.
- W2000233346 hasOpenAccess W2000233346 @default.
- W2000233346 hasPrimaryLocation W20002333461 @default.
- W2000233346 hasRelatedWork W1520286155 @default.
- W2000233346 hasRelatedWork W1528431394 @default.
- W2000233346 hasRelatedWork W1548345516 @default.
- W2000233346 hasRelatedWork W1554395982 @default.
- W2000233346 hasRelatedWork W1781438572 @default.
- W2000233346 hasRelatedWork W1850909982 @default.
- W2000233346 hasRelatedWork W2015546518 @default.
- W2000233346 hasRelatedWork W2336920144 @default.
- W2000233346 hasRelatedWork W2338301088 @default.
- W2000233346 hasRelatedWork W2594371966 @default.
- W2000233346 hasRelatedWork W2617522286 @default.
- W2000233346 hasRelatedWork W2626744392 @default.
- W2000233346 hasRelatedWork W2913667992 @default.
- W2000233346 hasRelatedWork W2943910961 @default.
- W2000233346 hasRelatedWork W2999767359 @default.
- W2000233346 hasRelatedWork W3013377374 @default.
- W2000233346 hasRelatedWork W3101395968 @default.
- W2000233346 hasRelatedWork W3175856623 @default.
- W2000233346 hasRelatedWork W3188732312 @default.
- W2000233346 hasRelatedWork W424728294 @default.
- W2000233346 isParatext "false" @default.
- W2000233346 isRetracted "false" @default.
- W2000233346 magId "2000233346" @default.
- W2000233346 workType "article" @default.