Logics For Artificial Intelligence.
Luigia Carlucci AielloEnrico GiunchigliaLuciano SerafiniPublished in: Intelligenza Artificiale (2006)
Keyphrases
- artificial intelligence
- expressive power
- expert systems
- computer science
- intelligent systems
- modal logic
- knowledge based systems
- computational intelligence
- case based reasoning
- software engineering
- ai systems
- propositional calculus
- engineering design
- machine intelligence
- knowledge engineering
- database
- structural engineering
- intelligent agents
- decision making
- social networks
- machine learning
- real world
- databases