Choose an application

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

This contributed volume includes both theoretical research on philosophical logic and its  applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

Philosophy. --- Logic. --- Artificial Intelligence (incl. Robotics). --- Philosophy (General). --- Artificial intelligence. --- Logique --- Intelligence artificielle --- Logic -- Congresses. --- Philosophy --- Philosophy & Religion --- Logic --- Mental philosophy --- Humanities --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology

Choose an application

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

Mathematical logic --- Logic --- Algebra --- Discrete mathematics --- Computer science --- Computer architecture. Operating systems --- algebra --- toegepaste informatica --- discrete wiskunde --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde

Choose an application

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

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

Mathematics. --- Logic. --- History. --- Mathematical logic. --- History of Mathematical Sciences. --- Mathematical Logic and Foundations. --- Mathematics --- History --- Philosophy --- Logic, Symbolic and mathematical. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Methodology --- Annals --- Auxiliary sciences of history --- Math

Choose an application

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

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

Mathematical logic --- Logic --- Mathematics --- History --- geschiedenis --- wiskunde --- logica

Choose an application

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

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.

Logic, Symbolic and mathematical --- Information theory --- Logic design --- Engineering & Applied Sciences --- Electrical & Computer Engineering --- Mathematics --- Physical Sciences & Mathematics --- Electrical Engineering --- Mathematical Theory --- Computer Science --- Artificial intelligence --- Logic --- Human-computer interaction --- Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer science --- Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematical Logic and Foundations. --- Discrete Mathematics in Computer Science. --- Symbolic and Algebraic Manipulation. --- Logics and Meanings of Programs. --- Theory of Computation. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Informatics --- Science --- Logic, Symbolic and mathematical. --- Computational complexity. --- Algebra --- Logic design. --- Information theory. --- Data processing. --- Communication theory --- Communication --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Complexity, Computational --- Computer science—Mathematics.