Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
and information retrieval, knowledge representation, reasoning and planning, logics in databases and
View Other Search Results
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
Requirements to Test Cases based on CSP -- Planning -- Task Planning of Cyber-Human Systems -- Generating
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Architecture for Correct-by-Construction Hybrid Planning and Control.
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
merging; belief representation; cooperation; decision making and planning; natural language; philosophy
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
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ış: