Accepted Papers


  • 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


  • 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


  • G. Brewka:
    Preferred Answer Sets
    Get it

  • M. Gelfond and T.C. Son:
    Reasoning with Prioritized Defaults
    Get it


  • 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