This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifi

Organized by: European Coordinating Committee for AI (ECCAI)

This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.

To endow computers with common sense is one of the major long-term goals of artificial intelligence research. One approach to this problem is to formalize commo

The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In