Prochain séminaire : vendredi 5 décembre, 14h, salle des thèses
Constraint Modelling: A Challenge for First Order Automated Reasoning
John Slaney
Abstract The process of modelling a problem in a form suitable for solution by constraint satisfaction or operations research techniques, as opposed to the process of solving it once formulated, requires a significant amount of reasoning. Contemporary modelling languages separate the first order description or u201cmodelu201d from its grounding instantiation or u201cdatau201d. Properties of the model independent of the data may thus be established by first order reasoning. In this talk, I survey the opportunities arising from this new application direction for automated deduction, and note some of the formidable obstacles in the way of a practically useful implementation.
inscrivez-vous, réinscrivez-vous
| Date | Orateur | Titre / Abstract | Salle |
|---|---|---|---|
| 19/12 | John Slaney | The Bounds of Finitude: S3 and S4 | SdT |
| Date | Orateurice | Titre | |
|---|---|---|---|
| 27/06 | Doctorants 1er année | F. Schwartzenruber, P. Seban, M.H. Nguyen, Stéphanie Roussel, Réflexions sur la pertinence des informations | |
| 16/05 |
|
|
|
| 8/04 |
|
Résumé Multi-modal | |
| 28/03 | Hans van Ditmarsch | On knowledge, knowability, and ability | |
| 21/03 | Cédric Piette (Lens) |
|
|
| 14/03 |
|
Nepali grammar and NLP tools | |
| Didier Dubois* Mohua Banerjee | Un formalisme modal élémentaire pour raisonner sur les croyances explicites d'un autre agent abst. | ||
| 29/02 | Emiliano Lorini | Anchoring Institutions in Agents' Attitudes: Towards a Logical Framework for Autonomous Multi-Agent Systems. (abstract) | |
| 15/02 |
|
Robust Auctions for Resource Allocation | |
| 14/12 |
|
|
|
| Ph. Balbiani* F. Cheikh G. Feuillade | Composition of interactive Web services based on controller synthesis | ||
| 30/11 | Guillaume Aucher | A stroll in dynamic epistemic logic | |
| 23/11 | Nicholas Asher | Making the right commitment: Games and dialogue | |
| 9/11 | Guillaume Feuillade | Mu-calcul, automates d'arbres et jeux de parité | |
| 30/10 |
|
Voting on combinatorial domains | |
| 26/10 | Elise Bonzon*, Jérôme Lang, MC Lagasquie | Dependencies between players in Boolean games | BLL |
| Jonathan Ben-naim* & Emil Weydert | New ranking systems for trust evaluation | ||
| 28/9 | Guilin QI | Measuring incoherence in DL-based ontologies | |
| Philippe Balbiani Andreas Herzig | Comment décrire un modèle de Kripke fini par une formule modale finie | BH |