A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)

Opis bibliograficzny
Główni autorzy:	Kazakov, Y, Motik, B
Format:	Journal article
Język:	English
Wydane:	2008

Podobne zapisy

A Resolution-Based Decision Procedure for SHOIQ.
od: Kazakov, Y, i wsp.
Wydane: (2008)

A Resolution−Based Decision Procedure for SHOIQ
od: Kazakov, Y, i wsp.
Wydane: (2008)

A Resolution−Based Decision Procedure for SHOIQ.
od: Kazakov, Y, i wsp.
Wydane: (2006)

A resolution-based decision procedure for SHOIQ
od: Kazakov, Y, i wsp.
Wydane: (2008)

RIQ and SROIQ are Harder than SHOIQ
od: Kazakov, Y
Wydane: (2008)

SRIQ and SROIQ are Harder than SHOIQ
od: Kazakov, Y
Wydane: (2008)

Correction to: International Journal of Recycling of Organic Waste in Agriculture https://doi.org/10.1007/s40093-019-0262-x
od: F. I. Achuba, i wsp.
Wydane: (2024-04-01)

Management of hyperglycaemia in type 2 diabetes mellitus: A consensus algorithm for the initiation and adjustment of therapy: Update regarding the thiazolidinediones (Diabetologia DOI: 10.1007/s00125-007-0873-z)
od: Nathan, D, i wsp.
Wydane: (2008)

Pfeifer, K. y P. Niki (Eds.: 2013), Forces of Nature and Cultural Responses, Springer Science, Dordrecht, 213 p., ISBN 978-94-007-4999-3, doi: 10.1007/978-94-007-5000-5
od: Cristina García-Hernández
Wydane: (2016-01-01)

Pfeifer, K. y P. Niki (Eds.: 2013), Forces of Nature and Cultural Responses, Springer Science, Dordrecht, 213 p., ISBN 978-94-007-4999-3, doi: 10.1007/978-94-007-5000-5
od: Cristina García-Hernández
Wydane: (2016-08-01)

Asymmetric larval competition in the parasitoid wasp Nasonia vitripennis: A role in sex allocation? (Behavioral Ecology and Sociobiology (2007) 61 (1751-1758) DOI: 10.1007/s00265-007-0407-1)
od: Sykes, E, i wsp.
Wydane: (2008)

Erratum: Absence of aquaporin-4 antibodies in patients with idiopathic intracranial hypertension (Journal of Neurology (2010) 257 DOI: 10.1007/s00415-010-5499-2)
od: Dhungana, S, i wsp.
Wydane: (2010)

Adipose tissue fatty acid metabolism in insulin-resistant men (Diabetologia DOI: 10.1007/s00125-008-1040-x)
od: Bickerton, A, i wsp.
Wydane: (2008)

European guidance for the diagnosis and management of osteoporosis in postmenopausal women (Osteoporosis International DOI: 10.1007/s00198-008-0560-z)
od: Kanis, J, i wsp.
Wydane: (2008)

Erratum: How do MYBPC3 mutations cause hypertrophic cardiomyopathy? (Journal of Muscle Research and Cell Motility DOI 10.1007/s10974-011-9268-3)
od: Marston, S, i wsp.
Wydane: (2012)

Erratum: Use of anti-depressants and the risk of fracture of the hip or femur (Osteoporos Int (DOI 10.1007/s00198-009-0849-6))
od: Van Den Brand, M, i wsp.
Wydane: (2009)

Erratum: Impact of nutrition on muscle mass, strength, and performance in older adults (Osteoporosis International DOI: 10.1007/s00198-012-2236-y))
od: Mithal, A, i wsp.
Wydane: (2013)

Erratum:The pharmacokinetics of artemether and lumefantrine in pregnant women with uncomplicated falciparum malaria(European Journal of Clinical Pharmacology (2006) 62 (1021-1031) DOI: 10.1007/s00228-006-0199-7)
od: Mcgready, R, i wsp.
Wydane: (2009)

Erratum: Atypical idiopathic inflammatory demyelinating lesions: Prognostic implications and relation to multiple sclerosis (Journal of Neurology (2013) 260 (2016-2022) DOI: 10.1007/s00415-013-6918-y)
od: Wallner-Blazek, M, i wsp.
Wydane: (2014)

Erratum to: Status and access to the Collaborative Cross population (Mammalian Genome (2012) 23, (706-712) DOI: 10.1007/s00335-012-9410-6)
od: Welsh, C, i wsp.
Wydane: (2014)

Erratum: A viscoelastic traction layer model of muco-ciliary transport (Bulletin of Mathematical Biology DOI: 10.1007/s11538-005-9036-x)
od: Smith, D, i wsp.
Wydane: (2007)

