scientific article; zbMATH DE number 6606365
From MaRDI portal
zbMath1341.68228MaRDI QIDQ5740435
R. J. Brachman, Hector J. Levesque
Publication date: 26 July 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicknowledge representationframesdatabasessemantic networkscomplexity of reasoningdescription subsumption
Related Items
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, Consistency checking reduced to satisfiability of concepts in terminological systems, Using automata theory for characterizing the semantics of terminological cycles, The F-logic approach for description languages, Knowledge transfer in SVM and neural networks, Human rationality challenges universal logic, On combining ontologies and rules, A sequent calculus for reasoning in four-valued Description Logics, Inconsistency Measurement, Cathoristic Logic, Some thoughts on knowledge-enhanced machine learning, Guest editors' introduction, Building Theorem Provers, A general approach to reasoning with probabilities, Parsing and Disambiguation of Symbolic Mathematics in the Naproche System, Description Logics, Statistics of RDF store for querying knowledge graphs, Probabilistic Modeling of Default Reasoning
