Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020.
Published in: OVERLAY (2020)
Keyphrases
- workshop on artificial intelligence
- formal verification
- international conference
- model checker
- bounded model checking
- model checking
- domain knowledge
- knowledge acquisition
- knowledge base
- cellular automata
- automated verification
- knowledge based systems
- high school
- inconsistent knowledge
- functional programs
- international workshop
- logic synthesis
- epistemic logic
- automated reasoning
- formal methods
- knowledge discovery and data mining
- finite state
- finite state machines
- machine learning
- ambient intelligence
- logic programming
- knowledge representation
- expert systems
- artificial intelligence