New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge** Presentation (30-min.)

Source URL: ijcai-16.org

• Software engineering
• Logic
• Declarative programming
• Reasoning
• Programming paradigms
• Model theory
• Logical connectives
• Logic programming
• Prolog
• Datalog
• HiLog
• XSB