NMR 2000 - Technical contributions

Invited Talks

Victor W. Marek, Nonmonotonic Reasoning: recent advances, questions and future directions
Ilkka Niemela, Answer Set Programming
Didier Dubois, Exploring the potentials of ordinal representations of uncertainty

Non-monotonic reasoning - regular track

G. Antoniou, D. Billington, G. Governatori, M. Maher, A flexible framework for defeasible logics
Y. Babovich, E. Erdem, V. Lifschitz, Fages' theorem and answer set programming
L. Bovens, S. Hartmann, Coherence, Belief Expansion and Bayesian Networks
G. Brewka, Declarative representation of revision strategies
J. Delgrande, T. Schaub, H. Tompits, Logic programs with compiled preferences
M. Denecker, Extending classical logic with inductive definitions
M. Hietalahti, F. Massacci, I. Niemela, DES: a challenge problem for nonmonotonic reasoning systems
T. Meyer, On the semantics of merging
P. Nicolas, F. Saubion, I. Stephan, Genetic algorithms for extension serach in default logic
K. Satoh, H. Okamoto, Computing circumscriptive databases by integer programming: revisited

Abductive reasoning

D.T. Dupre, Abductive and consistency-based diagnosis revisited: A modeling Perspective
J. Gartner, T. Swift, A. Tien, C.V. Damasio, L.M. Pereira, Psychiatric diagnosis from the view of computational logic
N. Mellouli, B. Bouchon-Meunier, Fuzzy approaches to abductive inference
N. Pelov, E. De Mot, M. Bruynooghe, A comparison of logic programming approaches for representation and solving of constraint satisfaction problems
K. Satoh, Consistency management of normal logic program by top-down abductive proof procedure
B. Van Nuffelen, M. Denecker, Problem solving in ID-logic with aggregates: some experiments

Belief revision: theory and practice

H. Arlo-Costa, Hypothetical revision and matter-of-fact supposition
R. Booth, The lexicographic closure as a revision process
S. Chopra, K. Georgatos, R. Parikh , Relevance sensitive non-monotonic inference on belief sequences
A. Darwiche, On the tractable counting of theory models and its application to belief revision and truth maintenance
J. Delgrande, T. Schaub, A consistency-based model for belief change: preliminary report
F. Johnson, S. Shapiro, Implementing integrity constraints in an existing belief revision system
G. Kern-Isberner, Conditional indifference and conditional preservation
R. Lau, A.H.M. ter Hofstede, P.D. Bruza , Applying maxi-adjustment to adaptive information filtering agents
R. Wassermann, Local diagnosis

Representing action and planning

M. Bruynooghe, Logic programming for describing and solving planning problems
Grosskreutz, G. Lakemeyer, cc-Golog: towards more realistic logic-based robot controllers
S. Hoelldobler, H.-P. Stoerr, BDD-base reasoning in the fluent calculus - first results
A. Kakas, R. Miller, F. Toni, Planning with incomplete information

System demonstrations and descriptions

P. Cabalar, M. Cabarcos, R.P. Otero, PAL: Pertinence Action Language
L. Castro, D. Warren, XNMR: A tool for knowledge bases exploration
J. Delgrande, T. Schaub, H. Tompits, A Compiler for Ordered Logic Programs
D. East, M. Truszczynski, dcs: An implementation of Datalog with Constraints
U. Egly, Th. Eiter, H. Tompits, S. Woltran, QUIP: A tool for Computing Nonmonotonic Reasoning Tasks
Th. Eiter, W. Faber, C. Koch, N. Leone, G. Pfeifer DLV: A system for declarative problem solving
A. Kakas, ACLP: Integrating Abduction and Constraint Solving
A. Kakas, R. Miller, F. Toni, E-RES: A System for Reasoning about Actions, Events and Observations
I. Niemela, P. Simons, T. Syrjanen, Smodels: A system for answer set programming
J. Pollock, Defeasible reasoning in OSCAR
S. Shapiro, F. Johnson, Automatic Belief Revision in SNePS
I. Stephan, F. Saubion, P. Nicolas, Description of GADEL
B. Van Nuffelen, SLDNFA
M.-A. Williams, A. Sims, SATEN: an object-oriented web-based revision and extraction engine

Uncertainty frameworks in NMR

L. Amgoud, C. Cayrol, A reasoning model based on the production of acceptable arguments
S. Benferhat, D. Dubois, S. Kaci, H. Prade, Encoding classical fusion in ordered knowledge bases framework
A. Darwiche, On the role of partial differentiation in probabilistic inference
A. Gilio, Precise propagation of upper and lower probability bounds in System P
L. Godo, R. Rodriguez, A short note on nonmonotonic inferences induced by graded similarity
M.Y. Khayata, D. Pacholczyk, A statistical probability theory for a symbolic management of quantified assertions,
J. Kohlas, R. Haenni, D. Berzati, Probabilistic argumentation systems and abduction
W. Liu, M.-A. Williams, A framework for multi-agent belief revision: Part II, A layered model and shared knowledge structure
T. Lukasiewicz, Probabilistic default reasoning with conditional constraints
R. Da Silva Neves, J.F. Bonnefon, E. Raufaste, Rationality in human nonmonotonic inference
R.R. Yager, Nonmonotonicity and compatibility relations in belief structures

Posters

Authors of all papers accepted for presentation are encouraged, in addition to their regular talk, to give a poster presentation, as well. In addition, the following three papers were accepted as posters.

M. Denecker, A note on the declarative reading(s) of logic programming
C. Vodislav, R.E. Mercer, Optimal belief revision
R. Watson, A Splitting Set Theorem for Epistemic Specifications