نتایج جستجو برای: msc

تعداد نتایج: 13150  

2012
Sonja Smets Frank Veltman

Defeasible inheritance networks provide a fruitful environment for modeling default reasoning. In this paper we aim to enhance their expressive power with the idea of abnormality minimisation, which plays a crucial role in circumscription. We implement it in two alternative network-based frameworks. The rst is in line with the received way of modeling default reasoning by means of inheritance n...

2016

Mérnökinformatikus MSc keresztféléves mintatanterv TÁRGY ea. gy. lab. kr. előfeltétel I. félév (tavasz) Optimalizálás alkalmazása [1] 2 1 4+0 Formális módszerek [2]

2016

Mérnökinformatikus MSc keresztféléves mintatanterv TÁRGY ea. gy. lab. kr. előfeltétel I. félév (tavasz) Optimalizálás alkalmazása [1] 2 1 4+0 Formális módszerek [2]

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید