| Title | .... 2 | |
| Abstract | .... 3 | |
| 1 | Introduction | .... 4 |
| 2 | Logic Programs with Uncertainties | .... 5 |
| 3 | Semantics for Logic Programs with Uncertainties | .... 6 |
| 4 | Proof procedure for Logic Programs with Uncertainties | .... 9 |
| 5 | Negation as failure in Logic Programs with Uncertainties | .... 13 |
| 6 | Certainties as Control | .... 19 |
| 7 | Conclusions | .... 19 |
| Acknowledgements | .... 21 | |
| References | .... 22 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports