scientific article; zbMATH DE number 6606365
From MaRDI portal
Publication:5740435
Recommendations
- Expressive power of knowledge representation systems
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Complexity of reasoning with expressive ontology mappings
- Knowledge representation and reasoning based on computability logic
- Foundations of knowledge representation and reasoning
- Knowledge representation and defeasible reasoning
- Knowledge representation and non-monotonic reasoning
- Tractable reasoning using logic programs with intensional concepts
- scientific article; zbMATH DE number 4022668
Cited in
(30)- Inconsistency measurement
- Building Theorem Provers
- Statistics of RDF store for querying knowledge graphs
- Knowledge transfer in SVM and neural networks
- A sequent calculus for reasoning in four-valued description logics
- The expressive rate of constraints
- Expressive power of knowledge representation systems
- Querying incomplete information in RDF with SPARQL
- Tractable reasoning in artificial intelligence
- Description Logics
- Using automata theory for characterizing the semantics of terminological cycles
- Fuzzy object-oriented dynamic networks. II
- Using the Monte Carlo method for fast simulation of the number of ``good permutations on the SCIT-4 multiprocessor computer complex
- On combining ontologies and rules
- scientific article; zbMATH DE number 6606379 (Why is no real title available?)
- Guest editors' introduction
- Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017
- scientific article; zbMATH DE number 4176498 (Why is no real title available?)
- Expressivity Hierarchy of Languages for Epistemic Awareness Models
- The F-logic approach for description languages
- Probabilistic Modeling of Default Reasoning
- Human rationality challenges universal logic
- Exploring the tractability border in epistemic tasks
- A general approach to reasoning with probabilities
- Some thoughts on knowledge-enhanced machine learning
- Consistency checking reduced to satisfiability of concepts in terminological systems
- KnowLang -- a formal specification model for self-adaptive systems
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Parsing and disambiguation of symbolic mathematics in the Naproche system
- Past-present temporal programs over finite traces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740435)
