16 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Revision and Belief Merging, Belief Representation, Cooperation, Decision making and Planning, Natural
Yazar
Pontelli, Enrico. editor.
Format:
Electronic Resources
Alıntı:
Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using
View Other Search Results
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Railways System and Infrastructure Advance Modelling -- Scheduling and Track Planning -- Safety
Yazar
Esposito, Floriana. editor. (orcid)0000-0002-1075-3239
Format:
Electronic Resources
Alıntı:
, metacognitive modeling and ethics; and planning and scheduling.
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of
Yazar
Horváth, András. editor.
Format:
Electronic Resources
Alıntı:
Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of
Yazar
Merayo, Mercedes G. editor.
Format:
Electronic Resources
Alıntı:
Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
and information retrieval, knowledge representation, reasoning and planning, logics in databases and
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
Dignum, Virginia. editor.
Format:
Electronic Resources
Alıntı:
Problems -- Towards Team Formation via Automated Planning -- Interest-based Negotiation for
Yazar
Daneva, Maya. editor.
Format:
Electronic Resources
Alıntı:
Decision Making in Requirements Engineering -- Risk-Aware Multi-Stakeholder Next Release Planning
Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
Architecture for Correct-by-Construction Hybrid Planning and Control.
16 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: