Logic Programming and Reasoning

Project

References

Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, and Guillermo R. Simari. Computing generalized specificity. Journal of Applied Non-Classical Logics, 13(1):87-113, 2003. [ http ]

Carlos I. Chesñevar, Jürgen Dix, Frieder Stolzenburg, and Guillermo R. Simari. Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science, 290(1):499-529, 2003.

Jürgen Dix and Frieder Stolzenburg. A framework to incorporate non-monotonic reasoning into constraint logic programming. Journal of Logic Programming, 37(1-3):47-76, 1998. Special issue on Constraint Logic Programming. Guest editors: Kim Marriott and Peter J. Stuckey.

Frieder Stolzenburg. A flexible system for constraint disjunctive logic programming. KI, 2/98:73-78, 1998.

Frieder Stolzenburg and Bernd Thomas. Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction - A Basis for Applications. Volume III: Applications, Applied Logic Series 10, pages 243-264. Kluwer Academic, Dordrecht, The Netherlands, 1998. Final Report of DFG-Schwerpunktprogramm Deduktion.

Frieder Stolzenburg. Disjunctive Logic Programming with Constraints and its Applications. Koblenzer Schriften zur Informatik 7. Fölbach, Koblenz, 1998. Dissertation. Reviewers: Ulrich Furbach and Joxan Jaffar.

Jürgen Dix and Frieder Stolzenburg. Computation of non-ground disjunctive well-founded semantics with constraint logic programming. In Jürgen Dix, Luís Moniz Pereira, and Teodor C. Przymusinski, editors, Selected Papers of Workshop on Non-Monotonic Extensions of Logic Programming at Joint International Conference and Symposium on Logic Programming 1996, LNAI 1216, pages 202-226, Bad Honnef, 1997. Springer, Berlin, Heidelberg, New York. [ http ]