Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
Automated Reasoning in $\mathcal{ALCQ}$ via SMT
Roberto Sebastiani2011, Lecture Notes in Computer Science
Related papers
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
Fundamenta Informaticae
Finding Maximally Satisfiable Terminologies for the Description Logic ALC
PROCEEDINGS OF THE NATIONAL …, 2006
Practical reasoning for expressive Description Logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999
LAPORAN PRAKTIKUM KULTUR JARINGAN (PEMBUATAN MEDIA)
Laprak Kultur Jaringan, 2021
ENGINEERING MECHANICS
Hibbeler (engineering mechanics dynamics 14th edition).pdf
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
KAY409 - Political Ideologies in Türkiye | Fall Semester Sllybus [2023-2024]
KAY409 - Political Ideologies in Türkiye | Fall Semester Sllybus, , 2023
Myanmar in India's Foreign Policy Framework: A Realist Perception
isara solutions, 2023
Indispensability of Interdisciplinarity in Studying Society: On Philosophy and Science in Sociology
Routledge , 2024
Trawersem przez glob: studia postkolonialne i teoria globalizacji
ER(R)GO. Teoria–Literatura–Kultura, 2004
Inntrykk fra 5. Nasjonale konferanse om selvmordsforebygging
Nytt i suicidologi, 2015
Continuous Venovenous Renal Replacement Therapy With a Pulsatile Tubular Blood Pump: Analysis of Efficacy Parameters
Artificial Organs, 2006
Texture evolution during shadowing growth of isolated Ru columns
Physical Review B, 2005
Christians and Jews in the Administration System of Ahmad-Pasha Al-Jazzar in the Late XVIII - Early XIX Centuries
RUDN Journal of World History, 2018
Bio-Inspired Passive Drag Reduction Techniques: A Review
ChemBioEng reviews, 2015
Electrodeposition of high Mo content amorphous/nanocrystalline Ni–Mo alloys using 1-ethyl-3-methyl-imidazolium chloride ionic liquid as an additive
Electrochimica Acta, 2011
P1-15 Face-sensitive neural responses in the occipital cortex without visual awareness
Clinical Neurophysiology, 2010
- Find new research papers in:
- Physics
- Chemistry
- Biology
- Health Sciences
- Ecology
- Earth Sciences
- Cognitive Science
- Mathematics
- Computer Science