Jelenlegi hely

Extra szeminárium

Tisztelt Kollegak!

Rondogiannis professzor holnapi eloadasa 14:00 oratol, az Irinyi epulet
tanacstermeben (III. lepcsohaz, MAGASFOLDSZINT, bal oldali folyoson jobbra)
lesz.
Mivel a folyosora es a tanacsterembe valo bejutashoz az itteni zarakhoz
beregisztralt dolgozoi kartya szukseges, mikor az ajtok mar csukva vannak,
ezert kerunk minden erdeklodot, hogy lehetoseg szerint legkesobb kezdesre
erkezzen.

Minden kedves erdeklodot szeretettel varunk!

A szeminarium szervezoi

Panagiotis Rondogiannis
(University of Athens)

The Infinite-Valued Semantics for Negation in Logic Programming

The infinite-valued semantics was introduced as a purely logical way for
capturing the meaning of well-founded negation in logic programming.
The purpose of this talk is threefold: first, to give a non-technical
introduction to the infinite-valued semantics; second, to discuss the
applicability of the infinite-valued approach for expressing preferences
in logic programming; and third, to present certain interesting
applications of the technique in formal language theory (and Boolean
grammars in particular).