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)- Consistency checking reduced to satisfiability of concepts in terminological systems
- Using automata theory for characterizing the semantics of terminological cycles
- Knowledge transfer in SVM and neural networks
- Tractable reasoning in artificial intelligence
- The F-logic approach for description languages
- Human rationality challenges universal logic
- Statistics of RDF store for querying knowledge graphs
- Some thoughts on knowledge-enhanced machine learning
- A general approach to reasoning with probabilities
- Expressivity Hierarchy of Languages for Epistemic Awareness Models
- Querying incomplete information in RDF with SPARQL
- 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
- scientific article; zbMATH DE number 4176498 (Why is no real title available?)
- Inconsistency measurement
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Expressive power of knowledge representation systems
- Description Logics
- A sequent calculus for reasoning in four-valued description logics
- Exploring the tractability border in epistemic tasks
- Probabilistic Modeling of Default Reasoning
- Building Theorem Provers
- Parsing and disambiguation of symbolic mathematics in the Naproche system
- Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017
- scientific article; zbMATH DE number 6606379 (Why is no real title available?)
- Guest editors' introduction
- On combining ontologies and rules
- KnowLang -- a formal specification model for self-adaptive systems
- Past-present temporal programs over finite traces
- The expressive rate of constraints
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)
