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 |