The Davis-Putnam-Robinson theorem showed that every partially computable m-ary function f(a_1, . . . , a_m) = c on the natural numbers can be specified by means of an exponential Diophantine formula involving, along with parameters a_1, . . . , a_m, …
Abstract. We continue our exploration of the relationships between Description Logics and Set Theory, which started with the definition of the description logic ALCΩ. We develop a set-theoretic translation of the description logic ALCΩ in the set …
As the research in multi-agent domain continues to grow it is becoming more and more important to investigate the agents’ relations in such systems: not only to reason about agents’ perception of the world but also about agents’ knowledge of her and …
Damages to cultural heritage due to human malicious actions or to natural disasters (e.g., earthquakes, tornadoes) are nowadays more and more frequent. Huge work is needed by professional restores to reproduce, as best as possible, the original …