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.
