Abstract is missing.
- Alternating Fixpoint Semantics for Disjunctive Logic ProgramsCristian Papp. 11-23
- Cautious Models for General Logic ProgramsTomi Janhunen. 25-39
- An Introspective Framework for Paraconsistent Logic Programs and Disjunctive DatabasesJia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel. 41-55
- Reducing the Arity of Recursive Predicates by Realigning Some PredicatesXiaoyong Du, Naohiro Ishii. 57-69
- An Extended Magic Sets Strategy for a Rule Language with Updates and TransactionsPaulo Jorge de Sousa Azevedo, Danilo Montesi. 71-80
- Generating Specialised Update Procedures Through Partial Deduction of the Ground RepresentationMichael Leuschel, Bern Martens. 81-95
- Towords a Constraint-based Implementation of F-LogicLiviu-Virgil Ciortuz, Mihaela Juganaru. 97-109
- An Abductive Framework to Handle Consistency-preserving Updates in Deductive DatabasesErnest Teniente. 111-125
- Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity CheckingKnut Hinkelmann. 127-141
- Abductive Reasoning, Belief Expansion and Nonmonotonic CesequenceMaurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo. 143-158
- Alternative Reasoning in a Metaprogramming SystemHenning Christiansen. 175-186
- Using Event Calculus for Protocol Specification: An ExperimentMarc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye. 187-201