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  Axiomes modaux  Calcul des situations  Coalition  Coalition logic  Cohérence  Commerce électronique  Communication  Confiance  Confiance computationnelle  Connaissance  Consequence finding  Construction de modèles  Contraintes  Croyance  Croyance de groupe  Croyances graduelles  Dialogue  Discours  Document Pertinent  Décidabilité  Déduction  Déduction automatique  Economie expérimentale  Emotions  Enchères doubles  Ensemble réponse  Ensembles flous  Formalisation  Ignorance  Implication  Inconsistance  Intelligence Artificielle  Intelligence artificielle  Intelligence artificielle répartie  Intention communicative  Interrogation  Jeux booléens épistémiques  Knowledge compilation  L'évolution culturelle de la connaissance  Langages d'interrogation  Langages de communications entre agents  Langues  Liens sociaux  Linguistique -- Informatique  Logic de l'équilibre  Logique -- Philosophie  Logique  Logique BDI  Logique doxastique  Logique dynamique  Logique mathématique  Logique modale  Logique non monotone  Logique non-Monotone  Logique non-monotone  Logique épistémique  Logique épistémique dynamique  Logiques Modales  Logiques modales  Logiques modales pondérées  Logiques multivalentes  Logistique  Mathématiques -- Philosophie  Mise à jour de théories  Modal logic  Modalité  Modularité  Modularité  Modèles de Kripke  Modèles linguistiques  Modélisation logique  Multi-agent  Méthode de tableaux  Observation d'ordre supérieur  Ontologie alignements  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 automatique  Raisonnement causal  Raisonnement sur actions et plans  Raisonnement sur la connaissance  Raisonnement sur les actions  Raisonnement temporel  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  Solveurs  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 des jeux  Sémantique dialogique  Sémantique selon la théorie des jeux  Sémantique structurale  Technologie de l'information  Théorie de la connaissance  Théorie de la démonstration  Théorie des jeux  Théorie des sous-ensemble flous  Théorèmes -- Démonstration automatique  Traitement automatique des langues  Traitement automatique du langage naturel  Traitement réparti  Valeurs de vérité généralisées  Vue-monde  Émotions  

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


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

Informatique
Soutenue le 12-12-2017
Thèse soutenue
Intelligence artificielle
Soutenue le 05-10-2015
Thèse soutenue
Intelligence artificielle
Soutenue le 20-03-2015
Thèse soutenue

Informatique. Intelligence artificielle
Soutenue en 2008
Thèse soutenue
Science. Informatique
Soutenue en 2008
Thèse soutenue

Intelligence artificielle
Soutenue en 2006
Thèse soutenue


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

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