Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Nous utilisons des cookies dans le but suivant :
Assurer le bon fonctionnement du site web, améliorer la sécurité et prévenir la fraude
Avoir un aperçu de l'utilisation du site web, afin d'améliorer son contenu et ses fonctionnalités
Pouvoir vous montrer les publicités les plus pertinentes sur des plateformes externes
Gestion des cookies
Club utilise des cookies et des technologies similaires pour faire fonctionner correctement le site web et vous fournir une meilleure expérience de navigation.
Ci-dessous vous pouvez choisir quels cookies vous souhaitez modifier :
Cookies techniques et fonctionnels
Ces cookies sont indispensables au bon fonctionnement du site internet et vous permettent par exemple de vous connecter. Vous ne pouvez pas désactiver ces cookies.
Cookies analytiques
Ces cookies collectent des informations anonymes sur l'utilisation de notre site web. De cette façon, nous pouvons mieux adapter le site web aux besoins des utilisateurs.
Cookies marketing
Ces cookies partagent votre comportement sur notre site web avec des parties externes, afin que vous puissiez voir des publicités plus pertinentes de Club sur des plateformes externes.
Une erreur est survenue, veuillez réessayer plus tard.
Il y a trop d’articles dans votre panier
Vous pouvez encoder maximum 250 articles dans votre panier en une fois. Supprimez certains articles de votre panier ou divisez votre commande en plusieurs commandes.
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to comp...Savoir plus
This ground-breaking volume sets out an original model of the dynamics of language processing, which can be used to explain the structural properties ...Savoir plus
Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, f...Savoir plus
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient...Savoir plus
and Motivation.- Basic Definitions and Results.- Abstract Semantics by Size.- Preferential Structures #x2013; Part I.- Preferential Structures #x2013;...Savoir plus
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other no...Savoir plus
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models ...Savoir plus
They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics.Savoir plus
This ground-breaking volume sets out an original model of the dynamics of language processing, which can be used to explain the structural properties ...Savoir plus
This book puts forward new logical systems suitable for modelling Talmudic and Biblical reasoning and argumentation. The Talmud is very logical. It is...Savoir plus
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduct...Savoir plus
Artificial Intelligence is concerned with producing devices that help or replace human beings in their daily activities. Neural-symbolic learning syst...Savoir plus
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rul...Savoir plus
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models ...Savoir plus
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain gen...Savoir plus
Logic is now widely recognized to be one of the foundational disciplines of computing with applications reaching almost every aspect of the subject, f...Savoir plus
An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to he...Savoir plus
This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...Savoir plus
Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations ...Savoir plus
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the...Savoir plus
In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rul...Savoir plus
Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artifici...Savoir plus
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working t...Savoir plus
This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology ...Savoir plus