Any-world assumptions in logic programming (Q2566297)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Any-world assumptions in logic programming |
scientific article |
Statements
Any-world assumptions in logic programming (English)
0 references
22 September 2005
0 references
Logic programming
0 references
Bilattices
0 references
Default reasoning
0 references