Erratum: Comparing intramodal and crossmodal cuing in the endogenous orienting of spatial attention (Experimental Brain Research (2007) DOI: 10.1007/s00221-006-0798-7)
od: Chica, AB, i wsp.
Wydane: (2007)

Erratum to Dispositional Mindfulness, Meditation, and Conditional Goal Setting (Mindfulness, 10.1007/s12671-010-0029-y)
od: Crane, C, i wsp.
Wydane: (2011)

Erratum to Cognitive profiles of poor readers of Kannada (Read Writ, 10.1007/s11145-010-9258-7)
od: Nag, S, i wsp.
Wydane: (2011)

Erratum: Bias in protein and potassium intake collected with 24-h recalls (EPIC-Soft) is rather comparable across European populations (European Journal of Nutrition DOI: 10.1007/s00394-011-0279-z)
od: Crispim, S, i wsp.
Wydane: (2013)

1,007 Dapat Lesen - Buka peluang OKU ibu tunggal siswazah penganggur berniaga
od: Harian Metro,
Wydane: (2008)

Erratum: Impact of FTO genotypes on BMI and weight in polycystic ovary syndrome: A systematic review and meta-analysis (Diabetologia DOI 10.1007/s00125-012-2638-6)
od: Wojciechowski, P, i wsp.
Wydane: (2012)

Erratum to: Overlapping functional anatomy for working memory and visual search (Exp Brain Res (2010) 200, 91-107 (DOI 10.1007/s00221-009-2000-5))
od: Anderson, E, i wsp.
Wydane: (2011)

Meat intake and bladder cancer in a prospective study: A role for heterocyclic aromatic amines? (Cancer Causes and Control DOI: 10.1007/s10552-008-9121-1)
od: Lumbreras, B, i wsp.
Wydane: (2008)

Jan Hemming, Methoden der Erforschung populärer Musik (Systematische Musikwissenschaft), Wiesbaden: Springer 2016, https://doi.org/10.1007/978-3-658-11496-1
od: Steffen Just
Wydane: (2018-12-01)

Erratum: Bone spicule pigment formation in retinitis pigmentosa: Insights from a mouse model (Graefe's Archive for Clinical and Experimental Ophthalmology DOI: 10.1007/s00417-009-1253-9)
od: Jaissle, G, i wsp.
Wydane: (2010)

BnaSNPDB: An interactive web portal for the efficient retrieval and analysis of SNPs among 1,007 rapeseed accessions
od: Tao Yan, i wsp.
Wydane: (2020-01-01)

Erratum: Cancer outcomes and all-cause mortality in adults allocated to metformin: Systematic review and collaborative meta-analysis of randomised clinical trials (Diabetologia DOI: 10.1007/s00125-012-2653-7)
od: Stevens, R, i wsp.
Wydane: (2012)

Erratum: Environmental risk and protective factors of adolescents' and youths' mental health: Differences between parents' appraisal and self-reports (Quality of Life Research DOI: 10.1007/s11136-012-0167-x)
od: Villalonga-Olives, E, i wsp.
Wydane: (2013)

Politics Between Nations. Contributions to International Relations, edited by Adebowale Akande. Springer, Cham. 2023. XXVII, 645 pp. https://doi.org/10.1007/978-3-031-24896-2.
od: Haykuhi Mkrtchyan, i wsp.
Wydane: (2023-12-01)

Schramm, Lucas. 2024. Crises of European Integration: Joining Together or Falling Apart? Palgrave Macmillan, Cham. XVII, 303 pp. https://doi.org/10.1007/978-3-031-54748-5.
od: Vahram Petrosyan, i wsp.
Wydane: (2024-09-01)

Taylor, Monique. 2022. China’s Digital Authoritarianism. Politics and Development of Contemporary China. Palgrave Macmillan, Cham. XVII, 169 pp. https://doi.org/10.1007/978-3-031-11252-2
od: Vache Kalashyan
Wydane: (2023-05-01)

Erratum to Generating and using examples in the proving process (Educ Stud Math, (2013), 83, (323-340), 10.1007/s10649-012-9459-x)
od: Sandefur, J, i wsp.
Wydane: (2013)

CORRIGENDUM Corrigendum to: Protein as a sole source of nitrogen for in vitro grown tobacco plantletsBIOLOGIA PLANTARUM 60 (4): 635-644, 2016https://doi.org/10.1007/s10535-016-0639-x
od: H. SYNKOVÁ, i wsp.
Wydane: (2023-05-01)

Karsgaard, Carrie. 2023. Instagram as Public Pedagogy: Online Activism and the Trans Mountain Pipeline. Palgrave Macmillan, Cham. XVII, 277 pp. https://doi.org/10.1007/978-3-031-26182-4
od: Knarik Abrahamyan
Wydane: (2023-12-01)