Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Werner Dilger, Hans Voß |
Sorts in Qualitative Reasoning. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
68 | Gordon Rugg, Peter McGeorge |
The sorting techniques: a tutorial paper on card sorts, picture sorts and item sorts. |
Expert Syst. J. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Ulrich Hedtstück, Peter H. Schmitt |
A Calculus for Order-Sorted Predicate Logic with Sort Literals. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Christoph Beierle |
Types, Modules and Databases in the Logic Programming Language PROTOS-L. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Arnold Oberschelp |
Order Sorted Predicate Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernd Owsnicki-Klewe |
A General Characterization of Term Description Languages. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann |
Structure and Control of the L-LILOG Inference System. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Udo Pletat, Kai von Luck |
Knowledge Representation in LILOG. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Jürgen Allgayer, Carola Reddig-Siekmann |
What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Christoph Walther |
Many-Sorted Inferences in Automated Theorem Proving. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernd Mahr, Carla Umbach |
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Bernhard Nebel, Gert Smolka |
Representation and Reasoning with Attributive Descriptions. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
55 | Kurt Eberle |
Eventualities in a Natural Language Understanding System. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
50 | Neil A. M. Maiden |
Card Sorts to Acquire Requirements. |
IEEE Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Amaury Habrard, Marc Bernard, François Jacquenet |
Generalized Stochastic Tree Automata for Multi-relational Data Mining. |
ICGI |
2002 |
DBLP DOI BibTeX RDF |
Stochastic tree automata, generalization, sorts, multi-relational data mining |
45 | Thierry Conrad, Ulrich Furbach |
Sorts are nothing but functions: an equational approach to sorts for logic programming |
Forschungsberichte, TU Munich |
1988 |
RDF |
|
45 | Weiye Zhang, Per-Åke Larson |
A memory-adaptive sort (MASORT) for database systems. |
CASCON |
1996 |
DBLP BibTeX RDF |
|
41 | Richard Cole 0001, David C. Kandathil |
The Average Case Analysis of Partition Sorts. |
ESA |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Ken Kaneiwa, Satoshi Tojo |
An Order-Sorted Resolution with Implicitly Negative Sorts. |
ICLP |
2001 |
DBLP DOI BibTeX RDF |
|
41 | Weidong Chen 0005, Michael Kifer |
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Nonnengart |
How to Use Modalities and Sorts in Prolog. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Margaret Mary West, Thomas Leo McCluskey |
The application of a machine learning tool to the validation of an air traffic control domain theory. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
machine learning tool, air traffic control domain theory, general clause form theories, ordinal sorts, geometrical revision operators, learning (artificial intelligence), air traffic control, IMPRESS |
36 | Darrah Chavey |
Double sorting: testing their sorting skills. |
SIGCSE |
2010 |
DBLP DOI BibTeX RDF |
cs1, sorting, selection, insertion, quicksort |
36 | Yijie Han |
Deterministic sorting in O(nlog log n) time and linear space. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
algorithms, sorting, time complexity, linear space, integer sorting |
36 | Apostolos Burnetas, Daniel Solow, Rishi Agarwal |
An Analysis and Implementation of an Efficient In-Place Bucket Sort. |
Acta Informatica |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Andrew Fall |
Extending Partial Orders for Sort Reasoning. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Michael Kohlhase |
Unification in Order-Sorted Type Theory. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
32 | |
Data Sorts. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts. |
WCRE |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Alexandre Miquel |
lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Linda Upchurch, Gordon Rugg, Barbara A. Kitchenham |
Using Card Sorts to Elicit Web Page Quality Attributes. |
IEEE Softw. |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Patricia Johann, Michael Kohlhase |
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Michelle Lyman, Gary Lewandowski |
Genetic programming for association rules on card sorting data. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
data mining, genetic programming, card sorts |
27 | Marius Marin, Leon Moonen, Arie van Deursen |
Documenting Typical Crosscutting Concerns. |
WCRE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Gordana Antic, Ernst Stadlober, Peter Grzybek, Emmerich Kelih |
Word Length and Frequency Distributions in Different Text Genres. |
GfKl |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Hong Zhu 0002 |
A Note on Test Oracles and Semantics of Algebraic Specifications. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Yijie Han |
Fast Integer Sorting in Linear Space. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Thierry Boy de la Tour |
On the Complexity of Finite Sorted Algebras. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Dik Lun Lee, Wai Yee Peter Wong |
Partial Document Ranking by Heuristic Methods. |
ICCI |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Ingrid Navarro, Jay Patrikar, Joao P. A. Dantas, Rohan Baijal, Ian Higgins, Sebastian A. Scherer, Jean Oh |
SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation. |
IEEE Robotics Autom. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Pamina Georgiou, Márton Hajdú, Laura Kovács |
Saturating Sorting without Sorts. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze |
Collecting Visually-Grounded Dialogue with A Game Of Sorts. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ingrid Navarro, Jay Patrikar, Joao P. A. Dantas, Rohan Baijal, Ian Higgins, Sebastian A. Scherer, Jean Oh |
SoRTS: Learned Tree Search for Long Horizon Social Robot Navigation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yuming Shen, Jiaguo Yu, Haofeng Zhang, Philip H. S. Torr, Menghan Wang |
Learning to Hash Naturally Sorts. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
23 | Will Johnson |
A criterion for uniform finiteness in the imaginary sorts. |
Arch. Math. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Christos Katsanos, Georgia Zafeiriou, Alexandros Liapis |
Effect of Self-efficacy on Open Card Sorts for Websites. |
HCI (4) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Elahe Ghasemi, Vincent Jugé, Ghazal Khalighinejad |
Galloping in Fast-Growth Natural Merge Sorts. |
ICALP |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jiaguo Yu, Yuming Shen, Menghan Wang, Haofeng Zhang, Philip H. S. Torr |
Learning to Hash Naturally Sorts. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Bram Willemsen, Dmytro Kalpakchi, Gabriel Skantze |
Collecting Visually-Grounded Dialogue with A Game Of Sorts. |
LREC |
2022 |
DBLP BibTeX RDF |
|
23 | Dines Bjørner |
Domain Analysis and Description - Sorts, Types, Intents. |
Formal Methods in Outer Space |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Michael Christensen 0001, Timothy Sherwood, Jonathan Balkind, Ben Hardekopf |
Wire sorts: a language abstraction for safe hardware composition. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Georgia Zafeiriou, Christos Katsanos, Alexandros Liapis |
Effect of Sense of Direction on Open Card Sorts for Websites. |
CHI Greece |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Vincent Jugé, Ghazal Khalighinejad |
Galloping in natural merge sorts. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
23 | Georgios Melissourgos, Christos Katsanos |
CardSorter: Towards an Open Source Tool for Online Card Sorts. |
PCI |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Erik Palmgren |
Categories with families and first-order logic with dependent sorts. |
Ann. Pure Appl. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mar Parra, Lorena Parra, Jaime Lloret 0001, Pedro V. Mauri, Josep V. Llinares |
Low-cost Soil Moisture Sensors Based on Inductive Coils Tested on Different Sorts of Soils. |
IoTSMS |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Sima Sharifirad, Azra Nazari, Mehdi Ghatee |
Modified SMOTE Using Mutual Information and Different Sorts of Entropies. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
23 | Valerio Restocchi, Frank McGroarty, Enrico H. Gerding, Johnnie E. V. Johnson |
It takes all sorts: A heterogeneous agent explanation for prediction market mispricing. |
Eur. J. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | James S. Denford, Kurt B. Schobel |
Manual Versus Online Card Sorts: A Cautionary Tale for IS Researchers. |
AMCIS |
2018 |
DBLP BibTeX RDF |
|
23 | Jerry L. R. Chandler |
An Introduction to the Foundations of Chemical Information Theory. Tarski-Lesniewski Logical Structures and the Organization of Natural Sorts and Kinds. |
Inf. |
2017 |
DBLP DOI BibTeX RDF |
|
23 | William E. Devanny |
An Assortment of Sorts: Three Modern Variations on the Classic Sorting Problem. |
|
2017 |
RDF |
|
23 | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
Categories: How I Learned to Stop Worrying and Love Two Sorts. |
WoLLIC |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Jan Christiansen, Nikita Danilenko, Sandra Dylus |
All sorts of permutations (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Chaoyi Pang, Junhu Wang, Yu Cheng, Hao Lan Zhang 0001, Tongliang Li |
Topological sorts on DAGs. |
Inf. Process. Lett. |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Holger Bock Axelsen, Tetsuo Yokoyama |
Programming Techniques for Reversible Comparison Sorts. |
APLAS |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Gopinath Chennupati, R. Muhammad Atif Azad, Conor Ryan |
Synthesis of Parallel Iterative Sorts with Multi-Core Grammatical Evolution. |
GECCO (Companion) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stratis Viglas |
Write-limited sorts and joins for persistent memory. (PDF / PS) |
Proc. VLDB Endow. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Peter Winkler 0001 |
Puzzled: A Sort, of Sorts. |
Commun. ACM |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas Wilkinson, Giorgio Metta |
Bilateral gain control; an "innate predisposition" for all sorts of things. |
Frontiers Neurorobotics |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Kate Sanders 0001 |
Card sorts, commonsense, and thresholds: a case study in CS education research. |
Koli Calling |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Bruno Mery, Christian Retoré |
Semantic Types, Lexical Sorts and Classifiers. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
23 | Ralf Hinze, José Pedro Magalhães, Nicolas Wu |
A Duality of Sorts. |
The Beauty of Functional Code |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Evgenii Balai, Michael Gelfond, Yuanlin Zhang 0002 |
Towards Answer Set Programming with Sorts. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Emiliano Labrador, Oscar Garcia, Albert Cubeles, Paul B. Fox |
Playing Entrepreneurship as a Memorable Experience for All Sorts of Talented Warriors. |
VS-GAMES |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Konstantin Korovin |
Non-cyclic Sorts for First-Order Satisfiability. |
FroCos |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Paul Thomas, David Elsweiler |
Using Card Sorts to Understand how Users Think of Personal Information. |
EuroHCIR |
2012 |
DBLP BibTeX RDF |
|
23 | Jasmin Christian Blanchette, Andrei Popescu 0001, Daniel Wand, Christoph Weidenbach |
More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. |
ITP |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Adam Marcus 0002, Eugene Wu 0002, David R. Karger, Samuel Madden 0001, Robert C. Miller |
Human-powered Sorts and Joins |
CoRR |
2011 |
DBLP BibTeX RDF |
|
23 | Adam Marcus 0002, Eugene Wu 0002, David R. Karger, Samuel Madden 0001, Robert C. Miller |
Human-powered Sorts and Joins. (PDF / PS) |
Proc. VLDB Endow. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Helen Petrie, Christopher Power, Paul A. Cairns, Cagla Ozen Seneler |
Using Card Sorts for Understanding Website Information Architectures: Technological, Methodological and Cultural Issues. |
INTERACT (4) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Yu Cao 0004, Ramadhana Bramandia, Chee-Yong Chan, Kian-Lee Tan |
Optimized query evaluation using cooperative sorts. |
ICDE |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Temur Kutsia, Mircea Marin |
Order-Sorted Unification with Regular Expression Sorts. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Bradley C. Kuszmaul |
Brief announcement: TeraByte TokuSampleSort sorts 1TB in 197s. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
samplesort, terabyte, cluster, sort, mpi |
23 | Jean-David Hsu |
When quadratic sorts use granules. |
GrC |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Meng-Dar Shieh, Wei Yan 0001, Chun-Hsien Chen |
Soliciting customer requirements for product redesign based on picture sorts and ART2 neural network. |
Expert Syst. Appl. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | William I. Wolff |
"A chimera of sorts": Rethinking educational technology grant programs, courseware innovation, and the language of educational change. |
Comput. Educ. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Wintermute, Joseph Z. Xu, John E. Laird |
SORTS: A Human-Level Approach to Real-Time Strategy AI. |
AIIDE |
2007 |
DBLP BibTeX RDF |
|
23 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts |
CoRR |
2006 |
DBLP BibTeX RDF |
|
23 | Marius Marin, Leon Moonen, Arie van Deursen |
A common framework for aspect mining based on crosscutting concern sorts. |
Aspects For Legacy Applications |
2006 |
DBLP BibTeX RDF |
|
23 | Masaki Kitano, Seikoh Nishita, Tsutomu Ishikawa |
Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. |
MICAI |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Paul Frenger |
Forth sorts fruit down under. |
ACM SIGPLAN Notices |
2005 |
DBLP DOI BibTeX RDF |
FORTH |
23 | Katherine Deibel, Richard J. Anderson, Ruth E. Anderson |
Using edit distance to analyze card sorts. |
Expert Syst. J. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Sue Gerrard, Julie Dickinson |
Women's working wardrobes: a study using card sorts. |
Expert Syst. J. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Munehiro Iwami |
Persistence of Termination for Term Rewriting Systems with Ordered Sorts. |
Artificial Intelligence and Applications |
2005 |
DBLP BibTeX RDF |
|
23 | Christopher Lynch, Barbara Morawska 0001 |
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Wei Yan 0001, Chun-Hsien Chen, Li Pheng Khoo |
An integrated approach to the elicitation of customer requirements for engineering design using picture sorts and fuzzy evaluation. |
Artif. Intell. Eng. Des. Anal. Manuf. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Christoph Weidenbach |
Combining Superposition, Sorts and Splitting. |
Handbook of Automated Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Robert L. Glass |
A good-bye of sorts. |
J. Syst. Softw. |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Eduardo M. Morgado, Nicolau Reinhard, Richard T. Watson |
Adding Value to Key Issues Research Through Q-Sorts and Interpretive Structured Modeling. |
Commun. Assoc. Inf. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|