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 |