Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091346145> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2091346145 abstract "Mode-directed tabling amounts to using table modes to control what arguments are used in variant checking of subgoals and how answers are tabled. A mode can be min, max, + (input), (output), or nt (non-tabled). While the traditional table-all approach to tabling is good for finding all answers, mode-directed tabling is well suited to dynamic programming problems that require selective answers. In this paper, we present three application examples of mode-directed tabling, namely, (1) hydraulic system planning, a dynamic programming problem, (2) the Viterbi algorithm in PRISM, a probabilistic logic reasoning and learning system, and (3) constraint checking in evaluating Answer Set Programs (ASP). For the Viterbi application, the feature of enabling a cardinality limit in a table mode declaration plays an important role. For a PRISM program and a set of data, the explanations may be too large to be completely stored and the cardinality limit allows for Viterbi inference based on a subset of explanations. The mode nt, which specifies an argument that can participate in the computation of a tabled predicate but is never tabled either in subgoal or answer tabling, is useful in constraint checking for the Hamilton cycle problem encoded as an ASP. These examples demonstrate the usefulness of mode-directed tabling." @default.
- W2091346145 created "2016-06-24" @default.
- W2091346145 creator A5008511813 @default.
- W2091346145 creator A5019997517 @default.
- W2091346145 creator A5071365443 @default.
- W2091346145 date "2010-10-01" @default.
- W2091346145 modified "2023-09-24" @default.
- W2091346145 title "Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving" @default.
- W2091346145 cites W1518458436 @default.
- W2091346145 cites W1522225310 @default.
- W2091346145 cites W1550020009 @default.
- W2091346145 cites W1561578420 @default.
- W2091346145 cites W1853447346 @default.
- W2091346145 cites W1997189447 @default.
- W2091346145 cites W1997210046 @default.
- W2091346145 cites W2011124182 @default.
- W2091346145 cites W2070598037 @default.
- W2091346145 cites W2075185101 @default.
- W2091346145 cites W2097474199 @default.
- W2091346145 cites W2101335378 @default.
- W2091346145 cites W2119766618 @default.
- W2091346145 cites W2125838338 @default.
- W2091346145 cites W2151120711 @default.
- W2091346145 cites W4251197763 @default.
- W2091346145 doi "https://doi.org/10.1109/ictai.2010.103" @default.
- W2091346145 hasPublicationYear "2010" @default.
- W2091346145 type Work @default.
- W2091346145 sameAs 2091346145 @default.
- W2091346145 citedByCount "22" @default.
- W2091346145 countsByYear W20913461452012 @default.
- W2091346145 countsByYear W20913461452013 @default.
- W2091346145 countsByYear W20913461452014 @default.
- W2091346145 countsByYear W20913461452015 @default.
- W2091346145 countsByYear W20913461452016 @default.
- W2091346145 countsByYear W20913461452017 @default.
- W2091346145 countsByYear W20913461452018 @default.
- W2091346145 countsByYear W20913461452019 @default.
- W2091346145 crossrefType "proceedings-article" @default.
- W2091346145 hasAuthorship W2091346145A5008511813 @default.
- W2091346145 hasAuthorship W2091346145A5019997517 @default.
- W2091346145 hasAuthorship W2091346145A5071365443 @default.
- W2091346145 hasBestOaLocation W20913461452 @default.
- W2091346145 hasConcept C111919701 @default.
- W2091346145 hasConcept C11413529 @default.
- W2091346145 hasConcept C126255220 @default.
- W2091346145 hasConcept C128838566 @default.
- W2091346145 hasConcept C137631369 @default.
- W2091346145 hasConcept C173404611 @default.
- W2091346145 hasConcept C199360897 @default.
- W2091346145 hasConcept C33923547 @default.
- W2091346145 hasConcept C37404715 @default.
- W2091346145 hasConcept C41008148 @default.
- W2091346145 hasConcept C48677424 @default.
- W2091346145 hasConcept C80444323 @default.
- W2091346145 hasConcept C81721847 @default.
- W2091346145 hasConceptScore W2091346145C111919701 @default.
- W2091346145 hasConceptScore W2091346145C11413529 @default.
- W2091346145 hasConceptScore W2091346145C126255220 @default.
- W2091346145 hasConceptScore W2091346145C128838566 @default.
- W2091346145 hasConceptScore W2091346145C137631369 @default.
- W2091346145 hasConceptScore W2091346145C173404611 @default.
- W2091346145 hasConceptScore W2091346145C199360897 @default.
- W2091346145 hasConceptScore W2091346145C33923547 @default.
- W2091346145 hasConceptScore W2091346145C37404715 @default.
- W2091346145 hasConceptScore W2091346145C41008148 @default.
- W2091346145 hasConceptScore W2091346145C48677424 @default.
- W2091346145 hasConceptScore W2091346145C80444323 @default.
- W2091346145 hasConceptScore W2091346145C81721847 @default.
- W2091346145 hasLocation W20913461451 @default.
- W2091346145 hasLocation W20913461452 @default.
- W2091346145 hasOpenAccess W2091346145 @default.
- W2091346145 hasPrimaryLocation W20913461451 @default.
- W2091346145 hasRelatedWork W1504500318 @default.
- W2091346145 hasRelatedWork W1596719193 @default.
- W2091346145 hasRelatedWork W1600568876 @default.
- W2091346145 hasRelatedWork W174391260 @default.
- W2091346145 hasRelatedWork W1964013298 @default.
- W2091346145 hasRelatedWork W1996683955 @default.
- W2091346145 hasRelatedWork W2089642402 @default.
- W2091346145 hasRelatedWork W2348463574 @default.
- W2091346145 hasRelatedWork W4303968908 @default.
- W2091346145 hasRelatedWork W4380901377 @default.
- W2091346145 isParatext "false" @default.
- W2091346145 isRetracted "false" @default.
- W2091346145 magId "2091346145" @default.
- W2091346145 workType "article" @default.