Accepted Papers
UPDATES:
J. Leite and L. Pereira:
Generalizing Updates: From Models to Programs
Get it
A. Yahya:
Updates in Disjunctive Deductive Databases: A Minimal Model Based Approach
Get it
ABDUCTION:
R. Li, L. Pereira and V. Dahl:
Refining Action Theories Through Abductive Logic Programming
Get it
E. Lamma, M. Milano, P. Mello and F. Riguzzi:
A System for Learning Abductive Logic Programs
Get it
K. Wang:
Abduction, argumentation and bi-disjunctive LP
Get it
PRIORITIES:
G. Brewka:
Preferred Answer Sets
Get it
M. Gelfond and T.C. Son:
Reasoning with Prioritized Defaults
Get it
SEMANTICS:
Derrick Kheden:
A Model Based Semantics for Integrity in Deductive Databases
Get it
Greco, N. Leone and F. Scarcello:
Disjunctive Datalog with Nested Rules
Get it
D. Seipel:
Partial Evidential Stable Models for Disjunctive Databases
Get it
L.-Y. Yuan and J.-H. You:
An Introspective Logic of Belief
Get it
Juergen Dix
Last modified: Tue Sep 23 17:13:15 MET DST 1997