Choose an application

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

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo).

Computer science. --- Knowledge representation (Information theory). --- Natural language processing (Computer science). --- Information storage and retrieval systems. --- Mathematical Logic and Formal Languages. --- Knowledge based Systems. --- Natural Language Processing (NLP). --- Information Storage and Retrieval. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Representation of knowledge (Information theory) --- Information theory --- Informatics --- Science --- Computer science --- Mathematical logic. --- Knowledge representation (Information theory) . --- Information storage and retrieval. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Expert systems (Computer science). --- Formal Languages and Automata Theory. --- Knowledge Based Systems. --- Data centers --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Soft computing --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics

Choose an application

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

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called "Logic at the Crossroads" whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement.

Logic, Symbolic and mathematical. --- Logic. --- Reasoning. --- Philosophy --- Philosophy & Religion --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Philosophy. --- Game theory. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Game Theory. --- Game Theory, Economics, Social and Behav. Sciences. --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematics. --- Math --- Games, Theory of --- Theory of games --- Mathematical models --- Parikh, Rohit, --- Parikh, R.