Methods of Partial Logic for Knowledge Representation and Deductive Reasoning in Incompletely Specified Domains

doi 10.1007/978-94-015-9636-7_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Netherlands

Related search

BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to the Design of LUT Cascades

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic EngineeringComputer GraphicsSignal ProcessingApplied MathematicsElectricalComputer-Aided Design
2007English

Integration of Similarity-Based and Deductive Reasoning for Knowledge Management

KI - Künstliche Intelligenz
2010English

Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability

IPSJ Transactions on System LSI Design Methodology
Electronic EngineeringComputer Science ApplicationsElectrical
2011English

Logic-Based Representation, Reasoning and Machine Learning for Event Recognition

2010English

Decidable Reasoning in Terminological Knowledge Representation Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
1993English

Knowledge Representation in the Spiritual and Cultural Domains

The Open Information Science Journal
2011English

Theories and Uses of Context in Knowledge Representation and Reasoning

Journal of Pragmatics
LinguisticsArtificial IntelligenceLanguage
2003English

Knowledge Representation in a Proof Checker for Logic Programs

2012English

Deductive Reasoning in Extensive Games*

Economic Journal
EconomicsEconometrics
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy