• English
    • Deutsch
Dokumentanzeige 
  •   OPARU Startseite
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • Dokumentanzeige
  •   OPARU Startseite
  • Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • Publikationsnachweise
  • Dokumentanzeige
  • Deutsch 
    • English
    • Deutsch
  • Einloggen
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Erstveröffentlichung
2015
Metadata only
Search for full text
Wissenschaftlicher Artikel


Autoren
Steigmiller, Andreas
Glimm, Birte
Fakultäten
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutionen
Institut für Künstliche Intelligenz
Erschienen 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.4897
Förderinformationen
TRR 62 / Eine Companion-Technologie für kognitive technische Systeme / DFG / SFB-TRR / 54371073
Schlagwörter
OWL
DDC-Sachgruppe
DDC 000 / Computer science, information & general works

Metadata
Zur Langanzeige

Informationen zu OPARU | Kontakt
Impressum | Datenschutzerklärung
 

 

Erweiterte Suche

Stöbern

Gesamter BestandBereiche & SammlungenFakultätenInstitutionenPersonenRessourcentypenUlmer Reihen & ZeitschriftenDDC-SachgruppenFörderinformationenAusgewählte SammlungFakultätenInstitutionenPersonenRessourcentypenUlmer Reihen & ZeitschriftenDDC-SachgruppenFörderinformationen

Mein Benutzerkonto

EinloggenRegistrieren

Statistik

Benutzungsstatistik

Informationen zu OPARU | Kontakt
Impressum | Datenschutzerklärung