number* restriction*OKVerónica BecherEda CesarattoOn the number of words with restrictions on the number of symbols.Adv. Appl. Math.1361023212022Journal Articlesclosedjournals/aam/BecherC2210.1016/J.AAM.2022.102321https://doi.org/10.1016/j.aam.2022.102321https://dblp.org/rec/journals/aam/BecherC22URL#570722Bin Chen 0020An ChangTurán number of 3-free strong digraphs with out-degree restriction.Discret. Appl. Math.314252-2642022Journal Articlesclosedjournals/dam/ChenC2210.1016/J.DAM.2022.03.009https://doi.org/10.1016/j.dam.2022.03.009https://dblp.org/rec/journals/dam/ChenC22URL#615302Nikolai N. PetrovMultiple Capture of a Given Number of Evaders in the Problem of Simple Pursuit with Phase Restrictions on Timescales.Dyn. Games Appl.122632-6422022Journal Articlesclosedjournals/dga/Petrov2210.1007/S13235-021-00387-Yhttps://doi.org/10.1007/s13235-021-00387-yhttps://dblp.org/rec/journals/dga/Petrov22URL#616483Yue XiangXuan WuChang LuYizheng ZhaoCreating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions.WWW808-8172022Conference and Workshop Papersclosedconf/www/XiangWLZ2210.1145/3485447.3511924https://doi.org/10.1145/3485447.3511924https://dblp.org/rec/conf/www/XiangWLZ22URL#950901Camelia DelceaR. John MilneLiviu-Adrian CotfasDetermining the Number of Passengers for Each of Three Reverse Pyramid Boarding Groups with COVID-19 Flying Restrictions.Symmetry121220382020Journal Articlesopenjournals/symmetry/DelceaMC2010.3390/SYM12122038https://doi.org/10.3390/sym12122038https://dblp.org/rec/journals/symmetry/DelceaMC20URL#1657275Antoine AmarilliMichael BenediktFinite Open-world Query Answering with Number Restrictions.ACM Trans. Comput. Log.21427:1-27:732020Journal Articlesclosedjournals/tocl/AmarilliB2010.1145/3365834https://doi.org/10.1145/3365834https://dblp.org/rec/journals/tocl/AmarilliB20URL#1677627Diego CalvaneseJulien CormanDavide LantiSimon RazniewskiRewriting Count Queries over DL-Lite TBoxes with Number Restrictions.Description Logics2020Conference and Workshop Papersopenconf/dlog/CalvaneseCLR20https://ceur-ws.org/Vol-2663/paper-7.pdfhttps://dblp.org/rec/conf/dlog/CalvaneseCLR20URL#1730039Antoine AmarilliMichael BenediktFinite Open-World Query Answering with Number Restrictions.CoRRabs/2003.025212020Informal and Other Publicationsopenjournals/corr/abs-2003-02521https://arxiv.org/abs/2003.02521https://dblp.org/rec/journals/corr/abs-2003-02521URL#1873812Tomasz GogaczVíctor Gutiérrez-BasultoYazmín Ibáñez-GarcíaJean Christoph JungFilip MurlakOn Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.CoRRabs/2010.115032020Informal and Other Publicationsopenjournals/corr/abs-2010-11503https://arxiv.org/abs/2010.11503https://dblp.org/rec/journals/corr/abs-2010-11503URL#1919521Clemens HeubergerDaniel KrennEsthetic Numbers and Lifting Restrictions on the Analysis of Summatory Functions of Regular Sequences.ANALCO27-352019Conference and Workshop Papersclosedconf/analco/HeubergerK1910.1137/1.9781611975505.3https://doi.org/10.1137/1.9781611975505.3https://dblp.org/rec/conf/analco/HeubergerK19URL#2118105Yizheng ZhaoRenate A. SchmidtFAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.CADE568-5792019Conference and Workshop Papersclosedconf/cade/ZhaoS1910.1007/978-3-030-29436-6_34https://doi.org/10.1007/978-3-030-29436-6_34https://dblp.org/rec/conf/cade/ZhaoS19URL#2129030Tomasz GogaczVíctor Gutiérrez-BasultoYazmín Ibáñez-GarcíaJean Christoph JungFilip MurlakOn Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.Description Logics2019Conference and Workshop Papersopenconf/dlog/GogaczGIJM19https://ceur-ws.org/Vol-2373/paper-47.pdfhttps://dblp.org/rec/conf/dlog/GogaczGIJM19URL#2151700Yizheng ZhaoRenate A. SchmidtOn Concept Forgetting in Description Logics with Qualified Number Restrictions.Description Logics2019Conference and Workshop Papersopenconf/dlog/ZhaoS19https://ceur-ws.org/Vol-2373/paper-56.pdfhttps://dblp.org/rec/conf/dlog/ZhaoS19URL#2151725Tomasz GogaczVíctor Gutiérrez-BasultoYazmín Ibáñez-GarcíaJean Christoph JungFilip MurlakOn Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.IJCAI1719-17252019Conference and Workshop Papersopenconf/ijcai/GogaczGIJM1910.24963/IJCAI.2019/238https://doi.org/10.24963/ijcai.2019/238https://dblp.org/rec/conf/ijcai/GogaczGIJM19URL#2218543Andrew BateBoris MotikBernardo Cuenca GrauDavid Tena CucalaFrantisek SimancikIan Horrocks 0001Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.J. Artif. Intell. Res.63625-6902018Journal Articlesopenjournals/jair/BateMGCSH1810.1613/JAIR.1.11257https://doi.org/10.1613/jair.1.11257https://dblp.org/rec/journals/jair/BateMGCSH18URL#2430543David Tena CucalaBernardo Cuenca GrauIan Horrocks 0001Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.IJCAI1970-19762018Conference and Workshop Papersopenconf/ijcai/CucalaGH1810.24963/IJCAI.2018/272https://doi.org/10.24963/ijcai.2018/272https://dblp.org/rec/conf/ijcai/CucalaGH18URL#2609159Yizheng ZhaoRenate A. SchmidtOn Concept Forgetting in Description Logics with Qualified Number Restrictions.IJCAI1984-19902018Conference and Workshop Papersopenconf/ijcai/ZhaoS1810.24963/IJCAI.2018/274https://doi.org/10.24963/ijcai.2018/274https://dblp.org/rec/conf/ijcai/ZhaoS18URL#2609954David Tena CucalaBernardo Cuenca GrauIan Horrocks 0001Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.CoRRabs/1805.013962018Informal and Other Publicationsopenjournals/corr/abs-1805-01396http://arxiv.org/abs/1805.01396https://dblp.org/rec/journals/corr/abs-1805-01396URL#2701072Víctor Gutiérrez-BasultoYazmín Angélica Ibáñez-GarcíaJean Christoph JungNumber Restrictions on Transitive Roles in Description Logics with Nominals.AAAI1121-11272017Conference and Workshop Papersopenconf/aaai/Gutierrez-Basulto1710.1609/AAAI.V31I1.10678https://doi.org/10.1609/aaai.v31i1.10678https://dblp.org/rec/conf/aaai/Gutierrez-Basulto17URL#2866790Víctor Gutiérrez-BasultoYazmín Angélica Ibáñez-GarcíaJean Christoph JungOn Query Answering in Description Logics with Number Restrictions on Transitive Roles.Description Logics2017Conference and Workshop Papersopenconf/dlog/Gutierrez-Basulto17https://ceur-ws.org/Vol-1879/paper14.pdfhttps://dblp.org/rec/conf/dlog/Gutierrez-Basulto17URL#2906349Mohamed MkaouarBeatty sequences and prime numbers with restrictions on strongly q-additive functions.Period. Math. Hung.722139-1502016Journal Articlesclosedjournals/pmh/Mkaouar1610.1007/S10998-016-0114-7https://doi.org/10.1007/s10998-016-0114-7https://dblp.org/rec/journals/pmh/Mkaouar16URL#3161098Antoine AmarilliMichael BenediktFinite Open-World Query Answering with Number Restrictions.LICS305-3162015Conference and Workshop Papersclosedconf/lics/AmarilliB1510.1109/LICS.2015.37https://doi.org/10.1109/LICS.2015.37https://dblp.org/rec/conf/lics/AmarilliB15URL#3618928Antoine AmarilliMichael BenediktFinite Open-World Query Answering with Number Restrictions (Extended Version).CoRRabs/1505.042162015Informal and Other Publicationsopenjournals/corr/AmarilliB15ahttp://arxiv.org/abs/1505.04216https://dblp.org/rec/journals/corr/AmarilliB15aURL#3671233Linh Anh NguyenJoanna Golinska-PilarekAn ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.Fundam. Informaticae1354433-4492014Journal Articlesclosedjournals/fuin/NguyenG1410.3233/FI-2014-1133https://doi.org/10.3233/FI-2014-1133https://dblp.org/rec/journals/fuin/NguyenG14URL#3727118Caihong ZhengXuexia MiaoYanen LiYing HuangJue RuanXi MaLi WangChung-I WuJun CaiDetermination of genomic copy number alteration emphasizing a restriction site-based strategy of genome re-sequencing.Bioinform.29222813-28212013Journal Articlesclosedjournals/bioinformatics/ZhengMLHRMWWC1310.1093/BIOINFORMATICS/BTT481https://doi.org/10.1093/bioinformatics/btt481https://dblp.org/rec/journals/bioinformatics/ZhengMLHRMWWC13URL#3997615Linh Anh NguyenJoanna Golinska-PilarekAn ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.CS&P296-3082013Conference and Workshop Papersopenconf/csp/NguyenG13https://ceur-ws.org/Vol-1032/paper-26.pdfhttps://dblp.org/rec/conf/csp/NguyenG13URL#4122842Marco A. CasanovaKarin Koogan BreitmanAntónio L. Furtado 0001Vânia Maria Ponte VidalJosé Antônio Fernandes de MacêdoEveline R. SacramentoConstraint Reuse in DL-Lite Core with Arbitrary Number Restrictions.AMW2-112012Conference and Workshop Papersopenconf/amw/CasanovaBFVMS12https://ceur-ws.org/Vol-866/keynote2.pdfhttps://dblp.org/rec/conf/amw/CasanovaBFVMS12URL#4375333Przemyslaw GrzegorzewskiKarolina Pasternak-WiniarskaTrapezoidal approximations of fuzzy numbers with restrictions on the support and core.EUSFLAT Conf.749-7562011Conference and Workshop Papersopenconf/eusflat/GrzegorzewskiP1110.2991/EUSFLAT.2011.117https://doi.org/10.2991/eusflat.2011.117https://dblp.org/rec/conf/eusflat/GrzegorzewskiP11URL#4665661Nasim FarsiniamarjVolker HaarslevPractical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H.AI Commun.232-3205-2402010Journal Articlesclosedjournals/aicom/FarsiniamarjH1010.3233/AIC-2010-0456https://doi.org/10.3233/AIC-2010-0456https://dblp.org/rec/journals/aicom/FarsiniamarjH10URL#4786572Mark KaminskiGert SmolkaTerminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles.IFIP TCS213-2282010Conference and Workshop Papersopenconf/ifipTCS/KaminskiS1010.1007/978-3-642-15240-5_16https://doi.org/10.1007/978-3-642-15240-5_16https://dblp.org/rec/conf/ifipTCS/KaminskiS10URL#4938597Saptarshi Ghosh 0001Gautam KorlamNiloy GangulyThe Effects of Restrictions on Number of Connections in OSNs: A Case-Study on Twitter.WOSN2010Conference and Workshop Papersclosedconf/wosn/GhoshKG10https://www.usenix.org/conference/wosn-2010/effects-restrictions-number-connections-osns-case-study-twitterhttps://dblp.org/rec/conf/wosn/GhoshKG10URL#4992127Nasim FarsiniaVolker HaarslevOptimizing Reasoning with Qualified Number Restrictions in SHQ.Description Logics2009Conference and Workshop Papersopenconf/dlog/FarsiniaH09https://ceur-ws.org/Vol-477/paper_50.pdfhttps://dblp.org/rec/conf/dlog/FarsiniaH09URL#5123272Mark KaminskiGert SmolkaTerminating Tableaux for SOQ with Number Restrictions on Transitive Roles.Description Logics2009Conference and Workshop Papersopenconf/dlog/KaminskiS09https://ceur-ws.org/Vol-477/paper_41.pdfhttps://dblp.org/rec/conf/dlog/KaminskiS09URL#5123282Xiaofeng HuJinsong BaoJin YeOn a parallel machine scheduling problem with precedence constraints and machine number restrictions.ESA265-2672008Conference and Workshop Papersunavailableconf/csreaESA/HuJY08https://dblp.org/rec/conf/csreaESA/HuJY08URL#5333390Wei ZhangJunming QinJu Wang 0005Yuncheng JiangComputing the Number Restriction Deduced from the Existential Restriction in Description Logic with Primitive Negation, Existential Restriction and Number Restriction.FSKD536-5402008Conference and Workshop Papersclosedconf/fskd/ZhangQWJ0810.1109/FSKD.2008.119https://doi.org/10.1109/FSKD.2008.119https://dblp.org/rec/conf/fskd/ZhangQWJ08URL#5347512Lutz SchröderDirk PattinsonHow Many Toes Do I Have? Parthood and Number Restrictions in Description Logics.KR307-3172008Conference and Workshop Papersopenconf/kr/SchroderP08http://www.aaai.org/Library/KR/2008/kr08-030.phphttps://dblp.org/rec/conf/kr/SchroderP08URL#5391587Hui-Chin TangAn analysis of linear congruential random number generators when multiplier restrictions exist.Eur. J. Oper. Res.1822820-8282007Journal Articlesclosedjournals/eor/Tang0710.1016/J.EJOR.2006.08.055https://doi.org/10.1016/j.ejor.2006.08.055https://dblp.org/rec/journals/eor/Tang07URL#5460293Hui-sheng GaoJing-xue RanYi-qun SunApplication of Restriction Coefficient in Optimal Comparison of Triangle Fuzzy Numbers.FSKD523-5272007Conference and Workshop Papersclosedconf/fskd/GaoRS0710.1109/FSKD.2007.181https://doi.org/10.1109/FSKD.2007.181https://dblp.org/rec/conf/fskd/GaoRS07URL#5541616Yevgeny KazakovUlrike SattlerEvgeny ZolinHow Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited.LPAR303-3172007Conference and Workshop Papersclosedconf/lpar/KazakovSZ0710.1007/978-3-540-75560-9_23https://doi.org/10.1007/978-3-540-75560-9_23https://dblp.org/rec/conf/lpar/KazakovSZ07URL#5586792Shamima MithunLeila KosseimVolker HaarslevResolving Quantifier and Number Restriction to Question OWL Ontologies.SKG218-2232007Conference and Workshop Papersclosedconf/skg/MithunKH0710.1109/SKG.2007.147https://doi.org/10.1109/SKG.2007.147https://dblp.org/rec/conf/skg/MithunKH07URL#5606443Nicola FanizziLuigi IannoneNicola Di MauroFloriana EspositoTractable Feature Generation Through Description Logics with Value and Number Restrictions.IEA/AIE629-6382006Conference and Workshop Papersclosedconf/ieaaie/FanizziIME0610.1007/11779568_68https://doi.org/10.1007/11779568_68https://dblp.org/rec/conf/ieaaie/FanizziIME06URL#5750594Ralf KüstersRalf MolitorStructural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.Stud Logica812227-2592005Journal Articlesclosedjournals/sLogica/KustersM0510.1007/S11225-005-3705-5https://doi.org/10.1007/s11225-005-3705-5https://dblp.org/rec/journals/sLogica/KustersM05URL#5847956Yevgeny KazakovA Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.JELIA372-3842004Conference and Workshop Papersclosedconf/jelia/Kazakov0410.1007/978-3-540-30227-8_32https://doi.org/10.1007/978-3-540-30227-8_32https://dblp.org/rec/conf/jelia/Kazakov04URL#6069192Tetsushi YugeMasaharu DehareShigeru YanagiReliability of a 2-Dimensional Consecutive k-out-of-n: F System with a Restriction in the Number of Failed Components.IEICE Trans. Fundam. Electron. Commun. Comput. Sci.86-A61535-15402003Journal Articlesclosedjournals/ieiceta/YugeDY03http://search.ieice.org/bin/summary.php?id=e86-a_6_1535https://dblp.org/rec/journals/ieiceta/YugeDY03URL#6115253Fabio Grandi 0001On Decidability of Expressive Description Logics with Composition of Roles in Number RestrictionsCoRRcs.LO/03080292003Informal and Other Publicationsopenjournals/corr/cs-LO-0308029http://arxiv.org/abs/cs/0308029https://dblp.org/rec/journals/corr/cs-LO-0308029URL#6213937Ian Horrocks 0001Backtracking and Qualified Number Restrictions: Some Preliminary Results.Description Logics2002Conference and Workshop Papersopenconf/dlog/Horrocks02https://ceur-ws.org/Vol-53/horrocks.pshttps://dblp.org/rec/conf/dlog/Horrocks02URL#6266937Fabio Grandi 0001On Expressive Description Logics with Composition of Roles in Number Restrictions.LPAR202-2152002Conference and Workshop Papersclosedconf/lpar/Grandi0210.1007/3-540-36078-6_14https://doi.org/10.1007/3-540-36078-6_14https://dblp.org/rec/conf/lpar/Grandi02URL#6294731Fabio Grandi 0001On Expressive Number Restrictions in Description Logics.Description Logics2001Conference and Workshop Papersopenconf/dlog/Grandi01https://ceur-ws.org/Vol-49/Grandi-56start.pshttps://dblp.org/rec/conf/dlog/Grandi01URL#6360080Volker HaarslevRalf Möller 0001Optimizing Reasoning in Description Logics with Qualified Number Restrictions.Description Logics2001Conference and Workshop Papersopenconf/dlog/HaarslevM01ahttps://ceur-ws.org/Vol-49/HaarslevMoeller-142start.pshttps://dblp.org/rec/conf/dlog/HaarslevM01aURL#6360083Volker HaarslevMartina TimmannRalf Möller 0001Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.Description Logics2001Conference and Workshop Papersopenconf/dlog/HaarslevTM01https://ceur-ws.org/Vol-49/HaarslevTimmannMoeller-152start.pshttps://dblp.org/rec/conf/dlog/HaarslevTM01URL#6360084Brendan D. McKayIan M. WanlessNicholas C. WormaldThe asymptotic number of graphs with a restriction on the maximum degree.Electron. Notes Discret. Math.5228-2302000Journal Articlesclosedjournals/endm/McKayWW0010.1016/S1571-0653(05)80171-4https://doi.org/10.1016/S1571-0653(05)80171-4https://dblp.org/rec/journals/endm/McKayWW00URL#6409615Volker HaarslevRalf Möller 0001Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.KR273-2842000Conference and Workshop Papersunavailableconf/kr/HaarslevM00https://dblp.org/rec/conf/kr/HaarslevM00URL#6465987Franz BaaderUlrike SattlerExpressive Number Restrictions in Description Logics.J. Log. Comput.93319-3501999Journal Articlesclosedjournals/logcom/BaaderS9910.1093/LOGCOM/9.3.319https://doi.org/10.1093/logcom/9.3.319https://dblp.org/rec/journals/logcom/BaaderS99URL#6500315Peter FranklKatsuhiro OtaNorihide TokushigeUniform Intersecting Families with Covering Number Restrictions.Comb. Probab. Comput.7147-561998Journal Articlesclosedjournals/cpc/FranklOT98http://journals.cambridge.org/action/displayAbstract?aid=46579https://dblp.org/rec/journals/cpc/FranklOT98URL#6558484Hans Jürgen OhlbachJana KoehlerRole Hierarchies and Number Restrictions.Description Logics1997Conference and Workshop Papersopenconf/dlog/OhlbachK97http://dl.kr.org/dl97/proceedings/ohlbach.ps.gzhttps://dblp.org/rec/conf/dlog/OhlbachK97URL#6649506Franz BaaderUlrike SattlerNumber Restrictions on Complex Roles in Description Logics: A Preliminary Report.Description Logics3-141996Conference and Workshop Papersunavailableconf/dlog/BaaderS96https://dblp.org/rec/conf/dlog/BaaderS96URL#6704387Franz BaaderUlrike SattlerDescription Logics with Symbolic Number Restrictions.ECAI283-2871996Conference and Workshop Papersunavailableconf/ecai/BaaderS96https://dblp.org/rec/conf/ecai/BaaderS96URL#6704528Franz BaaderUlrike SattlerNumber Restrictions on Complex Roles in Description Logics: A Preliminary Report.KR328-3391996Conference and Workshop Papersunavailableconf/kr/BaaderS96https://dblp.org/rec/conf/kr/BaaderS96URL#6717848Aida VitóriaMargarida MamedeLuís MonteiroThe Retrieval Problem in a Concept Language with Number Restrictions.EPIA69-821995Conference and Workshop Papersclosedconf/epia/VitoriaMM9510.1007/3-540-60428-6_6https://doi.org/10.1007/3-540-60428-6_6https://dblp.org/rec/conf/epia/VitoriaMM95URL#6754766Giuseppe De GiacomoMaurizio LenzeriniConcept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.ECAI411-4151994Conference and Workshop Papersunavailableconf/ecai/GiacomoL94https://dblp.org/rec/conf/ecai/GiacomoL94URL#6800660Bernhard HollunderFranz BaaderQualifying Number Restrictions in Concept Languages.KR335-3461991Conference and Workshop Papersunavailableconf/kr/HollunderB91https://dblp.org/rec/conf/kr/HollunderB91URL#6920960Peter F. Patel-SchneiderAdding Number Restrictions to a Four-Valued Terminological Logic.AAAI485-4901988Conference and Workshop Papersunavailableconf/aaai/Patel-Schneider88http://www.aaai.org/Library/AAAI/1988/aaai88-086.phphttps://dblp.org/rec/conf/aaai/Patel-Schneider88URL#6990269Juraj HromkovicFooling a Two-Way Nondeterministic Multihead Automaton with Reversal Number Restriction.Acta Informatica225589-5941985Journal Articlesclosedjournals/acta/Hromkovic8510.1007/BF00267046https://doi.org/10.1007/BF00267046https://dblp.org/rec/journals/acta/Hromkovic85URL#7035662