Course

Epistemic Logic Programs (ELPs) are an extension of Answer Set Programming (ASP) with epistemic operators that allow for a form of meta-reasoning, that is, reasoning over multiple possible worlds, though modal operators K and M. ELPs offer the same advantages as ASP, namely a fully declarative, intuitive language for modelling and problem encoding, plus the extra espressivity provided by epistemic operators. The course will cover semantic approaches to ELPs, computational complexity, and possible practical applications.

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.