The following pages link to (Q5740435):
Displaying 29 items.
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Fuzzy object-oriented dynamic networks. II (Q289784) (← links)
- Using the Monte Carlo method for fast simulation of the number of ``good'' permutations on the SCIT-4 multiprocessor computer complex (Q289789) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- The expressive rate of constraints (Q812391) (← links)
- Consistency checking reduced to satisfiability of concepts in terminological systems (Q1380407) (← links)
- Using automata theory for characterizing the semantics of terminological cycles (Q1380409) (← links)
- Knowledge transfer in SVM and neural networks (Q1680840) (← links)
- Tractable reasoning in artificial intelligence (Q1894662) (← links)
- The F-logic approach for description languages (Q1924824) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Statistics of RDF store for querying knowledge graphs (Q2103910) (← links)
- Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
- A general approach to reasoning with probabilities (Q2283285) (← links)
- Expressivity Hierarchy of Languages for Epistemic Awareness Models (Q2859110) (← links)
- (Q3200589) (← links)
- Inconsistency Measurement (Q3297796) (← links)
- Cathoristic Logic (Q3297837) (← links)
- Expressive power of knowledge representation systems (Q3327749) (← links)
- Description Logics (Q3638996) (← links)
- A sequent calculus for reasoning in four-valued Description Logics (Q4610338) (← links)
- Probabilistic Modeling of Default Reasoning (Q5024715) (← links)
- Building Theorem Provers (Q5191110) (← links)
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System (Q5200117) (← links)
- Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017 (Q5379880) (← links)
- (Q5740450) (← links)
- Guest editors' introduction (Q5919727) (← links)
- KnowLang -- a formal specification model for self-adaptive systems (Q6535842) (← links)
- Past-present temporal programs over finite traces (Q6545583) (← links)
