Get AI*IA 2007: Artificial Intelligence and Human-Oriented PDF

By Manuela Veloso (auth.), Roberto Basili, Maria Teresa Pazienza (eds.)

ISBN-10: 3540747818

ISBN-13: 9783540747819

ISBN-10: 3540747826

ISBN-13: 9783540747826

Show description

Read or Download AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings PDF

Similar italian books

Additional info for AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings

Sample text

Finite model reasoning in UML class diagrams is an important task for assessing the quality of the analysis phase in the development of software applications in which it is assumed that the number of objects of the domain is finite. In this paper, we show how to encode finite model reasoning in UML class diagrams as a constraint satisfaction problem (CSP), exploiting techniques developed in description logics. In doing so we set up and solve an intermediate CSP problem to deal with the explosion of “class combinations” arising in the encoding.

Diagnosability analysis based on component supported analytical redundancy relations. IEEE Trans. SMC, Part A 36(6) (2006) 13. : Conflicts versus analytical redundancy relations: A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives. IEEE Trans. SMC. Part B. 34(5), 2163–2177 (2004) 14. : Comparing diagnosability in continuous and discrete-event systems. In: DX’06. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp.

The Linguistic Wars. Oxford University Press, NewYork (1993) 20. : A Theory of Language and Information: A Mathematical Approach. Clarendon Press, Oxford (1991) 21. : The growing inaccessibility of science. Nature. 356, 739–740 (1992) 22. org/wiki/Cytoskeleton (accessed July 5, 2007) 23. : The Plant Structure Ontology, a Unified Vocabulary of Anatomy and Morphology of a Flowering Plant. Plant Physiology 143, 587–599 (2007) 24. Illingworth, V. ): Oxford Dictionary of Computing. Oxford Univ. Press, Oxford (1996) 25.

Download PDF sample

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings by Manuela Veloso (auth.), Roberto Basili, Maria Teresa Pazienza (eds.)


by David
4.4

Rated 4.25 of 5 – based on 8 votes