UNIL
le savoir vivant
You are here: UNIL > Programmes > Card-index course
Français | English   Print   
SELECT DISTINCT plhoraire.SchemaId as SchemaId, plschema.HDeb, plschema.MDeb, plschema.HFin, plschema.MFin, temps.jour, plschema.descriptionVa as description, plschema.sujetVa as sujet, codesml.Descrip FROM plschema, plhoraire, temps, semestre, codesml, plblocens be, pletape e WHERE plschema.EnstyId = 33506 AND plschema.AnAcad IN (2015) AND plschema.schemaid = plhoraire.schemaid AND temps.journo = plhoraire.journo AND temps.sempos = semestre.sempos AND semestre.sempos IN (152) AND semestre.semanacad = plschema.anacad AND semestre.semesc = plhoraire.semesc AND plschema.ModexC = codesml.CodeId AND codesml.LanCode = 8 AND (plschema.SemesC IS NULL OR plschema.SemesC = plhoraire.SemesC) AND plschema.EnstyId = be.EnstyId AND be.BlocId = e.BlocId AND (plschema.EtapeId IS NULL OR plschema.EtapeId = e.EtapeId) ORDER BY temps.jour, plschema.HDeb, plschema.MDeb, plschema.HFin, plschema.MFin

Card-index course

Travaux pratiques en relation au séminaire avancé "Introduction à la logique II"

Responsible Faculty: Faculty of Arts

Teacher(s): Chloé Morend
Lecturer(s): -

Validity: 2011 -> 2011

No timetable defined.

Practical work

Spring semester
2 hours per week
28 hours per semester

Teaching language(s): french
Public: No
Credits: 0
Course notes: Yes

Content

Un modèle pour la connaissance : le modèle des mondes possibles. Connaissance commune, connaissance distribuée, connaissance multi-agents. Contrefactuels, incertitude, croyances et révision des croyances. Réseaux bayesiens. Logiques pour raisonner sur l'incertitude.

Bibliography

Ronald Fagin, Yoram Moses, Moshe Y. Vardi : Reasoning about Knowledge. MIT Press (2003).
Joseph Y. Halpern : Reasoning about Uncertainty. MIT Press (2005) Logic. University of Chicago Press, 1996

Access requirements

http://www.hec.unil.ch/logique/enseignement/

Additional information

http://www.hec.unil.ch/logique/enseignement/

Use contextFaculty codeStatusCredits
(2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 09Optional
(2005 ->) ›› External Courses In Quantitative Methods - BA/20-DB 08Optional
(2005 ->) ›› External Courses in Quantitative Methods - BA/20-DB 04Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Advanced Mathematical Methods - MA/20-SP 06 Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 08Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 06Optional
Master of arts, Computer Science and Mathematical Methods (2007 ->) ›› External Courses in Quantitative Methods - BA/20-DC 07Optional
(2005 ->) ›› Philosophical Domains I - BA/01-DB 0711 01 036Facultative
Canton de Vaud
Swiss University
Unicentre  -  CH-1015 Lausanne  -  Suisse  -  Tél. +41 21 692 11 11  -  Fax  +41 21 692 26 15