Topics of @book_id_van2008handbook

1. IsAbout

1.1. Knowledge Representation

1.1.1. Methods

1.1.1.1. Calculus

1.1.1.1.1. Situation calculus

1.1.1.1.2. Event calculus

1.1.1.2. Logic

1.1.1.2.1. Default logic

1.1.1.2.2. Modal logic

1.1.1.2.3. Temporal logic

1.1.1.2.4. First-order logic

1.1.1.2.5. Autoepistemic logic

1.1.1.2.6. Description logic

1.1.1.3. Ontology

1.1.1.4. Programming

1.1.1.4.1. Constraint programming

1.1.1.4.2. Logic programming

1.1.1.5. Algorithm

1.1.1.6. Theorem proving

1.1.2. RelatedTo

1.1.2.1. Semantic Web

1.1.2.2. Computer Science

1.1.2.3. Artificial Intelligence

1.1.3. People

1.1.3.1. Vladimir Lifschitz

1.1.3.2. Morgan Kaufmann