Search Results for Logic design.

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

Yazar

Mousavi, Mohammad Reza. editor.

http://dx.doi.org/10.1007/978-3-319-25141-7

Format:

Electronic Resources

Alıntı:

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015

Multi-disciplinary Trends in Artificial Intelligence 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings

Yazar

Murty, M. Narasimha. editor.

http://dx.doi.org/10.1007/978-3-319-13365-2

Format:

Electronic Resources

Alıntı:

Classification Using Anisotropic Diffusion and LDBP -- A Knowledge-Based Design for Structural Analysis of

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Yazar

Bulling, Nils. editor.

http://dx.doi.org/10.1007/978-3-319-17130-2

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

Yazar

Rovatsos, Michael. editor.

http://dx.doi.org/10.1007/978-3-319-33509-4

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Yazar

Bieger, Jordi. editor.

http://dx.doi.org/10.1007/978-3-319-21365-1

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Yazar

Esparza, Javier. editor.

http://dx.doi.org/10.1007/978-3-662-43951-7

Format:

Electronic Resources

Alıntı:

First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra with

Human-Inspired Computing and Its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I

Yazar

Gelbukh, Alexander. editor.

http://dx.doi.org/10.1007/978-3-319-13647-9

Format:

Electronic Resources

Alıntı:

-- Onto Design Graphics (ODG): A Graphical Notation to Standardize Ontology Design -- A Logic for

Nature-Inspired Computation and Machine Learning 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part II

Yazar

Gelbukh, Alexander. editor.

http://dx.doi.org/10.1007/978-3-319-13650-9

Format:

Electronic Resources

Alıntı:

Vocalization Recognition -- Robotics, Planning, and Scheduling -- AI-Based Design of a Parallel Robot Used as a

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Yazar

Sun, Xingming. editor. (orcid)0000-0003-1390-399X

https://doi.org/10.1007/978-3-030-24265-7

Format:

Electronic Resources

Alıntı:

Concurrent Enforcement Ucon Model with CTL Logic -- Design of Real-Time Resource-Aware Network Resource

	{displayName}	{count}
{error}