Login / Signup
Some applications of Computational Logic to the development of intelligent systems and verification methods.
Viviana Mascardi
Giorgio Delzanno
Maurizio Martelli
Published in:
Intelligenza Artificiale (2011)
Keyphrases
</>
intelligent systems
computational intelligence
artificial intelligence
ambient intelligence
hybrid systems
computer science
expert systems
artificial neural networks
general purpose
intelligent agents
hybrid intelligent systems
machine learning
case study
knowledge management
information management