caa a22 4500 46318274X CHVBK 20180406164843.0 cr unu---uuuuu 170326e20070401xx s 000 0 eng 10.1007/s10817-006-9054-x doi (NATIONALLICENCE)springer-10.1007/s10817-006-9054-x Efficient Query Processing with Reduced Implicate Tries [Elektronische Daten] [Neil Murray, Erik Rosenthal] The goal of knowledge compilation is to enable fast queries. Prior approaches had the goal of small (i.e., polynomial in the size of the initial knowledge bases) compiled knowledge bases. Typically, query-response time is linear, so that the efficiency of querying the compiled knowledge base depends on its size. In this paper, a target for knowledge compilation called the ri-trie is introduced; it has the property that even if the knowledge bases are large, they nevertheless admit fast queries. Specifically, a query can be processed in time linear in the size of the query regardless of the size of the compiled knowledge base. Springer Science+Business Media, Inc., 2006 reduced implicate trie nationallicence query processing nationallicence knowledge base nationallicence Murray Neil Department of Computer Science, State University of New York, 12222, NY, Albany, USA aut Rosenthal Erik Department of Mathematics, University of New Haven, 06516, West Haven, CT, USA aut Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 155-172 0168-7433 38:1-3<155 2007 38 10817 https://doi.org/10.1007/s10817-006-9054-x text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s10817-006-9054-x text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Murray Neil Department of Computer Science, State University of New York, 12222, NY, Albany, USA aut NATIONALLICENCE 700 1- Rosenthal Erik Department of Mathematics, University of New Haven, 06516, West Haven, CT, USA aut NATIONALLICENCE 773 0- Journal of Automated Reasoning Kluwer Academic Publishers 38/1-3(2007-04-01), 155-172 0168-7433 38:1-3<155 2007 38 10817 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer