FarFetched: Entity-centric Reasoning and Claim Validation for the Greek Language based on Textually Represented Environments.
Dimitris PapadopoulosKaterina MetropoulouNikolaos PapadakisNikolaos MatsatsinisPublished in: SETN (2022)
Keyphrases
- knowledge base
- programming language
- natural language
- language learning
- inference engine
- automated reasoning
- reasoning mechanism
- language processing
- dynamic environments
- real world
- knowledge representation
- named entities
- uml class diagrams
- comparative evaluation
- knowledge representation language
- qualitative reasoning
- reasoning systems
- entity identification
- intuitionistic logic
- proof theory
- model based reasoning
- operational semantics
- specification language
- object oriented programming
- user centric
- meta level
- probabilistic reasoning
- finite state machines
- logic programming