SIGNALER une erreur


Acquiescements  Actes de langage  Action  Agency  Agent autonome  Agent rationnel  Agents intelligents  Ajustement  Algorithmes  Analyse de corpus  Annonces publiques  Answer Set Programming  Appraisal  Apprentissage  Automated reasoning  Calcul des situations  Coalition  Coalition logic  Cohérence  Commerce électronique  Communication  Confiance  Confiance computationnelle  Connaissance  Consequence finding  Construction de modèles  Croyance  Croyance de groupe  Dialogue  Discours  Document Pertinent  Décidabilité  Déduction  Déduction automatique  Economie expérimentale  Emotions  Enchères doubles  Ensemble réponse  Formalisation  Ignorance  Implication  Inconsistance  Intelligence artificielle  Intelligence artificielle répartie  Intention communicative  Interrogation  Jeux booléens épistémiques  Knowledge compilation  Langages d'interrogation  Langages de communications entre agents  Langues  Liens sociaux  Linguistique -- Informatique  Logic de l'équilibre  Logique -- Philosophie  Logique  Logique BDI  Logique dynamique  Logique modale  Logique non-Monotone  Logique non-monotone  Logique épistémique  Logique épistémique dynamique  Logiques modales  Logiques multivalentes  Logistique  Mathématiques -- Philosophie  Mise à jour de théories  Modal logic  Modalité  Modularité  Modularité  Modèles linguistiques  Modélisation logique  Méthode de tableaux  Observation d'ordre supérieur  Ontologies  Ontology  Paradoxe de la connaissabilité  Pertinence Possibiliste  Philosophie de l'action  Philosophie de la connaissance  Philosophie de la logique  Philosophy of action  Planification -- Informatique  Planification  Planification automatisée  Planification hiérarchisée  Planification épistémique  Pragmatique  Pragmatisme  Prise de décision -- Modèles mathématiques  Problème du bavardage  Problème du décor  Programmation logique  Programmation orientée ensemble réponse  Programmation orientée objets  Préférences Utilisateur  Préférences sociales  Psychologie cognitive  Questions  Raisonnement  Raisonnement causal  Raisonnement sur actions et plans  Raisonnement sur la connaissance  Raisonnement sur les actions  Rationalité  Recherche Intelligente d'Informations  Relations humaines  Représentation de l'action  Représentation des connaissances  Règles de production  Règles existentielles  Réseaux Petits Mondes Hiérarchiques  Réseaux Possibilistes  Réseaux logiques programmables par l'utilisateur  Révision des croyances  Sciences cognitives  Spécification épistémique  Stit  Système Multi-Agent  Systèmes d'aide à la décision  Systèmes informatiques  Systèmes multi-agent  Systèmes multi-agents  Sémantique  Sémantique structurale  Technologie de l'information  Théorie de la connaissance  Théorie des jeux  Théorèmes -- Démonstration automatique  Traitement automatique des langues  Traitement réparti  Valeurs de vérité généralisées  Vue-monde  Émotions  

Andreas Herzig a rédigé la thèse suivante :

Raisonnement automatique en logique modale et algorithmes d'unification

par Andreas Herzig sous la direction de Luis Fariñas del Cerro - Toulouse 3

Sciences appliquées
Soutenue en 1989
Thèse soutenue


Andreas Herzig a dirigé les 19 thèses suivantes :

Raffinement des intentions

par Zhanhao Xiao sous la direction de Andreas Herzig et de Dongmo Zhang . - Toulouse 1

Informatique
Soutenue le 12-12-2017
Thèse soutenue

Accéder en ligne

Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications

par Faustine Maffre sous la direction de Andreas Herzig et de Emiliano Lorini . - Toulouse 3

Intelligence artificielle
Soutenue le 23-09-2016
Thèse soutenue

Accéder en ligne

A modal approach to model computational trust

par Seifeddine Kramdi sous la direction de Andreas Herzig et de Guillaume Feuillade . - Toulouse 3

Intelligence artificielle
Soutenue le 05-10-2015
Thèse soutenue

Accéder en ligne

Extensions of equilibrium logic by modal concepts

par Ezgi Iraz Su sous la direction de Luis Fariñas del Cerro , Andreas Herzig et de David J. Pearce . - Toulouse 3

Intelligence artificielle
Soutenue le 20-03-2015
Thèse soutenue

Accéder en ligne

The bonds of society : an interdisciplinary study of social rationality

