Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Ordered algebraic structures --- Algebra --- Discrete mathematics --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- informatica --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 9th International Conference on Formal Concept Analysis, ICFCA 2011, held in Nicosia, Cyprus, in May 2011. The 16 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 49 submissions. The central theme was the mathematical formalization of concept and conceptual hierarchy. The field has developed into a constantly growing research area in its own right with a thriving theoretical community and an increasing number of applications in data and knowledge processing including disciplines such as data visualization, information retrieval, machine learning, software engineering, data analysis, data mining, social networks analysis, etc.

Lattice theory --- Computer science --- Artificial intelligence --- Mathematical analysis --- Logic, Symbolic and mathematical --- Formal methods (Computer science) --- Mathematics --- Mechanical Engineering --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Algebra --- Computer Science --- Mechanical Engineering - General --- Mathematical models --- Information Technology --- Artificial Intelligence --- Comprehension (Theory of knowledge) --- Information theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer science. --- Software engineering. --- Mathematical logic. --- Data mining. --- Artificial intelligence. --- Algebra. --- Ordered algebraic structures. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Discrete Mathematics in Computer Science. --- Order, Lattices, Ordered Algebraic Structures. --- Mathematics. --- Algebraic structures, Ordered --- Structures, Ordered algebraic --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Computer mathematics --- Discrete mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer software engineering --- Engineering --- Informatics --- Science --- Knowledge, Theory of --- Logic --- Philosophy --- Computational complexity. --- Artificial Intelligence. --- Complexity, Computational --- Computer science—Mathematics.