Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547): Difference between revisions
From MaRDI portal
Latest revision as of 12:36, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Connecting First-Order ASP and the Logic FO(ID) through Reducts |
scientific article |
Statements
Connecting First-Order ASP and the Logic FO(ID) through Reducts (English)
0 references
23 July 2012
0 references
0 references