Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021.
Published in: SOQE@KR (2021)
Keyphrases
- knowledge representation and reasoning
- related topics
- quantifier elimination
- computer science
- lecture notes
- artificial intelligence
- knowledge representation
- reasoning systems
- logic programming
- incomplete information
- description logics
- first order logic
- constraint propagation
- functional programming
- automated reasoning
- cardinality constraints
- selected papers
- constraint databases
- lecture notes in artificial intelligence
- machine learning
- knowledge base
- database
- temporal reasoning
- logic programs
- relational databases
- web services