Listing 1 - 10 of 20 | << page >> |
Sort by
|
Choose an application
Choose an application
This book offers a widely interdisciplinary approach to investigating important questions surrounding the cognitive foundations of group attitudes and social interaction. The volume tackles issues such as the relationship between individual and group attitudes, the cognitive bases of group identity and group identification, and the link between emotions and individual attitudes. This volume delves into the links between individual attitudes (such as beliefs, goals and intentions) and how they are reflected in shared attitudes where common belief, collective acceptance, joint intentions, and group preferences come into play. It pursues answers to the connections between trust and beliefs, goals and intentions and attempts to investigate questions such as: does trust have an affective component and how it may relate to hope and fear? The volume also scrutinizes game theory and questions whether it can satisfactorily explain and model social interaction and if there may be any concepts which are not addressed by the current theory. Contributors are derived from disciplines including philosophy, economics, psychology, logic, and computer science. Interdisciplinary in scope and comprehensive detail, this volume integrates a variety of approaches – philosophical, psychological and artificial intelligence – to strategic, normative and emotional aspects of social interaction.
Philosophy --- Philosophy & Religion --- Cognitive neuroscience. --- Social interaction. --- Human interaction --- Interaction, Social --- Symbolic interaction --- Cognitive neuropsychology --- Philosophy. --- Philosophy and social sciences. --- Artificial intelligence. --- Philosophy of the Social Sciences. --- Artificial Intelligence (incl. Robotics). --- Exchange theory (Sociology) --- Psychology --- Social psychology --- Cognitive science --- Neuropsychology --- Social sciences --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Social philosophy --- Social theory --- Social sciences and philosophy
Choose an application
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification.
Artificial intelligence. --- Computer science. --- Logic design. --- Computer software. --- Software engineering. --- Computer simulation. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Software Engineering/Programming and Operating Systems. --- Simulation and Modeling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Computer software engineering --- Engineering --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- 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 --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Logic, Symbolic and mathematical --- Computer science --- Mathematical logic. --- Computer logic. --- Algorithms. --- Algorism --- Algebra --- Arithmetic --- Computer science logic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foundations
Choose an application
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
Mathematical logic. --- Software engineering. --- Database management. --- Artificial intelligence. --- Computer logic. --- Knowledge representation (Information theory) . --- Application software. --- Mathematical Logic and Formal Languages. --- Software Engineering/Programming and Operating Systems. --- Database Management. --- Logic in AI. --- Knowledge based Systems. --- Computer Appl. in Administrative Data Processing. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Computer science logic --- Logic, Symbolic and mathematical --- 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 --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer software engineering --- Engineering --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer systems --- Logic, Symbolic and mathematical. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure
Choose an application
This book offers a widely interdisciplinary approach to investigating important questions surrounding the cognitive foundations of group attitudes and social interaction. The volume tackles issues such as the relationship between individual and group attitudes, the cognitive bases of group identity and group identification, and the link between emotions and individual attitudes. This volume delves into the links between individual attitudes (such as beliefs, goals and intentions) and how they are reflected in shared attitudes where common belief, collective acceptance, joint intentions, and group preferences come into play. It pursues answers to the connections between trust and beliefs, goals and intentions and attempts to investigate questions such as: does trust have an affective component and how it may relate to hope and fear? The volume also scrutinizes game theory and questions whether it can satisfactorily explain and model social interaction and if there may be any concepts which are not addressed by the current theory. Contributors are derived from disciplines including philosophy, economics, psychology, logic, and computer science. Interdisciplinary in scope and comprehensive detail, this volume integrates a variety of approaches – philosophical, psychological and artificial intelligence – to strategic, normative and emotional aspects of social interaction.
Choose an application
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web.
Mathematical logic --- Logic --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- applicatiebeheer --- apps --- computers --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica) --- informatietheorie
Choose an application
Choose an application
Mathematical logic --- Logic --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- applicatiebeheer --- apps --- computers --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- architectuur (informatica) --- informatietheorie
Choose an application
This book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
Artificial intelligence. --- Computer programming. --- Compilers (Computer programs). --- Algorithms. --- Computer science. --- Machine theory. --- Artificial Intelligence. --- Programming Techniques. --- Compilers and Interpreters. --- Design and Analysis of Algorithms. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informatics --- Science --- Algorism --- Algebra --- Arithmetic --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Foundations --- Programming
Choose an application
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; belief representation; probability and uncertainty; belief revision and belief merging; knowledge and action; dynamics of informational attitudes; intentions, plans, and goals; decision making and planning; preference and utility; cooperation; strategic reasoning and game theory; epistemology; social choice; social interaction; speech acts; knowledge representation; norms and normative systems; natural language; rationality; philosophical logic.
Logic. --- Game theory. --- Natural language processing (Computer science). --- Game Theory. --- Natural Language Processing (NLP).
Listing 1 - 10 of 20 | << page >> |
Sort by
|