Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Shu-Bin Cai, Zhong Ming 0001, Shixian Li |
BALC: A Belief Extension of Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1711-1716, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
84 | Vincent Roca, Zainab Khallouf, Julien Laboure |
Design and Evaluation of a Low Density Generator Matrix (LDGM) Large Block FEC Codec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networked Group Communication ![In: Group Communications and Charges; Technology and Business Models, 5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, Munich, Germany, September 16-19, 2003, Proceedings, pp. 193-204, 2003, Springer, 3-540-20051-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
large block FEC codes, LDGM, ALC, FEC, reliable multicast, LDPC |
69 | Hailong Wang, Zong Min Ma 0001 |
A Decidable Fuzzy Description Logic F-ALC(G). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 116-123, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fuzzy ALC(G), customized fuzzy data types, Tableau algorithm |
55 | Hailong Wang, Zong Min Ma 0001, Li Yan 0001, Gang Zhang |
A Fuzzy Extension of ALC with Fuzzy Modifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (4) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 4, pp. 751-755, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Pakornpong Pothipruk, Guido Governatori |
An optimization for query answering on ALC database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Database Technologies 2006, Proceedings of the 17th Australasian Database Conference, ADC 2006, Hobart, Tasmania, Australia, January 16-19 2006, pp. 129-137, 2006, Australian Computer Society, 1-920682-31-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
query optimization, description logic, web database |
52 | Carsten Lutz |
NEXP TIME-complete description logics with concrete domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 669-705, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
NExpTime-completeness, concrete domains, domino problem, Computational complexity, description logic, post correspondence problem |
52 | John Siwko, Izhak Rubin |
Connection admission control for capacity-varying networks with stochastic capacity change times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 9(3), pp. 351-360, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
capacity-varying network, communication system control, multi-access communication, traffic control (communication), multimedia communication, call admission control, communication systems, satellite communication |
51 | Saad Ghaleb Yaseen, Saib Al-Janaydab, Nesrine Abed Alc |
Leadership Styles, Absorptive Capacity and Firm's Innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Knowl. Manag. ![In: Int. J. Knowl. Manag. 14(3), pp. 82-100, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
48 | Hailong Wang, Zong Min Ma 0001, Junfu Yin |
FRESG: A Kind of Fuzzy Description Logic Reasoner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009. Proceedings, pp. 443-450, 2009, Springer, 978-3-642-03572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy description logic, F-ALC(G), customized data type, reasoner |
41 | Khadija Jradeh |
Optimised tableau algorithms for reasoning in the description logic ALC extended with link keys. (Algorithmes de tableau optimisés pour le raisonnement dans la logique de description ALC étendue avec des clés de liage). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
41 | Eunice Palmeira da Silva, Fred Freitas, Jens Otten |
Converting ALC Connection Proofs into ALC Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP ![In: Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019., pp. 3-17, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Henriette Harmse, Katarina Britz, Aurona Gerber |
Generating Armstrong ABoxes for ALC ALC TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 211-230, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
41 | Franz Baader, Andreas Ecke |
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 63-75, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Kewen Wang 0001, Zhe Wang 0001, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou |
Concept and Role Forgetting in ALC{\mathcal {ALC}} Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 666-681, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Adam Meissner |
A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 413-424, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parallel reasoning, Oz language, description logic |
41 | Linh Anh Nguyen, Andrzej Szalas |
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems, First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009. Proceedings, pp. 437-448, 2009, Springer, 978-3-642-04440-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Zhe Wang 0001, Kewen Wang 0001, Rodney W. Topor, Jeff Z. Pan, Grigoris Antoniou |
Uniform Interpolation for ALC\mathcal{ALC} Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 528-537, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Jingwei Cheng, Zong Min Ma 0001, Fu Zhang 0001, Xing Wang 0002 |
Conjunctive Query Answering over an f-ALC Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia, pp. 279-282, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
A dissimilarity measure for ALC concept descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1695-1699, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
similarity, description logics, distances |
38 | Xi Deng, Volker Haarslev, Nematollaah Shiri |
Resolution Based Explanations for Reasoning in the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWWS ![In: Canadian Semantic Web, CSWWS 2006, first Canadian Semantic Web Working Symposium, June 2006, Quebec, Canada, pp. 189-204, 2006, Springer, 978-0-387-29815-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Completion Rules for Uncertainty Reasoning with the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSWWS ![In: Canadian Semantic Web, CSWWS 2006, first Canadian Semantic Web Working Symposium, June 2006, Quebec, Canada, pp. 205-225, 2006, Springer, 978-0-387-29815-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Joe Bolinger, Greg Horvath, Jay Ramanathan, Rajiv Ramnath |
Collaborative workflow assistant for organizational effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 273-280, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
collaboration, CSCW, workflow, process management, activity management |
35 | Nanjangud C. Narendra, Youakim Badr, Philippe Thiran, Zakaria Maamar |
Towards a Unified Approach for Business Process Modeling Using Context-Based Artifacts and Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: 2009 IEEE International Conference on Services Computing (SCC 2009), 21-25 September 2009, Bangalore, India, pp. 332-339, 2009, IEEE Computer Society, 978-0-7695-3811-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | A. J. Graaff, Andries P. Engelbrecht |
A local network neighbourhood artificial immune system for data clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 260-267, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Eunjung Han, Anjin Park, Dongwok Kyoung, HwangKyu Yang, Keechul Jung |
Effective Image Retrieval for the M-Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: Achievements, Challenges and Opportunities, 9th International Conference on Asian Digital Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006, Proceedings, pp. 340-349, 2006, Springer, 3-540-49375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Contents recycling, Multimedia education contents, Shape-based image retrieval, Mobile vision, Mobile learning, DTW |
35 | Greg Bronevetsky, Keshav Pingali, Paul Stodghill |
Experimental evaluation of application-level checkpointing for OpenMP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 20th Annual International Conference on Supercomputing, ICS 2006, Cairns, Queensland, Australia, June 28 - July 01, 2006, pp. 2-13, 2006, ACM, 1-59593-282-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Eyke Hüllermeier, Jürgen Beringer |
Learning from Ambiguously Labeled Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings, pp. 168-179, 2005, Springer, 3-540-28795-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Akaraphunt Vongkunghae, Jang Yi, Richard B. Wells |
A printer model using signal processing techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 12(7), pp. 776-783, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Ian Horrocks 0001, Ulrike Sattler, Stephan Tobies |
Practical Reasoning for Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning, 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, pp. 161-180, 1999, Springer, 3-540-66492-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Horia-Nicolai L. Teodorescu, Cristian Bonciu |
Learning algorithm for RBF networks as features extractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part I, pp. 201-208, 1997, IEEE, 0-7803-3755-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter |
Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 78, pp. 217-267, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Bartosz Bednarczyk, Sebastian Rudolph |
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 78, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit |
Efficient Computation of General Modules for ALC Ontologies (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09503, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Fernando Zhapa-Camacho, Robert Hoehndorf |
CatE: Embedding ALC ontologies using category-theoretical semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.07163, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Pietro Galliani, Oliver Kutz, Nicolas Troquard |
Succinctness and Complexity of ALC with Counting Perceptrons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023., pp. 291-300, 2023, 978-1-956792-02-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit |
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 6442-6446, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit |
Efficient Computation of General Modules for ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pp. 3356-3364, 2023, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zhenwei Tang, Tilman Hinnerichs, Xi Peng, Xiangliang Zhang 0001, Robert Hoehndorf |
FALCON: Sound and Complete Neural Semantic Entailment over ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.07628, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
Finite Entailment of UCRPQs over ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.14261, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Xuan Wu, Xinhao Zhu, Yizheng Zhao, Xinyu Dai |
Differentiable Fuzzy ALC: A Neural-Symbolic Representation Language for Symbol Grounding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.12006, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ludovic Brieulle, Chan Le Duc, Pascal Vaillant |
Reasoning in the Description Logic ALC under Category Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04911, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Daiki Takahashi, Ken Kaneiwa |
The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.05279, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | N'Dah Jean Kouagou, Stefan Heindorf, Caglar Demir, Axel-Cyrille Ngonga Ngomo |
Learning Concept Lengths Accelerates Concept Learning in ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web - 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 - June 2, 2022, Proceedings, pp. 236-252, 2022, Springer, 978-3-031-06980-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Roberto Confalonieri 0001, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard |
Almost Certain Termination for ALC Weakening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence - 21st EPIA Conference on Artificial Intelligence, EPIA 2022, Lisbon, Portugal, August 31 - September 2, 2022, Proceedings, pp. 663-675, 2022, Springer, 978-3-031-16473-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak |
Finite Entailment of UCRPQs over ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022., 2022, 978-1-956792-01-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Ludovic Brieulle, Chan Le Duc, Pascal Vaillant |
Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Mostafa Sakr, Renate A. Schmidt |
Fine-Grained Forgetting for the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Moritz Illich, Birte Glimm |
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 2669-2675, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki |
Revising Ontologies via Models: The ALC-formula Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.12331, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Chan Le Duc |
Category-theoretical Semantics of the Description Logic ALC (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.08837, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Caglar Demir, Axel-Cyrille Ngonga Ngomo |
DRILL- Deep Reinforcement Learning for Refinement Operators in ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.15373, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Patrick Koopmann |
Signature-Based ABox Abduction in ALC is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOQE@KR ![In: Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021., pp. 61-74, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Vasyl Lenko, Volodymyr Pasichnyk, Nataliia Kunanets, Yuri Shcherbyna |
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoMLeT+DS ![In: Modern Machine Learning Technologies and Data Science Workshop. Proc. 3rd International Workshop (MoMLeT&DS 2021). Volume I: Main Conference, Lviv-Shatsk, Ukraine, June 5-6, 2021., pp. 26-39, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki |
Revising Ontologies via Models: The ALC-formula Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Chan Le Duc |
Category-theoretical Semantics of the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Thomas Macaulay Ferguson |
Modeling Intentional States with Subsystems of ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Renan Fernandes, Fred Freitas, Ivan Varzinczak |
A Connection Method for a Defeasible Extension of ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Simone Kotthaus, Martial Haeffelin, Marc-Antoine Drouin, Jean-Charles Dupont, Sue Grimmond, Alexander Haefele, Maxime Hervo, Yann Poltera, Matthias Wiegner |
Tailored Algorithms for the Detection of the Atmospheric Boundary Layer Height from Common Automatic Lidars and Ceilometers (ALC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(19), pp. 3259, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Amar Isli |
A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.12760, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.02078, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 614-623, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng |
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
21 | Md. Shafiqul Islam, Marwa K. Qaraqe, Samir B. Belhaouari |
Early Prediction of Hemoglobin Alc: A novel Framework for better Diabetes Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCI ![In: 2020 IEEE Symposium Series on Computational Intelligence, SSCI 2020, Canberra, Australia, December 1-4, 2020, pp. 542-547, 2020, IEEE, 978-1-7281-2547-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Sivapriyaa Kannappan, Yonghuai Liu, Bernard Tiddeman |
DFP-ALC: Automatic video summarization using Distinct Frame Patch index and Appearance based Linear Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 120, pp. 8-16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Katarina Britz, Ivan Varzinczak |
Contextual rational closure for defeasible ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 87(1-2), pp. 83-108, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query inseparability for ALC ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 272, pp. 1-51, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Bin Wen, Jianhou Gan, Juan Luis García Guirao, Wei Gao 0012 |
An extended description logic system with knowledge element based on ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.07469, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability for ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.00014, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the power-set construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Marco Wilhelm, Gabriele Kern-Isberner |
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logic, Theory Combination, and All That ![In: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, pp. 588-609, 2019, Springer, 978-3-030-22101-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Warren Del-Pinto, Renate A. Schmidt |
ABox Abduction via Forgetting in ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019., pp. 2768-2775, 2019, AAAI Press, 978-1-57735-809-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Katarina Britz, Ivan Varzinczak |
Preferential Tableaux for Contextual Defeasible ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, pp. 39-57, 2019, Springer, 978-3-030-29025-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Leonard Botha, Thomas Meyer 0002, Rafael Peñaloza |
A Bayesian Extension of the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 339-354, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the Power-Set Construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, pp. 387-398, 2019, Springer, 978-3-030-19569-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Katarina Britz, Ivan Varzinczak |
Contextual Rational Closure for Defeasible ALC (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Haitao Cheng, Zongmin Ma 0001 |
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Katarina Britz, Ivan Varzinczak |
Reasoning with Contextual Defeasible ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
21 | Bruno Poellhuber, Samuel Fournier St-Laurent, Normand Roy |
Using the TAM and Functional Analysis to Predict the Most Used Functions of an Active Learning Classroom (ALC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers ICT ![In: Frontiers ICT 5, pp. 8, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Warren Del-Pinto, Renate A. Schmidt |
ABox Abduction via Forgetting in ALC (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.05420, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 17-21, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Aaron Eberhart, Michelle Cheatham, Pascal Hitzler |
Pseudo-Random ALC Syntax Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers, pp. 19-22, 2018, Springer, 978-3-319-98191-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 162-173, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
21 | Dimas Melo Filho, Fred Freitas, Jens Otten |
RACCOON: A Connection Reasoner for the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, pp. 200-211, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Warren Del-Pinto, Renate A. Schmidt |
Forgetting-Based Abduction in ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOQE ![In: Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017., pp. 27-35, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
21 | Yuhui Wang, Cungen Cao, Yuefei Sui |
R-Calculus for the Primitive Statements in Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management - 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings, pp. 106-116, 2017, Springer, 978-3-319-63557-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Haitao Cheng, Zongmin Ma 0001 |
f- ALC (D)-LTL: A Fuzzy Spatio-Temporal Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management - 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings, pp. 93-105, 2017, Springer, 978-3-319-63557-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Gem Stapleton, Aidan J. Delaney, Michael Compton, Peter Chapman |
Visualizing ALC Using Concept Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GKR ![In: Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers, pp. 99-117, 2017, Springer, 978-3-319-78101-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Franz Baader, Andreas Ecke |
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCAI ![In: GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017., pp. 6-19, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Juan Pablo Munoz Toriz, Everardo Bárcenas, Iván Martínez Ruiz, José Ramón Enrique Arrazola-Ramírez |
(Hyper)sequent Calculi for the ALC(S4) Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computación y Sistemas ![In: Computación y Sistemas 20(1), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.04164, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Gianluca Pozzato |
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016., pp. 37-52, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Fred Freitas, Jens Otten |
A Connection Calculus for the Description Logic ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence - 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings, pp. 243-256, 2016, Springer, 978-3-319-34110-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ryo Koma, Masamichi Fujiwara, Junichi Kani, Ken-Ichi Suzuki, Akihiro Otaka |
Wide dynamic range burst-mode digital coherent detection using fast ALC-EDFA and pre-calculation of FIR filter coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2016, Anaheim, CA, USA, March 20-24, 2016, pp. 1-3, 2016, IEEE, 978-1-9435-8007-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
When is Query Inseparability for ALC Ontologies Decidable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query-Based Entailment and Inseparability for ALC Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 1001-1007, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Franz Baader, Stefan Borgwardt, Rafael Peñaloza |
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 44(2), pp. 117-146, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Graham Deane, Krysia Broda, Alessandra Russo |
Reasoning in the presence of inconsistency through Preferential ALC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (short papers) ![In: 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015., pp. 67-80, 2015, EasyChair. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Patrick Koopmann, Renate A. Schmidt |
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., pp. 175-181, 2015, AAAI Press, 978-1-57735-698-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Stephan Scheele |
Model and proof theory of constructive ALC: constructive description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|