| a |
| Argumentation | Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI |
| automated reasoning | Learning Ex Nihilo |
| c |
| computer vision | Face Image Deblurring: A Data-Driven Strategy |
| d |
| data cleaning | Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback |
| deep learning | Topical Neural Theorem Prover that Induces Rules |
| Distributive knowledge | Common Knowledge in an Epistemic Logic with Hypotheses |
| e |
| embedding | Topical Neural Theorem Prover that Induces Rules |
| Evaluation of AI systems | WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas |
| f |
| feedback | Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback |
| first-order logic | Partial Regularization of First-Order Resolution Proofs
Property Preserving Embedding of First-order Logic |
| h |
| High-Expressivity Planner | Learning Ex Nihilo |
| Hybrid | Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI |
| Hybrid AI | Learning Ex Nihilo |
| k |
| knowledge bases | Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback |
| knowledge representation | WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas |
| Kripke completeness | Common Knowledge in an Epistemic Logic with Hypotheses |
| l |
| logical properties | Property Preserving Embedding of First-order Logic |
| m |
| machine learning | WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas |
| modal logic | Common Knowledge in an Epistemic Logic with Hypotheses |
| Multi-Operator Logic | Learning Ex Nihilo |
| n |
| Natural language systems and linguistics | WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas |
| Neural Embedding | Property Preserving Embedding of First-order Logic |
| neural theorem prover | Topical Neural Theorem Prover that Induces Rules |
| neural-symbolic integration | Topical Neural Theorem Prover that Induces Rules |
| p |
| Proof Compression | Partial Regularization of First-Order Resolution Proofs |
| r |
| resolution | Partial Regularization of First-Order Resolution Proofs |
| rule induction | Topical Neural Theorem Prover that Induces Rules |
| rule learning | Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback |
| s |
| supervised learning | Face Image Deblurring: A Data-Driven Strategy |
| t |
| topic | Topical Neural Theorem Prover that Induces Rules |
| u |
| Uncertainty Multi-Operator Logic | Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI |
| unification | Partial Regularization of First-Order Resolution Proofs |
| unsupervised learning | Face Image Deblurring: A Data-Driven Strategy |
| w |
| Winograd Schema Challenge | WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas |
