Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Wissenschaftlicher Artikel
Autoren
Steigmiller, Andreas
Glimm, Birte
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutionen
Institut für Künstliche IntelligenzErschienen in
Journal of artificial intelligence research ; 54 (2015). - S. 535-592. - ISSN 1076-9757. - eISSN 1943-5037
Link zur Veröffentlichung
https://dx.doi.org/10.1613/jair.4897Förderinformationen
TRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073