Faithful Reasoning over Scientific Claims.
Neset Özkan TanNiket TandonDavid WaddenOyvind TafjordMark GaheganMichael WitbrockPublished in: AAAI Spring Symposia (2024)
Keyphrases
- scientific discovery
- reasoning systems
- artificial intelligence
- database
- knowledge base
- fuzzy reasoning
- qualitative reasoning
- logical reasoning
- rule based reasoning
- resource bounded
- model based reasoning
- knowledge representation and reasoning
- automated reasoning
- scientific data
- knowledge representation
- digital libraries
- website
- information systems
- genetic algorithm
- databases