Defeasible logic programming in satisfiability modulo CHR (Q2294079)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Defeasible logic programming in satisfiability modulo CHR |
scientific article; zbMATH DE number 7165542
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Defeasible logic programming in satisfiability modulo CHR |
scientific article; zbMATH DE number 7165542 |
Statements
Defeasible logic programming in satisfiability modulo CHR (English)
0 references
10 February 2020
0 references
0.7941867709159851
0 references
0.7741601467132568
0 references
0.7662789821624756
0 references
0.7654669284820557
0 references
0.7643240690231323
0 references
