Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Cláudio Naoto Fuzitaki"'
Autor:
Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Cláudio Naoto Fuzitaki, Fernando Antonio Monteiro Christoph D'Andrea
Publikováno v:
The Journal of Supercomputing. 36:51-81
Nautilus is a high-level specification and programming language having abstraction mechanisms not commonly found in other programming languages inspired by its semantic domain (a categorial model named Nonsequential Automata). It constitutes an elega
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c1fe5365f444542eeb3f55889fee051
https://doi.org/10.1007/s11227-006-3068-3
https://doi.org/10.1007/s11227-006-3068-3
Publikováno v:
Advances in Artificial Intelligence – SBIA 2010 ISBN: 9783642161377
SBIA
SBIA
DL-Lite is being regarded as an effective logic for ontology reasoning due both to its expressive power and its computational properties. Considering that ontologies are important constructs for multi-agent system, in this paper we propose the integr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::435df6cb4f9e072e57b39d64c7ee058d
https://doi.org/10.1007/978-3-642-16138-4_3
https://doi.org/10.1007/978-3-642-16138-4_3
Autor:
Simone André da Costa, Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki
Publikováno v:
Computer Aided Systems Theory-EUROCAST 2003 ISBN: 9783540202219
EUROCAST
EUROCAST
This paper describes some of the features of Nautilus specification/ programming language that make it interesting to develop complex systems and then explains how to map a Nautilus construction into Java constructions. The Nautilus constructions pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::267cc6f98bb115d71bc34fe0d196f731
https://doi.org/10.1007/978-3-540-45210-2_23
https://doi.org/10.1007/978-3-540-45210-2_23