NMR 2004
Call for Papers
Important Dates
Programme Committee
Registration
Location
Accommodation
Programme
Invited
Author Instructions

SUBWORKSHOPS
Foundations of Nonmonotonic Reasoning
Computational Aspects of Nonmonotonic Reasoning
Action and Causality
Belief Change
Uncertainty Frameworks
Argument, Dialogue and Decision

SPONSORS
NMR logo

International Workshop on
Non-Monotonic Reasoning

June 6-8, 2004
Westin Whistler Resort and Spa,
Whistler BC, Canada


Sunday June 6 | Monday June 7 | Tuesday June 8

Programme for Sunday June 6

9:00 - 10:30am
08:50-09:00 Welcome and opening remarks

09:00-10:00 Mirek Truszczynski, "Answer-set programming - directions and challenges"

10:00-10:30 Coffee break
10:30-12:00pm

Workshop 1 - Foundations of NMR

R. Milnikel,
"Sequent Calculus for Skeptical Reasoning in Autopeistemic Logic"

V. Marek and J. Remmel,
"Answer set programming with default logic"

Q. Han and Z. Lin,
"Paraconsistent Default Reasoning"

Workshop 1 - Uncertainty Frameworks

L. Amgoud, M. Lagasquie, C. Cayrol
"On the bi-polarity in argumentation framework"

Meltem Özturk and Alexis Tsoukias
"Modelling continuous positive and negative reasons in decision aiding"

S. Kaci, D . Dubois, H. Prade
"Conditional and logical representation of positive information in possibility theory"

12:00-1:30pm
Lunch Break
1:30-3:30pm

Workshop 2 - Foundations of NMR

M. Balduccini, V. Mellarkod,
"CR-prolog with ordered disjunction"

N. Pelov and M. Truszczynski,
"Semantics of Disjunctive Programs with Monotone Aggregates - an Operator-based Approach"

P. Nicolas, L. Garcia, I. Stephan,
"A possibilistic approach to restore consistency in Answer Set Programming"

J. Vennekens, D. Gilis, and M. Denecker,
"Splitting an operator: An algebraic modularity result and its application to auto-epistemic logic"

Workshop 2 - Uncertainty Frameworks

A. Gilio
"On Csaszar condition in nonmonotonic reasoning"

Lorenzo Sacconi, Stefano Moretti
"Fuzzy Social Norms, Default Reasoning and Equilibrium Selection in Games under Unforeseen Contingencies and Incomplete Knowledge."

Gregory Wheeler
"A Resource Bounded Non-monotonic Logic,"

Miodrag Raskovic, Zoran Ognjanovic and Zoran Markovic
"A Probabilistic Approach to Default Reasoning"

3:30-4:00pm
Coffee Break
4:00-6:00pm

Workshop 3- Foundations of NMR

G. Brewka,
"A Rank Based Description Language for Qualitative Preferences"

D. Billington,
"A plausible logic which detects loops"

J. Sefranek,
"Semantic considerations on rejection"

Workshop 3 - Uncertainty Frameworks

Guilin Qi, Weiru Liu
"Combining individually inconsistent prioritized knowledge bases"

Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
"Logic Programs with Annotated Disjunctions"

L. Iocchi, T. Lukasiewicz, D. Nardi, R. Rosati
"Qualitative and Probabilistic Uncertainty in Reasoning About Actions with Sensing"

X. An, Y. Xiang, and N. Cercone
"Probabilistic Reasoning in a Dynamic Multiagent Systems"

 


© 2003 Pacific Institute for the Mathematical Sciences
Last Modified: Monday, 25-Aug-2003 12:27:57 PDT