Yazar
Alviano, Mario. editor. (orcid)0000-0002-2052-2063
Format:
Electronic Resources
Alıntı:
analytic tableaux for some normal modal logics -- AI and Computation -- Automated Planning Encodings for
Yazar
Calimeri, Francesco. editor.
Format:
Electronic Resources
Alıntı:
reasoning with Answer Set Programming Modulo Theories -- Mobile Robot Planning using Action Language BC with
Yazar
Fermé, Eduardo. editor.
Format:
Electronic Resources
Alıntı:
and Paraconsistent Logics -- Non-classical Planning with a Classical Planner: The Power of
Yazar
Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
Format:
Electronic Resources
Alıntı:
-- Computational Sustainability Track -- Towards robust scenarios of spatio-temporal renewable energy planning: A
Yazar
Hooker, John. editor. (orcid)0000-0003-3169-1871
Format:
Electronic Resources
Alıntı:
Domain-Independent Temporal Planning -- Decremental Consistency Checking of Temporal Constraints: Algorithms for the
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on
Arama Sonuçlarını Sınırlandır
Daraltılmış: