Viewpoints on "Logic activities in Europe", twenty years later.
Luca AcetoThomas A. HenzingerJoost-Pieter KatoenWolfgang ThomasMoshe Y. VardiPublished in: Bull. EATCS (2016)
Keyphrases
- viewpoint
- activity recognition
- united states
- daily life
- logic programming
- genetic algorithm
- d objects
- human activities
- sound and complete axiomatization
- object recognition
- asynchronous circuits
- deontic logic
- activity patterns
- formal theory
- north america
- predicate logic
- digital circuits
- defeasible logic
- classical logic
- logical framework
- multi valued
- data sets
- artificial intelligence
- multiple views
- information systems
- face recognition