|
|
||
|
8:45- 8:50
|
|
|
|
8:50-10:00
|
Invited talk: Victor Marek, Nonmonotonic Reasoning: recent advances, questions and future directions (Ten Mile) | |
|
10:00-10:30
|
|
|
|
10:30-12:00
|
Aspen/Bighorn NMR: Torsten Schaub - session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
10:30-11:00
|
M. Hietalahti, F. Massacci, I. Niemela, DES: a challenge problem for nonmonotonic reasoning systems | OSCAR(1), SATEN(1) |
|
11:00-11:30
|
P. Nicolas, F. Saubion, I. Stephan, Genetic algorithms for extension serach in default logic | SNePS(1), ACLP(1) |
|
11:30-12:00
|
K. Satoh, H. Okamoto, Computing circumscriptive databases by integer programming: revisited | E-RES(1), SLDNF(1) |
|
12:00-13:30
|
|
|
|
13:30-15:30
|
NMR: Fangzhen Lin -session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
13:30-14:00
|
Y. Babovich, E. Erdem, V. Lifschitz, Fages' theorem and answer set programming | PAL(1), XNMR(1) |
|
14:00-14:30
|
J. Delgrande, T. Schaub, H. Tompits, Logic programs with compiled preferences | PAL(2), XNMR(2) |
|
14:30-15:00
|
M. Denecker, Extending classical logic with inductive definitions | dlv(1), QUIP(1) |
|
15:00-15:30
|
|
|
|
15:30-16:30
|
NMR: Jim Delgrande - session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
15:30-16:00
|
G. Antoniou, D. Billington, G. Governatori, M. Maher, A flexible framework for defeasible logics | OSCAR(2), SATEN(2) |
|
16:00-16:30
|
L. Bovens, S. Hartmann, Coherence, belief expansion and bayesian networks | OSCAR(3), SATEN(3) |
|
16:30-17:00
|
SNePS(2), SLDNFA(2) | |
|
17:00-17:30
|
SNePS(3), SLDNFA(3) | |
|
17:30-18:00
|
|
|
|
18:00-20:00
|
|
|
|
|
||
|
8:30- 9:15
|
Invited tutorial: Ilkka Niemela, Answer Set Programming, part 1 (Ten Mile) | |
|
9:15- 9:30
|
|
|
|
9:30-10:15
|
Invited tutorial: Ilkka Niemela, Answer Set Programming, part 2 (Ten Mile) | |
|
10:15-10:30
|
|
|
|
10:30-12:00
|
Joint NMR and BR session: Mary-Anne Williams - session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
10:30-11:00
|
G. Brewka, Declarative Representation of Belief Revision Strategies | PAL(3), XNMR(3) |
|
11:00-11:30
|
R. Booth, The Lexicographic Closure as a revision Process | smodels(1), GADEL(1) |
|
11:30-12:00
|
T. Meyer, The semantics of merging | dcs(1), PREFERRED(1) |
|
12:00-14:00
|
|
|
|
14:00-16:00
|
Belief revision: Maurice Pagnucco - session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
14:00-14:30
|
J. Delgrande, T. Schaub, A consistency-based model for belief change | E-RES(2), QUIP(2) |
|
14:30-15:00
|
F. Johnson, S. Shapiro, Implementing integrity constraints in an existing belief revision system | E-RES(3), QUIP(3) |
|
15:00-15:30
|
S. Chopra, K. Georgatos, R. Parikh, Relevance Sensitive Non-monotonic Inference on BeliefSequences | dlv(2), ACLP(2) |
|
15:30-16:00
|
G. Kern-Isberner, Conditional indifference and conditional preservation | dlv(3), ACLP(3) |
|
16:00-16:30
|
|
|
|
16:30-18:30
|
Belief revision: Samir Chopra - session chair (Aspen/Bighorn) | Systems descriptions and demonstrations: Juergen Dix - session chair (Ten Mile) |
|
16:30-17:00
|
R. Wassermann, Local Diagnosis | smodels(2), GADEL(2) |
|
17:00-17:30
|
A. Darwiche, On the tractability of counting theory models and its application to belief revision and truth maintenance | smodels(3), GADEL(3) |
|
17:30-18:00
|
R. Lau, A.H.M. ter Hofstede, P.D. Bruza, Applying max-adjustment to adaptive information filtering agents | dcs(2), PREFERRED(2) |
|
18:00-18:30
|
dcs(3), PREFERRED(3) | |
|
|
||
|
9:00-10:00
|
Invited talk: Didier Dubois, invited talk (Ten Mile) | |
|
10:00-10:30
|
|
|
|
10:00-10:30
|
Uncertainty frameworks in NMR (Aspen/Bighorn) | Abductive reasoning; Tony Kakas - session chair (Ten Mile) |
|
10:30-11:00
|
A. Darwiche, Non-monotonic reasoning using bayesian network compilation | N. Pelov, E. De Mot, M. Bruynooghe, A comparison of logic programming approaches for representation and solving of constraint satisfaction problems |
|
11:00-11:30
|
M.Y. Khayata, D. Pacholczyk, A statistical probability theory for a symbolic management of quantified assertions | K. Satoh, Consistency management of normal logic program by top-down abductive proof procedure |
|
11:30-12:00
|
T. Lukasiewicz, Probabilistic default reasoning with conditional constraints | B. Van Nuffelen, M. Denecker, Problem solving in ID-logic with aggregates: some experiments |
|
12:00-13:30
|
|
|
|
13:30-15:30
|
Uncertainty frameworks in NMR (Aspen/Bighorn) | Abductive reasoning: Francesca Toni - session chair (Ten Mile) |
|
13:30-14:00
|
A. Gilio, Precise propagation of upper and lower probability bounds in System P | D. T. Dupre, Abductive and consistency-based diagnosis revisited: A modeling Perspective |
|
14:00-14:30
|
R. Da Silva Neves, J.F. Bonnefon, E. Raufaste, Rationality in human nonmonotonic inference | J. Gartner, T. Swift, A. Tien, C.V. Damasio, L.M. Pereira, Psychiatric diagnosis from the view of computational logic |
|
14:30-15:00
|
L. Godo, R. Rodriguez, A short note on nonmonotonic inferences induced by graded similarity | N. Mellouli, B. Bouchon-Meunier, Fuzzy approaches to abductive inference |
|
15:00-15:30
|
R.R. Yager, Nonmonotonicity and compatibility relations in belief structures | Discussion: evaluation of the role of abductive reasoning in Artificial Intelligence, its problems and challenges |
|
15:30-16:00
|
|
|
|
16:00-18:00
|
Uncertainty frameworks in NMR (Aspen/Bighorn) | Reasoning about action and planning (Ten Mile) |
|
16:00-16:30
|
J. Kohlas, R. Haenni, D. Berzati, Probabilistic argumentation systems and abduction | S. Holldoebler, H.-P. Stoerr, BDD-based reasoning in the fluent calculus - first results |
|
16:30-17:00
|
L. Amgoud, C. Cayrol, A reasoning model based on the production of acceptable arguments | H. Grosskreutz, G. Lakemeyer, cc-Golog: towards more realistic logic-based robot controllers |
|
17:00-17:30
|
S. Benferhat, D. Dubois, S. Kaci, H. Prade, Encoding classical fusion in ordered knowledge bases framework | M. Bruynooghe, Logic programming for describing and solving planning problems |
|
17:30-18:00
|
W. Liu, M.-A. Williams, A framework for multi-agent belief revision: Part II, A layered model and shared knowledge structure | A. Kakas, R. Miller and F. Toni, Planning with incomplete information |
|
18:00-18:15
|
|
|
|
18:15-19:00
|
|
|