Back to the Future: Explicit Logic for Computer Science (Invited Lecture).
Sergei N. ArtëmovPublished in: CSL (2003)
Keyphrases
- computer science
- researchers and practitioners
- selected papers
- computer engineering
- long term
- machine learning
- lecture notes
- artificial intelligence
- data mining
- computer scientists
- modal logic
- cognitive science
- recent advances
- multi valued
- logic programming
- invited talk
- information science
- probability theory
- automated reasoning
- computational properties
- predicate logic
- electrical engineering
- multimedia