The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Sebastian BaderPascal HitzlerSteffen HölldoblerPublished in: CoRR (2004)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- conditional logic
- knowledge representation
- logic programming
- reasoning systems
- description logics
- predicate logic
- first order logic
- automated reasoning
- structured knowledge
- incomplete information
- disjunctive logic programming
- cognitive science
- logic programs
- computer science
- knowledge base
- computational intelligence
- software engineering
- relational databases
- expert systems
- conference on artificial intelligence