Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (Q2900536): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Nonmonotonic causal theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3983043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representing first-order causal theories by logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2909140 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extending and implementing the stable model semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable models and circumscription / rank | |||
Normal rank |
Latest revision as of 12:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming |
scientific article |
Statements
Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming (English)
0 references
23 July 2012
0 references