Search Results for Robotics.

37.

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Yazar

Calimeri, Francesco. editor.

http://dx.doi.org/10.1007/978-3-319-23264-5

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

38.

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

Yazar

Cariani, Fabrizio. editor.

http://dx.doi.org/10.1007/978-3-319-08615-6

Format:

Electronic Resources

Alıntı:

Artificial Intelligence (incl. Robotics).

39.

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

Yazar

Barrett, Clark. editor. (orcid)0000-0002-9522-3084

https://doi.org/10.1007/978-3-319-57288-8

Format:

Electronic Resources

Alıntı:

, as well as their potential application to aerospace, robotics, and other NASA-relevant

40.

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Yazar

Cussens, James. editor.

https://doi.org/10.1007/978-3-319-63342-8

Format:

Electronic Resources

Alıntı:

; applications in robotics, cyber security and games.

41.

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

Yazar

Cunha, Jácome. editor. (orcid)0000-0002-4713-3834

https://doi.org/10.1007/978-3-319-60074-1

Format:

Electronic Resources

Alıntı:

-- "People analytics" in software development -- DSLs in robotics, structured program generation techniques

42.

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Yazar

Lahiri, Shuvendu. editor.

https://doi.org/10.1007/978-3-319-67531-2

Format:

Electronic Resources

Alıntı:

Verification for Safe Robotics -- Monitoring Hyperproperties -- TeLEx: Passive STL Learning Using Only Positive

43.

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

https://doi.org/10.1007/978-3-319-51676-9

Format:

Electronic Resources

Alıntı:

-- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype

44.

Towards Extensible and Adaptable Methods in Computing

Yazar

Chakraverty, Shampa. editor.

https://doi.org/10.1007/978-981-13-2348-5

Format:

Electronic Resources

Alıntı:

. Using Collaborative Robotics as a Way to Engage Students -- Chapter 30. Assessing Scratch Programmers

	{displayName}	{count}
{error}