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 341-360 of 5004 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
341Dvořák, W. ; Keshavarzi Zafarghandi, A. ; Woltran, S. Expressiveness of SETAFs and support-free ADFs under 3-valued semanticsArticle Artikel 2023
342Frohner, Nikolaus ; Neumann, Bernhard ; Pace, Giulio ; Raidl, Günther R Approaching the Traveling Tournament Problem with Randomized Beam SearchArticle Artikel 2023
343Glaser, Philipp-Lorenz ; Ali, Syed Juned ; Sallinger, Emanuel ; Bork, Dominik Model-Based Construction of Enterprise Architecture Knowledge Graphs (extended abstract)Inproceedings Konferenzbeitrag 2023
344Lukasiewicz, Thomas ; Malizia, Enrico ; Molinaro, Cristian Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- under Preferred RepairsInproceedings Konferenzbeitrag 2023
5Salvatori, Tommaso ; Millidge, Beren ; Song, Yuhang ; Bogacz, Rafal ; Lukasiewicz, Thomas Associative Memories in the Feature SpaceInproceedings Konferenzbeitrag 2023
6Xie, Zhongbin ; Lukasiewicz, Thomas An Empirical Analysis of Parameter-Efficient Methods for Debiasing Pre-Trained Language ModelsInproceedings Konferenzbeitrag 2023
7Atanasova, Pepa ; Camburu, Oana-Maria ; Lioma, Christina ; Lukasiewicz, Thomas ; Simonsen, Jakob Grue ; Augenstein, Isabelle Faithfulness Tests for Natural Language ExplanationsInproceedings Konferenzbeitrag 2023
8Xu, Gang ; Wang, Shengxin ; Lukasiewicz, Thomas ; Xu, Zhenghua Adaptive-Masking Policy with Deep Reinforcement Learning for Self-Supervised Medical Image SegmentationInproceedings Konferenzbeitrag 2023
9Millidge, Beren ; Song, Yuhang ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Bogacz, Rafal A Theoretical Framework for Inference and Learning in Predictive Coding NetworksInproceedings Konferenzbeitrag 2023
10Jang, Myeongjun ; Lukasiewicz, Thomas Consistency Analysis of ChatGPTInproceedings Konferenzbeitrag 2023
11Millidge, Beren ; Song, Yuhang ; Salvatori, Tommaso ; Lukasiewicz, Thomas ; Bogacz, Rafal Backpropagation at the Infinitesimal Inference Limit of Energy-Based Models: Unifying Predictive Coding, Equilibrium Propagation, and Contrastive Hebbian LearningInproceedings Konferenzbeitrag 2023
12Zhongbin, Xie ; Kocijan, Vid ; Lukasiewicz, Thomas ; Camburu, Oana-Maria Counter−GAP: Counterfactual Bias Evaluation through Gendered Ambiguous PronounsInproceedings Konferenzbeitrag 2023
13Wang, Xiangtao ; Wang, Ruizhi ; Tian, Biao ; Zhang, Jiaojiao ; Zhang, Shuo ; Chen, Junyang ; Lukasiewicz, Thomas ; Xu, Zhenghua MPS-AMS: Masked Patches Selection and Adaptive Masking Strategy Based Self-Supervised Medical Image SegmentationInproceedings Konferenzbeitrag 2023
14Jang, Myeongjun ; Lukasiewicz, Thomas Improving Language Models’ Meaning Understanding and Consistency by Learning Conceptual Roles from DictionaryInproceedings Konferenzbeitrag 2023
15Zhang, Hexiang ; Xu, Zhenghua ; Yao, Dan ; Zhang, Shuo ; Chen, Junyang ; Thomas Lukasiewicz Multi-Head Feature Pyramid Networks for Breast Mass DetectionInproceedings Konferenzbeitrag 2023
16Wang, Jianfeng ; Massiceti, Daniela ; Hu, Xiaolin ; Pavlovic, Vladimir ; Lukasiewicz, Thomas NP-SemiSeg: When Neural Processes meet Semi-Supervised Semantic SegmentationInproceedings Konferenzbeitrag 2023
17Wang, Ruizhi ; Wang, Xiangtao ; Xu, Zhenghua ; Xu, Wenting ; Chen, Junyang ; Lukasiewicz, Thomas MvCo-DoT: Multi-View Contrastive Domain Transfer Network for Medical Report GenerationInproceedings Konferenzbeitrag 2023
18Limmer, Steffen ; Varga, Johannes ; Raidl, Günther R. An Evolutionary Approach for Scheduling a Fleet of Shared Electric VehiclesInproceedings Konferenzbeitrag 2023
19Rebola Pardo, Adrian Even Shorter Proofs Without New VariablesInproceedings Konferenzbeitrag 2023
20Nöllenburg, Martin ; Wallinger, Markus Computing Hive Plots: A Combinatorial FrameworkInproceedings Konferenzbeitrag 2023