Cognitum Ontorion: Knowledge Representation and Reasoning System.
Pawel KaplanskiPawel WeichbrothPublished in: FedCSIS (Position Papers) (2015)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- reasoning systems
- logic programming
- predicate logic
- description logics
- automated reasoning
- structured knowledge
- incomplete information
- defeasible logic
- conference on artificial intelligence
- semantic modeling
- knowledge base
- expert systems
- disjunctive logic programming