scientific article; zbMATH DE number 6606365
From MaRDI portal
Publication:5740435
zbMATH Open1341.68228MaRDI QIDQ5740435FDOQ5740435
Authors: Hector J. Levesque, R. J. Brachman 
Publication date: 26 July 2016
Title of this publication is not available (Why is that?)
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
framesdatabasesfirst-order logicknowledge representationsemantic networkscomplexity of reasoningdescription subsumption
Cited In (30)
- 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
- Expressive power of knowledge representation systems
- The expressive rate of constraints
- Tractable reasoning in artificial intelligence
- Description Logics
- Querying incomplete information in RDF with SPARQL
- 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
- Title not available (Why is that?)
- Guest editors' introduction
- Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017
- Title not available (Why is that?)
- Expressivity Hierarchy of Languages for Epistemic Awareness Models
- Probabilistic Modeling of Default Reasoning
- The F-logic approach for description languages
- 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
- Parsing and disambiguation of symbolic mathematics in the Naproche system
- Cathoristic logic. A logic for capturing inferences between atomic sentences
- Past-present temporal programs over finite traces
- Inconsistency measurement
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)
