@inproceedings{jaschke2013attribute,
  abstract = {We propose an approach for supporting attribute exploration by web information retrieval, in particular by posing appropriate queries to search engines, crowd sourcing systems, and the linked open data cloud. We discuss underlying general assumptions for this to work and the degree to which these can be taken for granted.},
  author = {Jäschke, Robert and Rudolph, Sebastian},
  booktitle = {Contributions to the 11th International Conference on Formal Concept Analysis},
  editor = {Cellier, Peggy and Distel, Felix and Ganter, Bernhard},
  interhash = {000ab7b0ae3ecd1d7d6ceb39de5c11d4},
  intrahash = {45e900e280661d775d8da949baee3747},
  month = may,
  organization = {Technische Universität Dresden},
  pages = {19--34},
  title = {Attribute Exploration on the Web},
  url = {http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-113133},
  urn = {urn:nbn:de:bsz:14-qucosa-113133},
  year = 2013
}

@inproceedings{conf/vl/GoveDSKD11,
  author = {Gove, Robert and Dunne, Cody and Shneiderman, Ben and Klavans, Judith and Dorr, Bonnie J.},
  booktitle = {VL/HCC},
  crossref = {conf/vl/2011},
  editor = {Costagliola, Gennaro and Ko, Andrew Jensen and Cypher, Allen and Nichols, Jeffrey and Scaffidi, Christopher and Kelleher, Caitlin and Myers, Brad A.},
  ee = {http://dx.doi.org/10.1109/VLHCC.2011.6070403},
  interhash = {9820a691a515e4f1a38f31056320c3a2},
  intrahash = {3f86bd37731ba68da7422834d82b55e3},
  isbn = {978-1-4577-1246-3},
  pages = {217-224},
  publisher = {IEEE},
  title = {Evaluating visual and statistical exploration of scientific literature networks.},
  url = {http://dblp.uni-trier.de/db/conf/vl/vlhcc2011.html#GoveDSKD11},
  year = 2011
}

@article{obiedkov2009building,
  abstract = {The use of lattice-based access control models has been somewhat restricted by their complexity. We argue that attribute exploration from formal concept analysis can help create lattice models of manageable size, while making it possible for the system designer to better understand dependencies between different security categories in the domain and, thus, providing certain guarantees for the relevance of the constructed model to a particular application. In this paper, we introduce the method through an example.},
  author = {Obiedkov, Sergei and Kourie, Derrick G. and Eloff, J.H.P.},
  doi = {10.1016/j.cose.2008.07.011},
  interhash = {367ceb95cd5e3964aa2d7d00ad21da09},
  intrahash = {7be2b4bf0987c4d18adf7243eae690c0},
  issn = {0167-4048},
  journal = {Computers and Security},
  number = {1–2},
  pages = {2--7},
  title = {Building access control models with attribute exploration},
  url = {http://www.sciencedirect.com/science/article/pii/S0167404808000497},
  volume = 28,
  year = 2009
}

@article{guigues1986familles,
  author = {Guigues, J.-L. and Duquenne, V.},
  interhash = {3671be91dd80e5c415ede85e94ada3d7},
  intrahash = {fee9525a2e89b5ebced886b3a9f0194d},
  journal = {Mathématiques et Sciences Humaines},
  pages = {5--18},
  title = {Familles minimales d'implications informatives résultant d'un tableau de données binaires},
  volume = 95,
  year = 1986
}

@inproceedings{pickens2008algorithmic,
  abstract = {We describe a new approach to information retrieval: algorithmic mediation for intentional, synchronous collaborative exploratory search. Using our system, two or more users with a common information need search together, simultaneously. The collaborative system provides tools, user interfaces and, most importantly, algorithmically-mediated retrieval to focus, enhance and augment the team's search and communication activities. Collaborative search outperformed <i>post hoc</i> merging of similarly instrumented single user runs. Algorithmic mediation improved both collaborative search (allowing a team of searchers to find relevant information more efficiently and effectively), and exploratory search (allowing the searchers to find relevant information that cannot be found while working individually).},
  acmid = {1390389},
  address = {New York, NY, USA},
  author = {Pickens, Jeremy and Golovchinsky, Gene and Shah, Chirag and Qvarfordt, Pernilla and Back, Maribeth},
  booktitle = {Proceedings of the 31st annual international ACM SIGIR conference on Research and development in information retrieval},
  doi = {10.1145/1390334.1390389},
  interhash = {18e3f446ca865d0d3c11d2d4abef936f},
  intrahash = {78716622eb8bb4d0a55ca3de3ab0ca07},
  isbn = {978-1-60558-164-4},
  location = {Singapore, Singapore},
  numpages = {8},
  pages = {315--322},
  publisher = {ACM},
  title = {Algorithmic mediation for collaborative exploratory search},
  url = {http://doi.acm.org/10.1145/1390334.1390389},
  year = 2008
}

@incollection{ls_leimeister,
  address = {Verona, Italy},
  author = {Berkovich, M. and Leimeister, J. M. and Krcmar, H.},
  booktitle = {27. European Conference on Information Systems (ECIS) 2009},
  interhash = {37f4be89fb39497240745509bc461322},
  intrahash = {9863b9befe1a30e409435414c9f3ce64},
  note = {134 (18-09)},
  title = {An empirical exploration of requirements engineering for hybrid products},
  year = 2009
}

@incollection{RYAN,
  address = {London, New York},
  author = {Ryan, Simon},
  booktitle = {De-Scribing Empire. post-colonialism and textuality},
  editor = {Tiffin, Chris and Lawson, Alan},
  interhash = {c6d158277a3b32eb81c262b917ca4ebe},
  intrahash = {f076e329dc4c2eff70f884525b84f2ff},
  pages = {115-130},
  title = {Inscribing the Emptiness. Cartography, exploration and the construction of Australia},
  year = 1994
}

@article{ganter2005pseudomodels,
  abstract = {A well-known result is that the inference problem for propositional Horn formulae can be solved in linear time. We show that this remains true even in the presence of arbitrary (static) propositional background knowledge. Our main tool is the notion of a cumulated clause, a slight generalization of the usual clauses in Propositional Logic. We show that each propositional theory has a canonical irredundant base of cumulated clauses, and present an algorithm to compute this base. },
  address = {Amsterdam, The Netherlands},
  author = {Ganter, Bernhard and Krauße, Rüdiger},
  doi = {10.1016/j.dam.2004.06.019},
  interhash = {75396eab79cd8133f85c88794ac80a61},
  intrahash = {bd3394df55a858ed1a516a6999788c25},
  issn = {0166-218X},
  journal = {Discrete Applied Mathematics},
  month = apr,
  number = 1,
  pages = {43--55},
  publisher = {Elsevier Science Publishers B. V.},
  title = {Pseudo-models and propositional Horn inference},
  url = {http://www.math.tu-dresden.de/~ganter/psfiles/pseudo.ps},
  volume = 147,
  year = 2005
}

@inproceedings{stumme97tool,
  address = {Berlin},
  author = {Stumme, Gerd},
  booktitle = {Conceptual Structures: Fulfilling  Peirce's Dream. Proc. ICCS'97},
  editor = {Lukose, D. and Delugach, H. and Keeler, M. and Searle, L. and Sowa, J. F.},
  interhash = {fce31f95ec4537a11fd78e5081d63fe6},
  intrahash = {81bd13dbc2767c77b18bc3bd919fcc29},
  page = {318-331},
  publisher = {Springer},
  series = {LNAI},
  title = {Concept Exploration - A Tool for Creating and Exploring Conceptual Hierarchies},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1997/P1905-ICCS97.pdf},
  volume = 1257,
  year = 1997
}

@inproceedings{stumme98knowledgeacquisition,
  address = {Heidelberg},
  author = {Stumme, Gerd},
  booktitle = {KI-98: Advances in Artificial Intelligence. Proc. 22. Jahrestagung},
  comment = {alpha},
  editor = {Herzog, O. and Günter, A.},
  interhash = {733cdb16d12f945d904f46c3243bcabb},
  intrahash = {df6b2348edd768d19918387671315251},
  pages = {117-128},
  publisher = {Springer},
  series = {LNAI},
  title = {Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1998/KI98.pdf},
  volume = 1504,
  year = 1998
}

@inproceedings{Stumme1999acquiring,
  address = {Heidelberg},
  author = {Stumme, Gerd},
  booktitle = {Knowledge Acquisition, Modeling, and Management. Proc. 11th European},
  editor = {Fensel, D. and Studer, R.},
  interhash = {d8bb89a08a3434c3135885e18660f724},
  intrahash = {60dd3cf5ec48b03a4db39e4f24e6c632},
  page = {318-331},
  pages = {275-290},
  publisher = {Springer},
  series = {LNAI},
  title = {Acquiring Expert Knowledge for the Design of Conceptual Information Systems},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1999/P1997-EKAW99.pdf},
  volume = 1621,
  year = 1999
}

@book{stumme97conceptexploration,
  address = {Aachen},
  author = {Stumme, Gerd},
  interhash = {e0e14593ffaef8fd0cb2d1564580ad5c},
  intrahash = {8e9d6d29a5b0764bbf2e18cabe2b8f2e},
  publisher = {Shaker},
  title = {Concept Exploration -- Knowledge Acquisition in Knowledge Systems. },
  url = {http://www.shaker.de/Online-Gesamtkatalog/details.asp?ISBN=3-8265-2930-8},
  year = 1997
}

@inproceedings{stumme96attribute,
  address = {Heidelberg},
  author = {Stumme, Gerd},
  booktitle = {Data Analysis  and  Information  Systems. Statistical and Conceptual approaches. Proc. GfKl'95. Studies in Classification, Data Analysis, and Knowledge Organization 7},
  comment = {alpha},
  editor = {Bock, H.-H. and Polasek, W.},
  interhash = {e32617d0cdb075367cac3d59055da8f3},
  intrahash = {59bb0dbc1ba508f174108d7bcb6fa240},
  pages = {457-469},
  publisher = {Springer},
  title = {Attribute Exploration with Background Implications and Exceptions},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1995/P1781-GfKl95.pdf},
  year = 1996
}

@inproceedings{stumme96exploration,
  address = {Heidelberg},
  author = {Stumme, Gerd},
  booktitle = {Ordinal and Symbolic Data Analysis. Proc. OSDA'95. Studies in Classification, Data Analysis, and Knowledge Organization 8},
  comment = {alpha},
  editor = {Diday, E. and Lechevallier, Y. and Opitz, O.},
  interhash = {aa43dfdb5a671cd365da23eb67005eab},
  intrahash = {74d9a8ec167f3aebfdbef0eee5d92b83},
  pages = {31-44},
  publisher = {Springer},
  title = {Exploration Tools in Formal Concept Analysis},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1995/P1796-OSDA95.pdf},
  year = 1996
}

@inproceedings{stumme1995knowledge,
  address = {Berlin--Heidelberg--New~York},
  author = {Stumme, Gerd},
  booktitle = {Conceptual structures: applications, implementation and theory},
  editor = {Ellis, G. and Levinson, R. and Rich, W. and Sowa, J. F.},
  interhash = {8d345e4fd5d9422ef43d6bc88548b3f1},
  intrahash = {81ad0b71e433513125eed3a478b28b60},
  number = 954,
  organisation = {Simon Fraser University},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Knowledge acquisition by distributive concept exploration},
  url = {http://www.kde.cs.uni-kassel.de/stumme/papers/1995/ICCS95_not_in_cv.pdf},
  year = 1995
}

@inproceedings{ls_leimeister,
  address = {Verona, Italy},
  author = {Berkovich, M. and Leimeister, J. M. and Krcmar, H.},
  booktitle = {27. European Conference on Information Systems (ECIS) 2009},
  interhash = {37f4be89fb39497240745509bc461322},
  intrahash = {d450d6e8efd1d11eb66fcbe31fd01c4e},
  note = {134b (18-09)},
  title = {An empirical exploration of requirements engineering for hybrid products},
  url = {http://pubs.wi-kassel.de/wp-content/uploads/2013/03/JML_182.pdf},
  year = 2009
}

@book{rudolph2006relational,
  author = {Rudolph, Sebastian},
  interhash = {0be5bbeb2ccc1cbfd7f01da547e5828f},
  intrahash = {c8997feee8bc42f09e057f9be7eb5f92},
  month = DEC,
  note = {Dissertation},
  publisher = {Universitätsverlag Karlsruhe},
  title = {Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification},
  url = {\url{http://hsss.slub-dresden.de/documents/1172682174599-1228/1172682174599-1228.pdf}},
  year = 2006
}

@inproceedings{baader95computing,
  address = {Santa Cruz, USA},
  author = {Baader, Franz},
  booktitle = {Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, {KRUSE} 95},
  interhash = {5e293c4c3ef56d37a85ef222c14be3d6},
  intrahash = {5b19d5b4c170ca819c25d4e4e3379fa8},
  pages = {168--178},
  title = {Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology},
  url = {citeseer.ist.psu.edu/baader95computing.html},
  year = 1995
}

@inproceedings{MobasheretalCHI2001,
  address = {New Orleans, LA},
  author = {Parent, S. and Mobasher, B. and Lytinen, S.},
  booktitle = {Proceedings of the 9th International
         Conference on Human Computer Interaction},
  interhash = {9539ed5408f62ddb8d5c790fabac2e76},
  intrahash = {aaf8f9dccc3d89097704896af6b78536},
  title = {An Adaptive Agent for Web Exploration Based of Concept Hierarchies},
  url = {citeseer.nj.nec.com/443168.html},
  url2 = {www.cs.umn.edu/research/websift/papers/rwc\_thesis.ps},
  year = 2001
}

@article{Ga99,
  author = {Ganter, B.},
  interhash = {5f95fd02abe1e2ce4f572b86deb72a9a},
  intrahash = {d0afb5054ed9acbcd33e2b5e7fe1353c},
  journal = {TCS},
  location = {Santa Barbara, CA},
  number = 2,
  pages = {215--233},
  title = {Attribute Exploration with Background Knowledge},
  url = {citeseer.nj.nec.com/ganter96attribute.html},
  volume = 217,
  year = 1999
}