par Frédéric Moisan sous la direction de Andreas Herzig , Astrid Hopfensitz et de Emiliano Lorini . - Toulouse 3

Intelligence artificielle
Soutenue en 2013
Thèse soutenue

Accéder en ligne

Une formalisation de l'intention communicative et des actes de langage expressifs

par Nadine Guiraud sous la direction de Andreas Herzig et de Emiliano Lorini . - Toulouse 3

Intelligence artificielle
Soutenue en 2013
Thèse soutenue

Accéder en ligne

Mechanism design for dynamic double auctions

par Dengji Zhao sous la direction de Andreas Herzig , Laurent Perrussel et de Dongmo Zhang . - Toulouse 1

Informatique
Soutenue le 27-06-2012
Thèse soutenue

Accéder en ligne

Saripod : système multi-Agent de Recherche Intelligente POssibiliste de Documents Web

par Bilel Elayeb sous la direction de Mohamed Ben Hamed et de Andreas Herzig . - Toulouse, INPT

Informatique
Soutenue le 26-06-2009
Thèse soutenue

Accéder en ligne

E-market mechanism design for supply chain management

par Masabumi Furuhata sous la direction de Andreas Herzig - Toulouse 1

Informatique
Soutenue en 2009
Thèse soutenue

La génération de conséquences en logique modale

par Meghyn Bienvenu sous la direction de Andreas Herzig - Toulouse 3

Informatique
Soutenue en 2009
Thèse soutenue

Accéder en ligne

Formalizing social attitudes in modal logic

par Benoît Gaudou sous la direction de Andreas Herzig et de Dominique Longin . - Toulouse 3

Informatique. Intelligence artificielle
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Perspectives on belief and change

par Guillaume Aucher sous la direction de Andreas Herzig - Toulouse 3

Science. InformatiqueScience. Informatique
Soutenue en 2008
Thèse soutenue

Accéder en ligne

Optimal methods for reasoning about actions and plans in multi-agent systems

par Tiago de Lima sous la direction de Andreas Herzig - Toulouse 3

Informatique
Soutenue en 2007
Thèse soutenue

Accéder en ligne

Independent agents in branching time : towards a unified framework for reasoning about multiagent systems

par Nicolas Troquard sous la direction de Andreas Herzig et de Laure Vieu . - Toulouse 3

Informatique et télécommunicationsInformatique et télécommunications
Soutenue en 2007
Thèse soutenue

Emotions : from psychological theories to logical formalization and implementation in BDI agent

par Carole Adam sous la direction de Andreas Herzig - Toulouse, INPT

Intelligence artificielle
Soutenue en 2007
Thèse soutenue

Accéder en ligne

What is a good domain description?

par Ivan José Varzinczak sous la direction de Andreas Herzig - Toulouse 3

Intelligence artificielle
Soutenue en 2006
Thèse soutenue

Un démonstrateur automatique basé sur la méthode de tableaux pour les logiques modales : implémentation et études de stratégies

par Mohamad Sahade sous la direction de Andreas Herzig - Toulouse 3

Intelligence artificielle
Soutenue en 2006
Thèse soutenue

Une logique pour la planification en environnement partiellement observable

par Thomas Polacsek sous la direction de Andreas Herzig - Toulouse 3

Informatique
Soutenue en 2004
Thèse soutenue

Structures sémantiques et pragmatiques pour la modélisation de la cohérence dans des dialogues finalisés

par Laurent Prévot sous la direction de Andreas Herzig et de Andrée Borillo . - Toulouse 3

Informatique. Intelligence artificielle
Soutenue en 2004
Thèse soutenue


Andreas Herzig a été rapporteur des 3 thèses suivantes :

La logique de l'agent rationnel

par Ekaterina Kubyshkina sous la direction de Pierre Wagner - Paris 1

Philosophie
Soutenue le 30-01-2018
Thèse soutenue

Extension d'ASP pour couvrir des fragments DL traitables : étude théorique et implémentation

par Fabien Garreau sous la direction de Igor Stephan - Angers

Informatique et applications
Soutenue le 24-11-2016
Thèse soutenue

Accéder en ligne

Logical modelling of reasoning and learning : a bio-inspired approach

par Christel Grimaud sous la direction de Shahid Rahman - Lille 3

Philosophie
Soutenue le 31-03-2016
Thèse soutenue

Accéder en ligne
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales