Printable PDF version.

NMR 2010 WORKSHOP PROGRAM
Saturday May 15
Regular talks will have 30 minutes each, including discussion
08:30-09:00 Early morning Coffee/Tea
09:00-10:00
Invited talk: Torsten Schaub Arming Tweety with Jet Engines (is not enough) (Wellesley
Room)
Coffee/Tea Break
10:30-12:00 S5: ACTION AND BELIEF CHANGE
(Wellesley Room)
A Contraction Core for Horn Belief
Change: Preliminary Report, Richard
Booth, Thomas Meyer, Ivan Varzinczak,
Renata Wassermann
An Approach to Revising Logic Programs
under the Answer Set Semantics, James P.
Delgrande
On belief dynamics of dependancy relations
for extended logic programs, Patrick
Krumpelmann, Gabriele Kern-Isberner
Lunch Break
S6: NMR AND UNCERTAINTY (Rosedale
Room)
On the problem of grounding a relational
probabilistic conditional knowledge base,
Sebastian Loh, Matthias Thimm, Gabriele
Kern-Isberner
Is it possible to define graphical models in
Dempster-Shafer theory of evidence?, Radim
Jirousek
Nonmonotonic features and uncertainty in
reasoning with analogical proportions, Henri
Prade, Gilles Richard
14:00-15:00 Invited talk: Franz Baader Axiom Pinpointing in Description Logics (Wellesley Room)
Coffee/Tea Break
15:30-17:00 S7: NMR and ONTOLOGIES /
PREFERENCES AND NORMS (Wellesley
Room)
Ontology Development with 4-Valued
Implication Connectives, Cristian Cocos,
Wendy MacCaull
Semantic Diff as the Basis for Knowledge
Base Versioning, Enrico Franconi, Thomas
Meyer, Ivan Varzinczak
Subsumption and count as relation in
argument ontologies, Guido Boella, Dov
Gabbay, Serena Villata
17:00- NMR Reception
S8: DECLARATIVE PROGRAMMING
AND SYSTEMS / ARGUMENT, DIALOG
AND DECISION (Rosedale Room)
On the Stable Model Semantics of First-
Order Formulas with Aggregates, Paolo
Ferraris, Vladimir Lifschitz
Representing Synonymity in Causal Logic
and in Logic Programming, Joohyung Lee,
Yuliya Lierler, Vladimir Lifschitz, Fangkai
Yang
Temporal Defeasible Logic Has Linear
Complexity, Guido Governatori and
Antonino Rotolo