Updates in answer set programming: An approach based on basic structural properties (Q5297632): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: DBLP publication ID (P1635): journals/tplp/OsorioC07, #quickstatements; #temporary_batch_1736172698238 |
||
| (4 intermediate revisions by 4 users not shown) | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q61736720 / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Computational Logic in Multi-Agent Systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Knowledge Representation, Reasoning and Declarative Problem Solving / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
| Property / DBLP publication ID | |||
| Property / DBLP publication ID: journals/tplp/OsorioC07 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 15:14, 6 January 2025
scientific article; zbMATH DE number 5170703
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Updates in answer set programming: An approach based on basic structural properties |
scientific article; zbMATH DE number 5170703 |
Statements
Updates in answer set programming: An approach based on basic structural properties (English)
0 references
12 July 2007
0 references
answer set programming
0 references
\(\mathbf N_{2}\) logic
0 references
update programs
0 references
strong negation
0 references
AGM postulates
0 references
