Institut für Logic and Computation

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-20 of 870 (Search time: 0.007 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kocijan, Vid ; Jang, Myeongjun ; Lukasiewicz, Thomas Pre-training and diagnosing knowledge base completion modelsArticle Artikel Apr-2024
2Sochor, Hannes ; Ferrarotti, Flavio ; Kaufmann, Daniela Fuzzing-based grammar learning from a minimal set of seed inputsArticle Artikel Mar-2024
3Gottlob-2024-ACM Transactions on Database Systems-vor.pdf.jpgGottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard Fast parallel hypertree decompositions in logarithmic recursion depthArticle Artikel Feb-2024
4Binucci-2024-Journal of Computer and System Sciences-vor.pdf.jpgBinucci, Carla ; Di Giacomo, Emilio ; Lenhart, William ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Symvonis, Antonios On the complexity of the storyplan problemArticle Artikel Feb-2024
5Müllner, Julian ; Moosbrugger, Marcel ; Kovács, Laura Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) ProgramsArticle Artikel 5-Jan-2024
6Ekstein, Jan ; Fleischner, Herbert The most general structure of graphs with hamiltonian or hamiltonian connected squareArticle Artikel 1-Jan-2024
7Zhang, Jiaojiao ; Zhang, Shuo ; Shen, Xiaoqian ; Lukasiewicz, Thomas ; Xu, Zhenghua Multi-ConDoS: Multimodal Contrastive Domain Sharing Generative Adversarial Networks for Self-Supervised Medical Image SegmentationArticle Artikel Jan-2024
8Xu, Zhenghua ; Yu, Zhoutao ; Zhang, Hexiang ; Chen, Junyang ; Gu, Junhua ; Lukasiewicz, Thomas ; Leung, Victor C. M. PhaCIA-TCNs: Short-Term Load Forecasting Using Temporal Convolutional Networks With Parallel Hybrid Activated Convolution and Input AttentionArticle Artikel Jan-2024
9Mahon-2024-Pattern Recognition-vor.pdf.jpgMahon, Louis ; Lukasiewicz, Thomas Minimum description length clustering to measure meaningful image complexityArticle Artikel Jan-2024
10Sha, Lei ; Thomas Lukasiewicz Text attribute control via closed-loop disentanglementArticle Artikel 2024
11Song-2024-Nature Neuroscience-vor.pdf.jpgSong, Yuhang ; Millidge, Beren ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Xu, Zhenghua ; Bogacz, Rafal Inferring neural activity before plasticity as a foundation for learning beyond backpropagationArticle Artikel 2024
12Cini-2024-Journal of Cryptology-vor.pdf.jpgCini, Valerio ; Ramacher, Sebastian ; Slamanig, Daniel ; Striecks, Christoph ; Tairi, Erkan (Inner-product) functional encryption with updatable ciphertextsArticle Artikel 2024
13Liu, Xin ; Xia, Junqiang ; Deng, Shanshan ; Zhou, Meirong ; Mao, Beiping ; Blanckaert, Koen Hydrodynamic and Morphological Adaptation of Two Consecutive Sharp Bends of the Middle Yangtze River to Upstream DammingArticle Artikel 29-Dec-2023
14Polleres-2023-Transactions on Graph Data and Knowledge-vor.pdf.jpgPolleres, Axel ; Pernisch, Romana ; Bonifati, Angela ; Dell´Aglio, Daniele ; Dobriy, Daniil ; Dumbrava, Stefania ; Etcheverry, Lorena ; Ferranti, Nicolas ; Hose, Katja ; Jimenez-Ruiz, Ernesto ; Lissandrini, Matteo ; Scherp, Ansgar ; Tommasini, Riccardo ; Wachs, Johannes How does knowledge evolve in open knowledge graphs?Article Artikel 19-Dec-2023
15Aebeloe-2023-Semantic Web-vor.pdf.jpgAebeloe, Christian ; Montoya, Gabriela ; Hose, Katja Optimizing SPARQL queries over decentralized knowledge graphsArticle Artikel 13-Dec-2023
16Ganian, Robert ; Hamm, Thekla ; Knop, Dušan ; Schierreich, Šimon ; Suchý, Ondřej Hedonic diversity games: A complexity picture with more than two colorsArticle Artikel Dec-2023
17Yu, Miao ; Guo, Miaomiao ; Zhang, Shuai ; Zhan, Yuefu ; Zhao, Mingkang ; Lukasiewicz, Thomas ; Xu, Zhenghua RIRGAN: An end-to-end lightweight multi-task learning method for brain MRI super-resolution and denoisingArticle Artikel Dec-2023
18Kocijan, Vid ; Davis, Ernest ; Lukasiewicz, Thomas ; Marcus, Gary ; Morgenstern, Leora The Defeat of the Winograd Schema ChallengeArticle Artikel Dec-2023
19Frieder, Simon ; Berner, Julius ; Petersen, Philipp ; Lukasiewicz, Thomas Large Language Models for MathematiciansArticle ArtikelDec-2023
20Schidler-2023-ACM Journal on Experimental Algorithmics-vor.pdf.jpgSchidler, Andre ; Szeider, Stefan SAT-boosted tabu search for coloring massive graphsArticle Artikel Dec-2023