Choose an application

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

Keine ausführliche Beschreibung für "Einführung in die angewandte Logik" verfügbar.

Logic. --- Logic, Symbolic and mathematical.

Choose an application

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

Science --- Logic, Symbolic and mathematical. --- Methodology.

Choose an application

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

This book contains the proceedings of the 11th Scandinavian Conference on Artificial Intelligence (AI), held in Trondheim in May 2011. It presents 17 full papers and an additional six short papers and posters carefully selected from the submissions after thorough peer review. The papers are arranged in four main sections: machine learning, planning, application of AI and robotics and cognition. Topics covered in the first section include: performance user-centered qualities generated by supervised learning algorithms; parallel implementation of the random forests algorithm and a spatial cluste

Artificial intelligence --- Logic, Symbolic and mathematical

Choose an application

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

" ... 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"--Publisher's description, p. [4] of cover.

Logic --- Logic, Symbolic and mathematical --- Parikh, Rohit, --- Parikh, R.

Choose an application

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

Finite, The. --- Logic, Symbolic and mathematical. --- Mathematics --- Naturalism. --- Philosophy.