Show simple item record

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

AuthorSteigmiller, Andreasdc.contributor.author
AuthorGlimm, Birtedc.contributor.author
Date of accession2020-01-30T06:45:51Zdc.date.accessioned
Available in OPARU since2020-01-30T06:45:51Zdc.date.available
Date of first publication2015dc.date.issued
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
KeywordOWLdc.subject
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitlePay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Proceduresdc.title
Resource typeWissenschaftlicher Artikeldc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Künstliche Intelligenzuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
DOI (external)10.1613/jair.4897dc.identifier.doiExternal
Source - Title of sourceJournal of artificial intelligence researchsource.title
Source - Place of publicationAI Access Found.source.publisher
Source - Volume54source.volume
Source - Year2015source.year
Source - From page535source.fromPage
Source - To page592source.toPage
Source - ISSN1076-9757source.identifier.issn
Source - eISSN1943-5037source.identifier.eissn
FundingTRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073uulm.funding
Open AccessDOAJ Golduulm.OA
Suitable communityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
WoS000370577700001uulm.identifier.wos
University Bibliographyjauulm.unibibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record