Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
165 | Michael McMullin, Terence Soule |
Constant versus variable arity operators in genetic programming. |
GECCO |
2010 |
DBLP DOI BibTeX RDF |
arity, genetic programming, operators |
88 | Stephanie Weirich, Chris Casinghino |
Arity-generic datatype-generic programming. |
PLPV |
2010 |
DBLP DOI BibTeX RDF |
agda, arity-generic programming, generic haskell, dependent types |
87 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and alternation: a proper hierarchy in higher order logics. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03C13, 68Q19, 03C85 |
87 | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
87 | John Hannan, Patrick Hicks |
Higher-Order Arity Raising. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
74 | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
Practical Variable-Arity Polymorphism. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
64 | Hadrien Cambazard, Barry O'Sullivan |
A Reformulation-Based Approach to Explanation in Constraint Satisfaction. |
SARA |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Sergei A. Romanenko |
Arity Raiser and its Use in Program Specialization. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
arity raiser, retyping, variable splitting, partial evaluation, specializer, compiler generator |
61 | Manfred Schmidt-Schauß |
Decidability of Arity-Bounded Higher-Order Matching. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
48 | George Katsirelos, Toby Walsh |
A Compression Algorithm for Large Arity Extensional Constraints. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
48 | Temur Kutsia |
Theorem Proving with Sequence Variables and Flexible Arity Symbols. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Henrik Imhof |
Computational Aspects of Arity Hierarchies. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Hsianlin Dzeng, Christopher T. Haynes |
Type Reconstruction for Variable-Arity Procedures. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
ML |
48 | Pratul Dublish, S. N. Maheshwari |
Expressibility of Bounded-Arity Fixed-Point Query Hierarchies. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
40 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra |
40 | Ke Wang, Weining Zhang, Siu-Cheung Chau |
Decomposition of Magic Rewriting. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
arity reduction, magic rewriting, database, logic program, deductive database, bottom-up evaluation, program decomposition |
39 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation. |
Constraints An Int. J. |
2008 |
DBLP DOI BibTeX RDF |
Table constraints, Explanation generation, Functional dependencies |
39 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Positive Table Constraints Using Functional Dependencies. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Nguyen Xuan Hoai, Robert I. McKay |
Softening the Structural Difficulty in Genetic Programming with TAG-Based Representation and Insertion/Deletion Operators. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Tomás Werner |
High-arity interactions, polyhedral relaxations, and cutting plane algorithm for soft constraint optimisation (MAP-MRF). |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Alberto Paccanaro |
Learning Distributed Representations of High-Arity Relational Data with Non-linear Relational Embedding. |
ICANN |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Temur Kutsia |
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. |
AISC |
2002 |
DBLP DOI BibTeX RDF |
|
35 | Dan Corbett |
A Case for Variable-Arity Relations: Definitions and Domains. |
ICCS |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Martin Grohe |
Bounded-Arity Hierarchies in Fixed-Point Logics. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
Types are calling conventions. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
arity, calling conventions, strictness, unboxing, uncurrying, intermediate language |
27 | Wissam Khalil |
More expressive extensions of TQL. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
constraints on unbound-arity trees, context-free tree languages, synchronized context-free tree languages, synchronized regular tree languages, the TQL logic |
26 | Nilesh N. Dalvi |
Query Evaluation on a Database Given by a Random Graph. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Asymptotic probabilities, Random graphs, Conjunctive queries |
26 | Wenfei Fan, Floris Geerts, Laks V. S. Lakshmanan, Ming Xiong |
Discovering Conditional Functional Dependencies. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On the Structure of Industrial SAT Instances. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Stephen Dignum, Riccardo Poli |
Sub-tree Swapping Crossover, Allele Diffusion and GP Convergence. |
PPSN |
2008 |
DBLP DOI BibTeX RDF |
Crossover Bias, Allele Diffusion, Genetic Programming, Search, Convergence |
26 | Nilesh N. Dalvi |
Query Evaluation on a Database Given by a Random Graph. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
26 | David A. Cohen, Peter Jeavons 0001, Stanislav Zivný |
The Expressive Power of Valued Constraints: Hierarchies and Collapses. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Jinkui Xie, Linpeng Huang |
Specification and Verification of Position Based Routing for Mobile Ad Hoc System. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jinkui Xie, Linpeng Huang |
Formal Description and Complexity Analysis of Routing in Mobile Ad Hoc System. |
PDCAT |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jorge Coelho 0001, Mário Florido |
CLP(Flex): Constraint Logic Programming Applied to XML Processing. |
CoopIS/DOA/ODBASE (2) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Frank Neven, Jan Van den Bussche |
Expressiveness of structured document query languages based on attribute grammars. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
complexity, logic, automata, Attribute grammars, structured documents |
26 | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001 |
A Constraint Directed Model for Partial Constraint Satisfaction Problems. |
AI |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Sabrina Mantaci, Daniele Micciancio |
An Algorithm for the Solution of Tree Equations. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Yaniv Bargury, Johann A. Makowsky |
The Expressive Power of Transitive Closue and 2-way Multihead Automata. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Patrick Bellot |
Unformly Applicative Structures, A Theory of Computability and Polyadic Functions. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
polyadicity, algorithmic, abstraction, computability, representability, recursive function, definability |
26 | Gerard Kiernan, Arnold Koltun, George Psihountas, Edward N. Schwartz |
Manhattanville College expert academic advisor - preliminary report (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Zapata-Carratalá, Xerxes D. Arsiwalla |
An Invitation to Higher Arity Science. |
Complex Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Thalea Schlender, Mafalda Malafaia, Tanja Alderliesten, Peter A. N. Bosman |
Improving the efficiency of GP-GOMEA for higher-arity operators. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Leonardo Nagami Coregliano, Maryanthe Malliaris |
High-arity PAC learning via exchangeability. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Carlos Zapata-Carratalá, Maximilian Schich, Taliesin Beynon, Xerxes D. Arsiwalla |
Hypermatrix Algebra and irreducible Arity in Higher-order Systems: Concepts and Perspectives. |
Adv. Complex Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Koutschan, Bernhard Moser 0001, Anton Ponomarchuk, Josef Schicho |
Representing Piecewise Linear Functions by Functions with Small Arity. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Antonio Bucciarelli, Antonino Salibra |
Clones, polymorphisms and relations of arity omega. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Fosco Loregiàn, Théo de Oliveira Santos |
Coends of Higher Arity. |
Appl. Categorical Struct. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Abeer M. Albalahi |
Characteristic Sequence of Strongly Minimal Directed Single Graphs of 1-Arity. |
Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Yukihiro Masuoka, Daisuke Kimura |
A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Mehdi Zaïdi |
Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
23 | Wei Yao, Ye Chen |
The arity of convex spaces. |
J. Intell. Fuzzy Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Mike Behrisch, Edith Vargas-García |
Centralising Monoids with Low-Arity Witnesses on a Four-Element Set. |
Symmetry |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Cristina Feier |
Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Aleksander Kiryk |
An algorithm for generating random mixed-arity trees. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
23 | Artem Chernikov, Henry Towsner |
Hypergraph regularity and higher arity VC-dimension. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
23 | Temur Kutsia, Cleo Pau |
Proximity-Based Unification with Arity Mismatch. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
23 | Ian Elmor Lang, Ziqiang Huang, Nachiket Kapre |
Exploring The Impact Of Switch Arity On Butterfly Fat Tree Fpga Nocs. |
FCCM |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Wei Xia, Roland H. C. Yap |
A Hybrid Dynamic Arity Search Heuristic for Constraint Programming. |
ICTAI |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Lucia Romani, Alberto Viscardi |
Dual Univariate Interpolatory Subdivision of Every Arity: Algebraic Characterization and Construction. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
23 | Dan Wang, Shao-Jun Yang, Xinyi Huang 0001 |
The Degree of Arity ≤ n About M-Fuzzifying Convex Space. |
FSDM |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Limited memory, limited arity unbiased black-box complexity: first insights. |
GECCO (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Kosuke Akimoto, Takuya Hiraoka, Kunihiko Sadamasa, Mathias Niepert |
Cross-Sentence N-ary Relation Extraction using Lower-Arity Universal Schemas. |
EMNLP/IJCNLP (1) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sunny Lai, Chun Hei Lo, Kwong-Sak Leung, Yee Leung |
CUHK at MRP 2019: Transition-Based Parser with Cross-Framework Variable-Arity Resolve Action. |
CoNLL Shared Task |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Fan-Hong Chen, Chong Shen 0003, Fu-Gui Shi |
A new approach to the fuzzification of arity, JHC and CUP of L-convexities. |
J. Intell. Fuzzy Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Joachim Breitner |
Call Arity. |
Comput. Lang. Syst. Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Better Fixed-Arity Unbiased Black-Box Algorithms. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | Patrick Ernst, Amy Siu, Gerhard Weikum |
HighLife: Higher-arity Fact Harvesting. |
WWW |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Nina Bulanova, Maxim Buzdalov 0001 |
Better fixed-arity unbiased black-box algorithms. |
GECCO (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Hajime Machida, Ivo G. Rosenberg |
Commutation for Functions of Small Arity Over a Finite Set. |
ISMVL |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Raine Rönnholm |
Arity Fragments of Logics with Team Semantics ; Paikkalukujen määräämät alilogiikat tiimisemantiikassa. |
|
2018 |
RDF |
|
23 | Achref El Mouelhi |
Tractable classes for CSPs of arbitrary arity: from theory to practice. |
Constraints An Int. J. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Hajime Machida, Ivo G. Rosenberg |
Centralizing Monoids and the Arity of Witnesses. |
ISMVL |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen |
On the Arity Gap of Finite Functions: Results and Applications. |
J. Multiple Valued Log. Soft Comput. |
2016 |
DBLP BibTeX RDF |
|
23 | Martin C. Cooper, Aymeric Duchein, Achref El Mouelhi, Guillaume Escamocher, Cyril Terrioux, Bruno Zanuttini |
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
A Survey on the Arity Gap. |
J. Multiple Valued Log. Soft Comput. |
2015 |
DBLP BibTeX RDF |
|
23 | Neeraj Kayal, Chandan Saha 0001 |
Lower Bounds for Sums of Products of Low arity Polynomials. |
Electron. Colloquium Comput. Complex. |
2015 |
DBLP BibTeX RDF |
|
23 | Martin Lange |
The Arity Hierarchy in the Polyadic μ-Calculus. |
FICS |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Anna Cena, Marek Gagolewski |
OM3: Ordered maxitive, minitive, and modular aggregation operators - Axiomatic and probabilistic properties in an arity-monotonic setting. |
Fuzzy Sets Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai |
Multi-Input Functional Encryption for Unbounded Arity Functions. |
IACR Cryptol. ePrint Arch. |
2015 |
DBLP BibTeX RDF |
|
23 | Joachim Breitner |
The Safety of Call Arity. |
Arch. Formal Proofs |
2015 |
DBLP BibTeX RDF |
|
23 | Saikrishna Badrinarayanan, Divya Gupta 0001, Abhishek Jain 0002, Amit Sahai |
Multi-input Functional Encryption for Unbounded Arity Functions. |
ASIACRYPT (1) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the arity in unbiased black-box complexity. |
Theor. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Joachim Breitner |
Call Arity. |
Trends in Functional Programming |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Debidatta Dwibedi, Amitabha Mukerjee |
Characterizing Predicate Arity and Spatial Structure for Inductive Learning of Game Rules. |
ECCV Workshops (2) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
Parametrized Arity Gap. |
Order |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Robert Van Dam, Irene Langkilde-Geary, Dan Ventura |
Adapting ADtrees for improved performance on large datasets with high-arity features. |
Knowl. Inf. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Anna Cena, Marek Gagolewski |
OM3: Ordered Maxitive, Minitive, and Modular Aggregation Operators: Axiomatic Analysis under Arity-Dependence (I). |
AGOP |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux |
Microstructures for CSPs with Constraints of Arbitrary Arity. |
SARA |
2013 |
DBLP BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the Arity in Unbiased Black-Box Complexity |
CoRR |
2012 |
DBLP BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
The arity gap of order-preserving functions and extensions of pseudo-Boolean functions. |
Discret. Appl. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
Decompositions of functions based on arity gap. |
Discret. Math. |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Carola Winzen |
Reducing the arity in unbiased black-box complexity. |
GECCO |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Venkatesh Ramamoorthy, Marius Silaghi 0001, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Soft Nonlinearity Constraints and their Lower-Arity Decomposition. |
ISAIM |
2012 |
DBLP BibTeX RDF |
|
23 | Marek Gagolewski, Przemyslaw Grzegorzewski |
Possibilistic analysis of arity-monotonic aggregation operators and its relation to bibliometric impact assessment of individuals. |
Int. J. Approx. Reason. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Costanza Conti, Kai Hormann |
Polynomial reproduction for univariate subdivision schemes of any arity. |
J. Approx. Theory |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser |
A Survey on the Arity Gap. |
ISMVL |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner 0007, Carola Winzen |
Faster black-box algorithms through higher arity operators. |
FOGA |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Benjamin Doerr, Daniel Johannsen, Timo Kötzing, Per Kristian Lehre, Markus Wagner 0007, Carola Winzen |
Faster Black-Box Algorithms Through Higher Arity Operators |
CoRR |
2010 |
DBLP BibTeX RDF |
|
23 | Slavcho Shtrakov, Jörg Koppitz |
Symmetric functions with non-trivial arity gap |
CoRR |
2010 |
DBLP BibTeX RDF |
|