Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Publication : artificial intelligence Subject : logic programming

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Characterizing causal action theories and their implementations in answer set programming.

Authors : Zhang, Haodi¹ ; Lin, Fangzhen²

Source: Artificial Intelligence. Jul2017, Vol. 248, p1-8. 8p.

Read More Add to Saved list

Academic Journal

A progression semantics for first-order logic programs.

Authors : Zhou, Yi^1,2 ; Zhang, Yan^1,3

Source: Artificial Intelligence. Sep2017, Vol. 250, p58-79. 22p.

Read More Add to Saved list

Academic Journal

On the complexity of the partner units decision problem.

Authors : Teppan, Erich Christian¹

Source: Artificial Intelligence. Jul2017, Vol. 248, p112-122. 11p.

Read More Add to Saved list

Academic Journal

Infinitary equilibrium logic and strongly equivalent logic programs.

Authors : Harrison, Amelia¹ ; Lifschitz, Vladimir¹ ; Pearce, David²

Source: Artificial Intelligence. May2017, Vol. 246, p22-33. 12p.

Read More Add to Saved list

Academic Journal

Relational linear programming.

Authors : Kersting, Kristian¹ ; Mladenov, Martin¹ ; Tokmakov, Pavel²

Source: Artificial Intelligence. Mar2017, Vol. 244, p188-216. 29p.

Read More Add to Saved list