## Stem subsumpt$ (all stems)

### 33 papers:

- SAC-2015-RegoMP #approach #detection #folksonomy #learning
- A supervised learning approach to detect subsumption relations between tags in folksonomies (ASdCR, LBM, CESP), pp. 409–415.
- LATA-2013-HashimotoSISF #bottom-up #transducer
- Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers (KH, RS, YI, HS, TF), pp. 335–346.
- GRAPHITE-2012-ZambonR #graph
- Graph Subsumption in Abstract State Space Exploration (EZ, AR), pp. 35–49.
- SEKE-2012-GregoireR #component
- Disabling Subsumptions in a Logic-Based Component (ÉG, SR), pp. 243–248.
- SIGMOD-2011-TekleL #datalog #performance #query #set
- More efficient datalog queries: subsumptive tabling beats magic sets (KTT, YAL), pp. 661–672.
- ICLP-J-2011-CruzR #evaluation #logic programming #performance #retrieval #source code
- Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs (FC, RR), pp. 697–712.
- ICLP-J-2011-RiguzziS #nondeterminism #reasoning
- The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.
- KR-2010-QiZ #semantics
- Preferential Semantics for Plausible Subsumption in Possibility Theory (GQ, ZZ).
- CAV-2010-AbdullaCCHHMV #automaton #simulation #testing
- Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing (PAA, YFC, LC, LH, CDH, RM, TV), pp. 132–147.
- ICLP-2010-RiguzziS10 #logic programming #reasoning #source code
- Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (FR, TS), pp. 162–171.
- ICLP-2010-SantosM10 #named #prolog
- Subsumer: A Prolog theta-subsumption engine (JS, SM), pp. 172–181.
- ICEIS-AIDSS-2008-LampertiVZ #on the #similarity
- On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems (GL, FV, MZ), pp. 44–53.
- KR-2008-BritzHM #semantics
- Semantic Preferential Subsumption (KB, JH, TAM), pp. 476–484.
- KR-2008-EyerichBN #complexity #on the
- On the Complexity of Planning Operator Subsumption (PE, MB, BN), pp. 518–527.
- SAT-2005-Zhang #on the #on the fly
- On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.
- SAT-2002-EglyWP #on the #problem
- On deciding subsumption problems (UE, SW, RP), p. 36.
- POPL-2001-Vouillon #calculus
- Combining subsumption and binary methods: an object calculus with views (JV), pp. 290–303.
- FLOPS-1999-JohnsonRRR #evaluation #logic programming #performance #source code
- A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs (EJ, CRR, IVR, PR), pp. 284–300.
- TAGT-1998-KreowskiV
- Redundancy and Subsumption in High-Level Replacement Systems (HJK, GV), pp. 215–227.
- CADE-1998-Tammet #performance #towards
- Towards Efficient Subsumption (TT), pp. 427–441.
- CSL-1998-Pichler #complexity #on the
- On the Complexity of H-Subsumption (RP), pp. 355–371.
- JICSLP-1998-RaoRR #on the #scheduling
- On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution (PR, CRR, IVR), pp. 310–324.
- ICALP-1997-Dami #fault #reduction #runtime
- Labelled Reductions, Runtime Errors and Operational Subsumption (LD), pp. 782–793.
- EDOC-1997-Murray #architecture #distributed
- The Subsumption Architecture: Distributed Control for Business Objects (DM), pp. 23–27.
- ICML-1994-KietzL #algorithm #induction #logic programming #performance
- An Efficient Subsumption Algorithm for Inductive Logic Programming (JUK, ML), pp. 130–138.
- ML-1992-ConklinG
- Spatial Analogy and Subsumption (DC, JIG), pp. 111–116.
- PLILP-1992-BarthelemyC #automaton
- Subsumption-oriented Push-Down Automata (FB, EVdlC), pp. 100–114.
- KR-1991-Castaing #formal method #representation
- A New Formalisation of Subsumption in Frame-Based Representation Systems (JC), pp. 78–88.
- ML-1991-MahadevanC #architecture #learning #scalability
- Scaling Reinforcement Learning to Robotics by Exploiting the Subsumption Architecture (SM, JC), pp. 328–332.
- LICS-1990-DorreR #algebra #on the
- On Subsumption and Semiunification in Feature Algebras (JD, WCR), pp. 300–310.
- KR-1989-Schmidt-Schauss #decidability
- Subsumption in KL-ONE is Undecidable (MSS), pp. 421–431.
- CADE-1988-Socher #algorithm #matrix
- A Subsumption Algorithm Based on Characteristic Matrices (RS), pp. 573–581.
- SLP-1986-HoddinottE86 #axiom #named #prolog #similarity
- PROLOG: Subsumption of Equality Axioms by the Homogeneous Form (PH, EWE), pp. 115–126.