Amanote Research

Amanote Research

    RegisterSign In

Compilability and Compact Representations of Revision of Horn Knowledge Bases

ACM Transactions on Computational Logic - United States
doi 10.1145/343369.343391
Full Text
Open PDF
Abstract

Available in full text

Categories
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
Date

July 1, 2000

Authors
Paolo Liberatore
Publisher

Association for Computing Machinery (ACM)


Related search

Compact Representations of BL-Algebras

BRICS Report Series
2002English

Unitary Representations of Non-Compact Supergroups

Communications in Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
1983English

Linear Representations of Certain Compact Semigroups

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1971English

Signature Quantization and Representations of Compact Lie Groups

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2004English

Computation of Conformal Representations of Compact Riemann Surfaces

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
2010English

Algorithms and Limits for Compact Plan Representations

Journal of Artificial Intelligence Research
Artificial Intelligence
2012English

Compact Metric Spaces Have Binary Bases

Fundamenta Mathematicae
Number TheoryAlgebra
1975English

How Representations of Knowledge Shape Actions

Knowledge and Action
2017English

Interpreting Embedding Models of Knowledge Bases.

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy