Applications of Feasible Inference for Expressive Logics (Toepassingen van efficiënt redeneren voor expressieve logica's) KU Leuven
Knowledge Representation and Reasoning is the area of artificial intelligence that is concerned with how knowledge can be represented symbolically in a formal language, and how computer programs can reason about knowledge in an automatic way. One candidate for such a knowledge representation language is first-order logic (FO). Historically people have been doubtful, however, about the usefulness of first-order logic as a knowledge representation ...