Scrutinizer: A Mixed-Initiative Approach to Large-Scale, Data-Driven Claim Verification.
Georgios KaragiannisMohammed SaeedPaolo PapottiImmanuel TrummerPublished in: Proc. VLDB Endow. (2020)
Keyphrases
- mixed initiative
- data driven
- dialogue system
- knowledge engineering
- intelligent tutoring
- real world
- direct manipulation
- cooperative
- small scale
- real life
- expert systems
- functional verification
- neural network
- interaction model
- web scale
- formal methods
- face verification
- model checking
- domain specific
- general purpose
- query language
- training data
- data mining