scadsfct | PUMA

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)1315
This list of posts may not be accurate to recent changes. If you want accurate posts, but with limited sorting follow this link.

display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Empowering Education in Cambodia and Sri Lanka: Advancing Quality in 21st Century Teaching and Learning
S. (Ed.). (2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Knowledge Graphs evolution and preservation -- A technical report from ISWS 2019
N. Abbas, K. Alghamdi, M. Alinam, F. Alloatti, G. Amaral, C. d'Amato, L. Asprino, M. Beno, F. Bensmann, R. Biswas and 64 other author(s). (2020)
2 months ago by @scadsfct
show all tags
topic_lifescience
topic_lifescience
copydeleteadd this publication to your clipboard
1Complex query augmentation for question answering over knowledge graphs
A. Abdelkawi, H. Zafar, M. Maleshkova, and J. Lehmann. Lecture Notes in Computer Science, Springer International Publishing, Cham, (2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Detecting Linked Data quality issues via crowdsourcing: A DBpedia study
M. Acosta, A. Zaveri, E. Simperl, D. Kontokostas, F. Flöck, and J. Lehmann. Semant. Web, 9 (3): 303--335 (April 2018)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1PLIP 2021: expanding the scope of the protein-ligand interaction profiler to DNA and RNA
M. Adasme, K. Linnemann, S. Bolz, F. Kaiser, S. Salentin, V. Haupt, and M. Schroeder. Nucleic Acids Res., 49 (W1): W530--W534 (July 2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1A comparative patient-level prediction study in OMOP CDM: applicative potential and insights from synthetic data
N. Ahmadi, Q. Nguyen, M. Sedlmayr, and M. Wolfien. Scientific Reports, 14 (1): 2287 (January 2024)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Methods used in the development of common data models for health data: Scoping review
N. Ahmadi, M. Zoch, P. Kelbert, R. Noll, J. Schaaf, M. Wolfien, and M. Sedlmayr. JMIR Med. Inform., (August 2023)
2 months ago by @scadsfct
show all tags
Observational
Data
Healthcare;
Interoperability;
health
Repositories;
Interoperability
Partnership
elements;
elements
Healthcare
model;
;
Process;
Medical
Informatics;
data;
harmonisation;
Suggestive
data
Process
record;
stakeholder
Standardized
Repositories
Outcomes
Partnership;
involvement
common
record
Development
harmonisation
model
Informatics
electronic
ObservationalDataHealthcare;Interoperability;healthRepositories;InteroperabilityPartnershipelements;elementsHealthcaremodel;;Process;MedicalInformatics;data;harmonisation;SuggestivedataProcessrecord;stakeholderStandardizedRepositoriesOutcomesPartnership;involvementcommonrecordDevelopmentharmonisationmodelInformaticselectronic
copydeleteadd this publication to your clipboard
1Context Similarity for Retrieval-Based Imputation
A. Ahmadov, M. Thiele, W. Lehner, and R. Wrembel. page 1017--1024. (July 2017)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Identifying argumentative questions in web search logs
Y. Ajjour, P. Braslavski, A. Bondarenko, and B. Stein. Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, New York, NY, USA, ACM, (July 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Data Acquisition for Argument Search: The args.me Corpus
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, and B. Stein. page 48–59. Springer International Publishing, (2019)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Learning to Rank Arguments with Feature Selection
C. Akiki, M. Fröbe, M. Hagen, and M. Potthast. Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to - 24th, 2021, volume 2936 of CEUR Workshop Proceedings, page 2292--2301. CEUR-WS.org, (2021)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Tracking Discourse Influence in Darknet Forums
C. Akiki, L. Gienapp, and M. Potthast. (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Spacerini: Plug-and-play search engines with Pyserini and Hugging Face
C. Akiki, O. Ogundepo, A. Piktus, X. Zhang, A. Oladipo, J. Lin, and M. Potthast. (2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1BigScience: A case study in the social construction of a multilingual large language model
C. Akiki, G. Pistilli, M. Mieskes, M. Gallé, T. Wolf, S. Ilić, and Y. Jernite. (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Exploring Argument Retrieval with Transformers
C. Akiki, and M. Potthast. Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020, volume 2696 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1BERTian Poetics: Constrained Composition with Masked LMs
C. Akiki, and M. Potthast. (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1MLcps: machine learning cumulative performance score for classification problems
A. Akshay, M. Abedi, N. Shekarchizadeh, F. Burkhard, M. Katoch, A. Bigger-Allen, R. Adam, K. Monastyrskaya, and A. Gheinani. Gigascience, (December 2022)
2 months ago by @scadsfct
show all tags
problems;
score
unified
learning;
package;
evaluation
machine
Python
evaluation;
model
classification
problems;scoreunifiedlearning;package;evaluationmachinePythonevaluation;modelclassification
copydeleteadd this publication to your clipboard
1SpheroScan: a user-friendly deep learning tool for spheroid image analysis
A. Akshay, M. Katoch, M. Abedi, N. Shekarchizadeh, M. Besic, F. Burkhard, A. Bigger-Allen, R. Adam, K. Monastyrskaya, and A. Gheinani. Gigascience, (December 2022)
2 months ago by @scadsfct
show all tags
3D
image
deep
R-CNN;
learning;
high-throughput
analysis;
segmentation
spheroids;
Image
screening;
Mask
3DimagedeepR-CNN;learning;high-throughputanalysis;segmentationspheroids;Imagescreening;Mask
copydeleteadd this publication to your clipboard
1Machine Learning Made Easy (MLme): a comprehensive toolkit for machine learning-driven data analysis
A. Akshay, M. Katoch, N. Shekarchizadeh, M. Abedi, A. Sharma, F. Burkhard, R. Adam, K. Monastyrskaya, and A. Gheinani. Gigascience, (January 2024)
2 months ago by @scadsfct
show all tags
problems;
visualization
learning;
data
machine
analysis;
AutoML;
classification
problems;visualizationlearning;datamachineanalysis;AutoML;classification
copydeleteadd this publication to your clipboard
1Deep learning improves pancreatic cancer diagnosis using RNA-based variants
A. Al-Fatlawi, N. Malekian, S. Garc\'ıa, A. Henschel, I. Kim, A. Dahl, B. Jahnke, P. Bailey, S. Bolz, A. Poetsch and 4 other author(s). Cancers (Basel), 13 (11): 2654 (May 2021)
2 months ago by @scadsfct
show all tags
cancer;
pancreatitis;
study
transcriptome-wide
deep
learning;
topic_lifescience
association
pancreatic
chronic
cancer;pancreatitis;studytranscriptome-widedeeplearning;topic_lifescienceassociationpancreaticchronic
copydeleteadd this publication to your clipboard
1Is protein BLAST a thing of the past?
A. Al-Fatlawi, M. Menzel, and M. Schroeder. Nat. Commun., 14 (1): 8195 (December 2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Netrank: network-based approach for biomarker discovery
A. Al-Fatlawi, E. Rusadze, A. Shmelkin, N. Malekian, C. Ozen, C. Pilarsky, and M. Schroeder. BMC Bioinformatics, 24 (1): 304 (July 2023)
2 months ago by @scadsfct
show all tags
Biomarker;
R
expression;
Gene
RNA
package;
networks;
Cancer;
Protein
Biomarker;Rexpression;GeneRNApackage;networks;Cancer;Protein
copydeleteadd this publication to your clipboard
1The Rad52 SSAP superfamily and new insight into homologous recombination
A. Al-Fatlawi, M. Schroeder, and A. Stewart. Commun. Biol., 6 (1): 87 (January 2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1A user-centered approach to gamify the manual creation of training data for machine learning
S. Alaghbari, A. Mitschick, G. Blichmann, M. Voigt, and R. Dachselt. I-Com, 20 (1): 33--48 (April 2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Affinity Dependent Negative Sampling for Knowledge Graph Embeddings
M. Alam, H. Jabeen, M. Ali, K. Mohiuddin, and J. Lehmann. DL4KG@ESWC, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1BioKEEN: a library for learning and evaluating biological knowledge graph embeddings
M. Ali, C. Hoyt, D. Domingo-Fernández, J. Lehmann, and H. Jabeen. Bioinformatics, 35 (18): 3538--3540 (September 2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1The KEEN universe
M. Ali, H. Jabeen, C. Hoyt, and J. Lehmann. Lecture Notes in Computer Science, Springer International Publishing, Cham, (2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1The KEEN Universe: An Ecosystem for Knowledge Graph Embeddings with a Focus on Reproducibility and Transferability
M. Ali, H. Jabeen, C. Hoyt, and J. Lehmann. page 3–18. Springer International Publishing, (2019)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1SantaCoder: don't reach for the stars!
L. Allal, R. Li, D. Kocetkov, C. Mou, C. Akiki, C. Ferrandis, N. Muennighoff, M. Mishra, A. Gu, M. Dey and 31 other author(s). (2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Towards Operationalizing Frames through Axiomatization
L. Allein, P. Cimiano, I. Habernal, M. Potthast, A. Simons, and B. Stein. (2022)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Finding small proofs for Description Logic entailments: Theory and practice
C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, and A. Kovtunova. EasyChair, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Finding good proofs for Description Logic entailments using recursive quality measures
C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, and A. Kovtunova. Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Key Point Analysis via Contrastive Learning and Extractive Argument Summarization
M. Alshomary, T. Gurcke, S. Syed, P. Heinrich, M. Spliethöver, P. Cimiano, M. Potthast, and H. Wachsmuth. (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Argument undermining: Counter-argument generation by attacking weak premises
M. Alshomary, S. Syed, A. Dhar, M. Potthast, and H. Wachsmuth. (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Target Inference in Argument Conclusion Generation
M. Alshomary, S. Syed, M. Potthast, and H. Wachsmuth. Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Wikipedia Text Reuse: Within and Without
M. Alshomary, M. Völske, T. Licht, H. Wachsmuth, B. Stein, M. Hagen, and M. Potthast. page 747–754. Springer International Publishing, (2019)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Vergleich und Evaluation von RDF-on-Hadoop-Lösungen
W. Amann. Datenbanksysteme für Business, Technologie und Web (BTW 2017) - Workshopband, Gesellschaft für Informatik e.V., Bonn, (2017)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Composable and Reusable Neural Surrogates to Predict System Response of Causal Model Components
R. Anantharaman, A. Abdelrehim, F. Martinuzzi, S. Yalburgi, E. Saba, K. Fischer, G. Hertz, P. de Vos, C. Laughman, Y. Ma and 3 other author(s). AAAI 2022 Workshop on AI for Design and Manufacturing (ADAM), (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1A workflow to identify novel proteins based on the direct mapping of peptide-spectrum-matches to genomic locations
J. Anders, H. Petruschke, N. Jehmlich, S. Haange, M. von Bergen, and P. Stadler. BMC Bioinformatics, 22 (1): 277 (May 2021)
2 months ago by @scadsfct
show all tags
communitities;
Small
matches;
proteins
Peptide-spectrum
Microbial
Metaproteogenomics;
communitities;Smallmatches;proteinsPeptide-spectrumMicrobialMetaproteogenomics;
copydeleteadd this publication to your clipboard
1RNAcode\_Web - Convenient identification of evolutionary conserved protein coding regions
J. Anders, and P. Stadler. J. Integr. Bioinform., (September 2023)
2 months ago by @scadsfct
show all tags
sequence
small
coding
detection;
comparative
genomics;
peptides
sequencesmallcodingdetection;comparativegenomics;peptides
copydeleteadd this publication to your clipboard
1RNAcode\_Web -- Convenient Identification of Evolutionary Conserved Protein Coding Regions
J. Anders, and P. Stadler. J. Integrative Bioinf., (2023)in press.
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Towards mechanistic prediction of mass spectra using graph transformation
{. Andersen, R. Fagerberg, C. Flamm, R. Kianian, D. Merkle, and {. Stadler. MATCH Communications in Mathematical and in Computer Chemistry, 80 (3): 705--731 (Jan 1, 2018)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Pattern Recognition
B. Andres, F. Bernard, D. Cremers, S. Frintrop, B. Goldlucke, and I. Ihrke (Eds.) Lecture notes in computer science Springer International Publishing, Cham, Switzerland, 1 edition, (September 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1A polyhedral study of lifted multicuts
B. Andres, S. Di Gregorio, J. Irmai, and J. Lange. (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Mapping RDF databases to property graph databases
R. Angles, H. Thakkar, and D. Tomaszuk. IEEE Access, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Calibrating model parameters to trajectory data of mixed vehicular traffic
A. Anil Chaudhari, K. Srinivasan, B. Rama Chilukuri, M. Treiber, and O. Okhrin. Transp. Res. Rec., 2676 (1): 718--735 (January 2022)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Urheberrecht und Patentrecht
S. Anne Lauber-Roensberg. (2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Enhanced force-field calibration via machine learning
A. Argun, T. Thalheim, S. Bo, F. Cichos, and G. Volpe. Appl. Phys. Rev., 7 (4): 041404 (December 2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Training Multimodal Systems for Classification with Multiple Objectives
J. Armitage, S. Thakur, R. Tripathi, J. Lehmann, and M. Maleshkova. (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Common genetic variation indicates separate causes for periventricular and deep white matter hyperintensities
N. Armstrong, K. Mather, M. Sargurupremraj, M. Knol, R. Malik, C. Satizabal, L. Yanek, W. Wen, V. Gudnason, N. Dueker and 76 other author(s). Stroke, 51 (7): 2111--2121 (July 2020)
2 months ago by @scadsfct
show all tags
genome-wide
neuroimaging;
white
study;
topic_lifescience
association
brain;
risk
factors;
matter
genome-wideneuroimaging;whitestudy;topic_lifescienceassociationbrain;riskfactors;matter
copydeleteadd this publication to your clipboard
1Notation3 as an Existential Rule Language
D. Arndt, and S. Mennicke. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, (October 2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1A Sheaf-Theoretic Construction of Shape Space
S. Arya, J. Curry, and S. Mukherjee. Foundations of Computational Mathematics, (May 2024)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1A sheaf-theoretic construction of shape space
S. Arya, J. Curry, and S. Mukherjee. (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Compositional matrix-space models of language: Definitions, properties, and learning methods
S. Asaadi, E. Giesbrecht, and S. Rudolph. Natural Language Engineering, 29 (1): 1--49 (January 2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Multi$^3$: Optimizing multimodal single-objective continuous problems in the multi-objective space by means of multiobjectivization
P. Aspar, P. Kerschke, V. Steinhoff, H. Trautmann, and C. Grimme. Lecture Notes in Computer Science, Springer International Publishing, Cham, (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1The objective that freed me: a multi-objective local search approach for continuous single-objective optimization
P. Aspar, V. Steinhoff, L. Schäpermeier, P. Kerschke, H. Trautmann, and C. Grimme. Nat. Comput., (September 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Big POI data integration with Linked Data technologies
S. Athanasiou, G. Giorgos, G. Damien, K. Nikos, L. Jens, A. Ngonga Ngomo, P. Kostas, {. Sherif, and D. Skoutas. International Conference on Extending Database Technology 2019, EDBT19, (2019)
2 months ago by @scadsfct
show all tags
simba
group\_aksw
2019
deer
lehmann
ngonga
sherif
dice
slipo
limes
simbagroup\_aksw2019deerlehmannngongasherifdiceslipolimes
copydeleteadd this publication to your clipboard
1Hyperbolic Busemann Learning with ideal prototypes
M. Atigh, M. Keller-Ressel, and P. Mettes. (2021)
2 months ago by @scadsfct
show all tags
topic_lifescience
topic_lifescience
copydeleteadd this publication to your clipboard
1Anomaly detection on data streams -- A LSTM's diary
C. Augenstein, and B. Franczyk. Research Challenges in Information Science, Springer International Publishing, Cham, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1A generic architectural framework for machine learning on data streams
C. Augenstein, T. Zschörnig, N. Spangenberg, R. Wehlitz, and B. Franczyk. Enterprise Information Systems, Springer International Publishing, Cham, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1LEAPME: Learning-based property matching with embeddings
D. Ayala, I. Hernández, D. Ruiz, and E. Rahm. Data Knowl. Eng., 137 (101943): 101943 (January 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Multi-source dataset of e-commerce products with attributes for property matching
D. Ayala, I. Hernández, D. Ruiz, and E. Rahm. Data Brief, 41 (107884): 107884 (April 2022)
2 months ago by @scadsfct
show all tags
integration;
engineering;
Data
Ontology;
Property
matching
integration;engineering;DataOntology;Propertymatching
copydeleteadd this publication to your clipboard
1Towards the smart use of embedding and instance features for property matching
D. Ayala, I. Hernandez, D. Ruiz, and E. Rahm. 2021 IEEE 37th International Conference on Data Engineering (ICDE), IEEE, (April 2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Assessing Privacy Policies with AI: Ethical, Legal, and Technical Challenges
I. Aydin, H. Diebel-Fischer, V. Freiberger, J. Möller-Klapperich, E. Buchmann, M. Färber, A. Lauber-Rönsberg, and B. Platow. Proceedings of the 1st International Conference on AI-based Systems and Services (AISyS'24), (2024)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Relating optimal repairs in ontology engineering with contraction operations in belief change
F. Baader. ACM SIGAPP Appl. Comput. Rev., 23 (3): 5--18 (September 2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Optimal repairs in ontology engineering as pseudo-contractions in belief change
F. Baader. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (March 2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Expressive cardinality restrictions on concepts in a description logic with expressive number restrictions
F. Baader. ACM SIGAPP Appl. Comput. Rev., 19 (3): 5--17 (November 2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Expressive cardinality constraints on ALCSCC concepts
F. Baader. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (April 2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Satisfiability and query answering in description logics with global and local cardinality constraints
F. Baader, B. Bednarczyk, and S. Rudolph. (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
F. Baader, B. Bednarczyk, and S. Rudolph. Computational Logic Group, (2019)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Metric temporal description logics with interval-rigid names
F. Baader, S. Borgwardt, P. Koopmann, A. Ozaki, and V. Thost. ACM Trans. Comput. Log., 21 (4): 1--46 (October 2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Semantic Technologies for Situation Awareness
F. Baader, S. Borgwardt, P. Koopmann, V. Thost, and A. Turhan. KI - Künstl. Intell., 34 (4): 543--550 (December 2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1On the Abstract Expressive Power of Description Logics with Concrete Domains
F. Baader, and F. Bortoli. Description Logics, (2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Role-value maps and general concept inclusions in the minimal description logic with value restrictions or revisiting old skeletons in the DL cupboard
F. Baader, and Clément Théron. KI - Künstl. Intell., 34 (3): 291--301 (September 2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1The abstract expressive power of first-order and description logics with concrete domains
F. Baader, and F. De Bortoli. Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (April 2024)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1On the expressive power of description logics with cardinality constraints on finite and infinite sets
F. Baader, and F. De Bortoli. Frontiers of Combining Systems, Springer International Publishing, Cham, (2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
2Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
F. Baader, and F. De Bortoli. SIGAPP Appl. Comput. Rev., 24 (3): 5–17 (Oct 8, 2024)
24 days ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)
F. Baader, and F. De Bortoli. Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, Online, CEUR-WS, (2020)
2 months ago by @scadsfct
show all tags
topic_lifescience
topic_lifescience
copydeleteadd this publication to your clipboard
1Unification in the Description Logic $ELH_R^+$ without the Top Concept Modulo Cycle-Restricted Ontologies
F. Baader, and O. Fernández Gil. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II, volume 14740 of Lecture Notes in Computer Science, page 279--297. Springer, (2024)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Restricted Unification in the Description Logic $FL_\bot$
F. Baader, and O. Fernández Gil. Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1On the Complexity of the Small Term Reachability Problem for Terminating Term Rewriting Systems
F. Baader, and J. Giesl. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), volume 299 of Leibniz International Proceedings in Informatics (LIPIcs), page 16:1--16:18. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Deciding the word problem for ground and strongly shallow identities w.R.T. Extensional symbols
F. Baader, and D. Kapur. J. Automat. Reason., 66 (3): 301--329 (August 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Deciding the word problem for ground identities with commutative and extensional symbols
F. Baader, and D. Kapur. Automated Reasoning, Springer International Publishing, Cham, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Optimal repairs in the description logic $$EL$$ revisited
F. Baader, P. Koopmann, and F. Kriegel. Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, (2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $EL$ TBoxes
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. LTCS-Report, Technische Universität Dresden, (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract)
F. Baader, P. Koopmann, F. Kriegel, and A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, CEUR-WS.org, (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Efficient TBox Reasoning with Value Restrictions using the wer Reasoner
F. Baader, P. Koopmann, F. MICHEL, A. Turhan, and B. ZARRIESS. Theory and Practice of Logic Programming, (October 2021)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Treating role assertions as first-class citizens in repair and error-tolerant reasoning
F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, New York, NY, USA, ACM, (March 2023)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Error-tolerant reasoning in the description logic $$EL$$ based on optimal repairs
F. Baader, F. Kriegel, and A. Nuradiansyah. Rules and Reasoning, Springer International Publishing, Cham, (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Error-tolerant reasoning in the description logic $EL$ based on optimal repairs
F. Baader, F. Kriegel, and A. Nuradiansyah. Rules and Reasoning, Springer International Publishing, Cham, (2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Safety of quantified ABoxes w.r.t. singleton $\epsilon$ L policies
F. Baader, F. Kriegel, A. Nuradiansyah, and R. Peñaloza. Proceedings of the 36th Annual ACM Symposium on Applied Computing, New York, NY, USA, ACM, (March 2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Extensions of unification modulo ACUI
F. Baader, P. Marantidis, A. Mottet, and A. Okhotin. Math. Struct. Comput. Sci., 30 (6): 597--626 (June 2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Mixing description logics in privacy-preserving ontology publishing
F. Baader, and A. Nuradiansyah. KI 2019: Advances in Artificial Intelligence, Springer International Publishing, Cham, (2019)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1An algebraic view on p-admissible concrete domains for lightweight description logics
F. Baader, and J. Rydval. Logics in Artificial Intelligence, Springer International Publishing, Cham, (2021)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Description logics with concrete domains and general concept inclusions revisited
F. Baader, and J. Rydval. Automated Reasoning, Springer International Publishing, Cham, (2020)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1Using model theory to find decidable and tractable description logics with concrete domains
F. Baader, and J. Rydval. J. Automat. Reason., 66 (3): 357--407 (August 2022)
2 months ago by @scadsfct
copydeleteadd this publication to your clipboard
1How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, Springer, (October 2022)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, page 3258--3267. ijcai.org, (2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard
1Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 333--343. IJCAI Inc, (2023)
a month ago by @scadsfct
show all tags
imported
imported
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

bookmarks (hide) displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

discussion

similar users

shared groups

tags

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML