| 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.  |
ICYCS  |
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. |
Networked Group Communication |
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). |
DEXA |
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. |
FSKD (4) |
2007 |
DBLP DOI BibTeX RDF |
|
| 55 | Pakornpong Pothipruk, Guido Governatori |
An optimization for query answering on ALC database. |
ADC |
2006 |
DBLP BibTeX RDF |
query optimization, description logic, web database |
| 52 | Carsten Lutz |
NEXP TIME-complete description logics with concrete domains. |
ACM Trans. Comput. Log. |
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. |
IEEE/ACM Trans. Netw. |
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. |
Int. J. Knowl. Manag. |
2018 |
DBLP DOI BibTeX RDF |
|
| 48 | Hailong Wang, Zong Min Ma 0001, Junfu Yin |
FRESG: A Kind of Fuzzy Description Logic Reasoner. |
DEXA |
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). |
|
2022 |
RDF |
|
| 41 | Eunice Palmeira da Silva, Fred Freitas, Jens Otten |
Converting ALC Connection Proofs into ALC Sequents. |
PxTP |
2019 |
DBLP DOI BibTeX RDF |
|
| 41 | Henriette Harmse, Katarina Britz, Aurona Gerber |
Generating Armstrong ABoxes for ALC ALC TBoxes. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
| 41 | Franz Baader, Andreas Ecke |
Reasoning with Prototypes in the Description Logic ALC ALC Using Weighted Tree Automata. |
LATA |
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. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 41 | Adam Meissner |
A Simple Parallel Reasoning System for the ALC\mathcal{ALC} Description Logic. |
ICCCI |
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}. |
ICCCI |
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. |
Australasian Conference on Artificial Intelligence |
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. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 38 | Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
A dissimilarity measure for ALC concept descriptions. |
SAC |
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. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 38 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Completion Rules for Uncertainty Reasoning with the Description Logic ALC. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 35 | Joe Bolinger, Greg Horvath, Jay Ramanathan, Rajiv Ramnath |
Collaborative workflow assistant for organizational effectiveness. |
SAC |
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. |
IEEE SCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 35 | A. J. Graaff, Andries P. Engelbrecht |
A local network neighbourhood artificial immune system for data clustering. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
| 35 | Eunjung Han, Anjin Park, Dongwok Kyoung, HwangKyu Yang, Keechul Jung |
Effective Image Retrieval for the M-Learning System. |
ICADL |
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. |
ICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 35 | Eyke Hüllermeier, Jürgen Beringer |
Learning from Ambiguously Labeled Examples. |
IDA |
2005 |
DBLP DOI BibTeX RDF |
|
| 35 | Akaraphunt Vongkunghae, Jang Yi, Richard B. Wells |
A printer model using signal processing techniques. |
IEEE Trans. Image Process. |
2003 |
DBLP DOI BibTeX RDF |
|
| 35 | Ian Horrocks 0001, Ulrike Sattler, Stephan Tobies |
Practical Reasoning for Expressive Description Logics. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 35 | Horia-Nicolai L. Teodorescu, Cristian Bonciu |
Learning algorithm for RBF networks as features extractors. |
KES (1) |
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. |
J. Artif. Intell. Res. |
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. |
J. Artif. Intell. Res. |
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). |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Fernando Zhapa-Camacho, Robert Hoehndorf |
CatE: Embedding ALC ontologies using category-theoretical semantics. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Pietro Galliani, Oliver Kutz, Nicolas Troquard |
Succinctness and Complexity of ALC with Counting Perceptrons. |
KR |
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). |
Description Logics |
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). |
IJCAI |
2023 |
DBLP DOI BibTeX RDF |
|
| 21 | Hui Yang, Patrick Koopmann, Yue Ma 0009, Nicole Bidoit |
Efficient Computation of General Modules for ALC Ontologies. |
IJCAI |
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. |
CoRR |
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. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Ludovic Brieulle, Chan Le Duc, Pascal Vaillant |
Reasoning in the Description Logic ALC under Category Semantics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Daiki Takahashi, Ken Kaneiwa |
The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC. |
CoRR |
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. |
ESWC |
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. |
EPIA |
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. |
KR |
2022 |
DBLP BibTeX RDF |
|
| 21 | Ludovic Brieulle, Chan Le Duc, Pascal Vaillant |
Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract). |
Description Logics |
2022 |
DBLP BibTeX RDF |
|
| 21 | Mostafa Sakr, Renate A. Schmidt |
Fine-Grained Forgetting for the Description Logic ALC. |
Description Logics |
2022 |
DBLP BibTeX RDF |
|
| 21 | Moritz Illich, Birte Glimm |
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. |
IJCAI |
2022 |
DBLP DOI BibTeX RDF |
|
| 21 | Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki |
Revising Ontologies via Models: The ALC-formula Case. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Chan Le Duc |
Category-theoretical Semantics of the Description Logic ALC (extended version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Caglar Demir, Axel-Cyrille Ngonga Ngomo |
DRILL- Deep Reinforcement Learning for Refinement Operators in ALC. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Patrick Koopmann |
Signature-Based ABox Abduction in ALC is Hard. |
SOQE@KR |
2021 |
DBLP BibTeX RDF |
|
| 21 | Vasyl Lenko, Volodymyr Pasichnyk, Nataliia Kunanets, Yuri Shcherbyna |
Knowledge Representation and Automated Formal Reasoning in Description Logic ALC. |
MoMLeT+DS |
2021 |
DBLP BibTeX RDF |
|
| 21 | Jandson S. Ribeiro, Ricardo Guimarães 0001, Ana Ozaki |
Revising Ontologies via Models: The ALC-formula Case. |
Description Logics |
2021 |
DBLP BibTeX RDF |
|
| 21 | Chan Le Duc |
Category-theoretical Semantics of the Description Logic ALC. |
Description Logics |
2021 |
DBLP BibTeX RDF |
|
| 21 | Thomas Macaulay Ferguson |
Modeling Intentional States with Subsystems of ALC. |
Description Logics |
2021 |
DBLP BibTeX RDF |
|
| 21 | Renan Fernandes, Fred Freitas, Ivan Varzinczak |
A Connection Method for a Defeasible Extension of ALC. |
Description Logics |
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). |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
| 21 | Amar Isli |
A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 21 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers (Extended Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
| 21 | Nadia Labai, Magdalena Ortiz 0001, Mantas Simkus |
An ExpTime Upper Bound for ALC with Integers. |
KR |
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. |
Description Logics |
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. |
SSCI |
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. |
Pattern Recognit. Lett. |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Katarina Britz, Ivan Varzinczak |
Contextual rational closure for defeasible ALC. |
Ann. Math. Artif. Intell. |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query inseparability for ALC ontologies. |
Artif. Intell. |
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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query Inseparability for ALC Ontologies. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 21 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the power-set construct. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 21 | Marco Wilhelm, Gabriele Kern-Isberner |
Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Warren Del-Pinto, Renate A. Schmidt |
ABox Abduction via Forgetting in ALC. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Katarina Britz, Ivan Varzinczak |
Preferential Tableaux for Contextual Defeasible ALC. |
TABLEAUX |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Leonard Botha, Thomas Meyer 0002, Rafael Peñaloza |
A Bayesian Extension of the Description Logic ALC. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Laura Giordano 0001, Alberto Policriti |
Extending ALC with the Power-Set Construct. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 21 | Katarina Britz, Ivan Varzinczak |
Contextual Rational Closure for Defeasible ALC (Extended Abstract). |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
| 21 | Haitao Cheng, Zongmin Ma 0001 |
Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
| 21 | Katarina Britz, Ivan Varzinczak |
Reasoning with Contextual Defeasible ALC. |
Description Logics |
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). |
Frontiers ICT |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Warren Del-Pinto, Renate A. Schmidt |
ABox Abduction via Forgetting in ALC (Long Version). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 21 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC (Extended Abstract). |
CILC |
2018 |
DBLP BibTeX RDF |
|
| 21 | Aaron Eberhart, Michelle Cheatham, Pascal Hitzler |
Pseudo-Random ALC Syntax Generation. |
ESWC (Satellite Events) |
2018 |
DBLP DOI BibTeX RDF |
|
| 21 | Laura Giordano 0001, Alberto Policriti |
Power (Set) ALC. |
ICTCS |
2018 |
DBLP BibTeX RDF |
|
| 21 | Dimas Melo Filho, Fred Freitas, Jens Otten |
RACCOON: A Connection Reasoner for the Description Logic ALC. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Warren Del-Pinto, Renate A. Schmidt |
Forgetting-Based Abduction in ALC. |
SOQE |
2017 |
DBLP BibTeX RDF |
|
| 21 | Yuhui Wang, Cungen Cao, Yuefei Sui |
R-Calculus for the Primitive Statements in Description Logic ALC. |
KSEM |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Haitao Cheng, Zongmin Ma 0001 |
f- ALC (D)-LTL: A Fuzzy Spatio-Temporal Description Logic. |
KSEM |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Gem Stapleton, Aidan J. Delaney, Michael Compton, Peter Chapman |
Visualizing ALC Using Concept Diagrams. |
GKR |
2017 |
DBLP DOI BibTeX RDF |
|
| 21 | Franz Baader, Andreas Ecke |
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. |
GCAI |
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. |
Computación y Sistemas |
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). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 21 | Gianluca Pozzato |
ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. |
CILC |
2016 |
DBLP BibTeX RDF |
|
| 21 | Fred Freitas, Jens Otten |
A Connection Calculus for the Description Logic ALC. |
Canadian AI |
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. |
OFC |
2016 |
DBLP BibTeX RDF |
|
| 21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
When is Query Inseparability for ALC Ontologies Decidable? |
Description Logics |
2016 |
DBLP BibTeX RDF |
|
| 21 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
Query-Based Entailment and Inseparability for ALC Ontologies. |
IJCAI |
2016 |
DBLP BibTeX RDF |
|
| 21 | Franz Baader, Stefan Borgwardt, Rafael Peñaloza |
On the Decidability Status of Fuzzy ALC with General Concept Inclusions. |
J. Philos. Log. |
2015 |
DBLP DOI BibTeX RDF |
|
| 21 | Graham Deane, Krysia Broda, Alessandra Russo |
Reasoning in the presence of inconsistency through Preferential ALC. |
LPAR (short papers) |
2015 |
DBLP DOI BibTeX RDF |
|
| 21 | Patrick Koopmann, Renate A. Schmidt |
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 21 | Stephan Scheele |
Model and proof theory of constructive ALC: constructive description logics. |
|
2015 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license