Presentations and Authors


Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track:
 

Frontmatter

Invited Talks PDF
Craig Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, Moshe Y. Vardi

Full Papers

Efficiently Computable Datalogāˆƒ Programs PDF
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
Abstract Normative Systems: Semantics and Proof Theory PDF
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata
Ordered Epistemic Logic: Semantics, Complexity and Applications PDF
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker