AAAI Publications

Bou, Felix, IIIA-CSIC, Spain

• Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Description Logics and Ontologies
  Decidability of a Description Logic over Infinite-Valued Product Logic
  Abstract  PDF