PHD Theses

Constraints meet concurrency

By Jacopo Mauro Università di Bologna 10 Maggio 2012 Abstract e investigate the benefits that emerge when the fields of constraint programming and concurrency meet. On one hand, constraints can be use in concurrency theory to increase the conciseness and…

Dynamic Magic Sets

By Mario Alviano Unical Dicembre 2010 Abstract Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models.…

Normal Form Nested Programs

By Annamaria Bria Unical February 2010 ABSTRACT In Disjunctive Logic Programming (DLP) the heads (resp. the bodies) of rules are disjunctions (resp. conjunctions) of simple constructs, viz. atoms and literals. DLP, under the answer set semantics, is established as an…