Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Andreas Herzig
Andreas Herzig
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Raisonnement automatique en logique modale et algorithmes d'unification
Directed Thesis:
Raffinement des intentions
Mechanism design for dynamic double auctions
Saripod : système multi-Agent de Recherche Intelligente POssibiliste de Documents Web
La génération de conséquences en logique modale
E-market mechanism design for supply chain management
Optimal methods for reasoning about actions and plans in multi-agent systems
Une logique pour la planification en environnement partiellement observable