Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paolo Liberatore
Compilability and Compact Representations of Revision of Horn Knowledge Bases
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
Related publications
Compact Representations of BL-Algebras
BRICS Report Series
Unitary Representations of Non-Compact Supergroups
Communications in Mathematical Physics
Nonlinear Physics
Mathematical Physics
Statistical
Linear Representations of Certain Compact Semigroups
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Signature Quantization and Representations of Compact Lie Groups
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Computation of Conformal Representations of Compact Riemann Surfaces
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Algorithms and Limits for Compact Plan Representations
Journal of Artificial Intelligence Research
Artificial Intelligence
Compact Metric Spaces Have Binary Bases
Fundamenta Mathematicae
Number Theory
Algebra
How Representations of Knowledge Shape Actions
Knowledge and Action
Interpreting Embedding Models of Knowledge Bases.
