9. NMR 2002:
: Visual Data Extraction Through Visual Logic Programming.
: Linking Makinson and Kraus-Lehmann- Magidor preferential entailments.
: Interpolation theorems for nonmonotonic reasoning systems.
: Intuitions and the modelling of defeasible reasoning: some case studies.
Changing and Integrating Information:
From Theory to Practice
Answer Set Programming and Abductive Reasoning
: Unifying abductive logic programming and stable logic programming.
: Speculative computation and abduction for an autonomous agent.
: Alternative characterizations for strong equivalence of logic programs.
, Kewen Wang
: Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report.
Uncertainty Frameworks in NMR
: Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence.
: Default epistemology rankings, reasoning and revision (a very preliminary account).
, Peter McBurney
: Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts.
: Nonmonotonic inference operators for fuzzy logic.
Representing Action and Change
: Learning non-monotonic causal theories from narratives of actions.
Argument, Dialogue and Decision
Paul E. Dunne
: On concise encodings of preferred extensions.
: On the existence and multiplicity of extensions in dialectical argumentation.