Sorted Multi-adjoint Logic Programs: Termination Results and Applications
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Sorted Multi-adjoint Logic Programs: Termination Results and ApplicationsLecture Notes in Computer Science, 2004
- Hybrid Probabilistic Logic Programs as Residuated Logic ProgramsStudia Logica, 2002
- Fuzzy logic programmingFuzzy Sets and Systems, 2001
- Monotonic and Residuated Logic ProgramsLecture Notes in Computer Science, 2001
- Probabilistic logic programming with conditional constraintsACM Transactions on Computational Logic, 2001
- On a theory of probabilistic deductive databasesTheory and Practice of Logic Programming, 2001
- Hybrid probabilistic programsThe Journal of Logic Programming, 2000
- Best possible answer is computable for fuzzy SLD-resolutionPublished by Springer Science and Business Media LLC ,1996
- Theory of generalized annotated logic programming and its applicationsThe Journal of Logic Programming, 1992
- Quantitative deduction and its fixpoint theoryThe Journal of Logic Programming, 1986