This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The topics in this volume cover theoretical aspects of FCA; methods and applications of FCA to different fields and enhanced FCA that show new trends in FCA, for instance, pattern structures of fuzzy FCA.
This book draws on papers presented at the 2008 Conference on Information Processing and Management of Uncertainty (IPMU), held in Málaga, Spain. The conference brought together some of the world’s leading experts in the study of uncertainty.
This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cádiz, Spain, in June 2018. The 193 revised full papers were carefully reviewed and selected from 383 submissions. The papers are organized in topical sections on advances on explainable artificial intelligence; aggregation operators, fuzzy metrics and applications; belief function theory and its applications; current techniques to model, process and describe time series; discrete models and computational intelligence; formal concept analysis and uncertainty; fuzzy implication functions; f...
The LNAI series reports state-of-the-art results in artificial intelligence research, development, and education, at a high level and in both printed and electronic form. Enjoying light cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelligent information processing including interdisciplinary topics in a variety of application fields In parallel to the printed book, each new volume is published electronically in LNCS Online.
This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELTA '98, held in Dagstuhl, Germany, in October 1998. The 25 revised full papers presented were carefully selected from a total of 65 submissions. Also included are two abstracts of invited talks. The papers are organized in topical sections on logic programming, epistemic logics, theorem proving, non-monotonic reasoning, non-standard logics, knowledge representation, and higher order logics.
This book constitutes the refereed proceedings of the 9th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2014, held in Granada and Madrid, Spain, in July 2014. RSCTC 2014 together with the Conference on Rough Sets and Emerging Intelligent Systems Paradigms (RSEISP 2014) was held as a major part of the 2014 Joint Rough Set Symposium (JRS 2014) The 23 regular and 17 short papers presented were carefully reviewed and selected from 120 submissions. They are organized in topical sections such as fuzzy logic and rough set: tools for imperfect information; fuzzy-rough hybridization; three way decisions and probabilistic rough sets; new trends in formal concept analysis and related methods; fuzzy decision making and consensus; soft computing for learning from data; web information systems and decision making; image processing and intelligent systems.
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions. The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.
These three volumes (CCIS 442, 443, 444) constitute the proceedings of the 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, held in Montpellier, France, July 15-19, 2014. The 180 revised full papers presented together with five invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on uncertainty and imprecision on the web of data; decision support and uncertainty management in agri-environment; fuzzy implications; clustering; fuzzy measures and integrals; non-classical logics; data analysis; real-world applications; aggregation; probabilistic networ...