Forschungsbereich Knowledge Based Systems

Organization Name (de) Name der Organisation (de)
E192-03 - Forschungsbereich Knowledge Based Systems
 
Code Kennzahl
E192-03
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 21-40 of 689 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Wang, Jianfeng ; Massiceti, Daniela ; Hu, Xiaolin ; Pavlovic, Vladimir ; Lukasiewicz, Thomas NP-SemiSeg: When Neural Processes meet Semi-Supervised Semantic SegmentationInproceedings Konferenzbeitrag 2023
22Wang, 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
23Eiter-2023-A modular neurosymbolic approach for visual graph question ans...-vor.pdf.jpgEiter, Thomas ; Higuera Ruiz, Nelson Nicolas ; Oetsch, Johannes A modular neurosymbolic approach for visual graph question answeringInproceedings Konferenzbeitrag 2023
24BOZZATO-2023-Semantically Guided Scene Generation via Contextual Reasonin...-vor.pdf.jpgBozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David ; Stepanova, Daria Semantically Guided Scene Generation via Contextual Reasoning and Algebraic MeasuresInproceedings Konferenzbeitrag 2023
25Kiesel-2023-Knowledge Compilation and More with SharpSAT-TD-vor.pdf.jpgKiesel, Rafael ; Eiter, Thomas Knowledge Compilation and More with SharpSAT-TDInproceedings Konferenzbeitrag 2023
26Soldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023
27Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
8Ferranti, Nicolas ; Polleres, Axel ; de Souza, Jairo Francisco ; Ahmetaj, Shqiponja Formalizing Property Constraints in WikidataInproceedings Konferenzbeitrag 5-Nov-2022
9Bozzato, Loris ; Eiter, Thomas ; Kiesel, Rafael Peter David Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract)Inproceedings Konferenzbeitrag 3-Nov-2022
10Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas Repairing SHACL Constraint Violations Using Answer Set ProgrammingInproceedings Konferenzbeitrag 16-Oct-2022
11Li, Bowen ; Torr, Philip H. S. ; Lukasiewicz, Thomas Clustering Generative Adversarial Networks for Story VisualizationInproceedings Konferenzbeitrag Oct-2022
12Jang, Myeongjun ; Kwon, Deuk Sin ; Lukasiewicz, Thomas BECEL: Benchmark for Consistency Evaluation of Language ModelsInproceedings KonferenzbeitragOct-2022
13Mandl, Alexander ; Egly, Uwe Implementations for Shor's algorithm for the DLPInproceedings Konferenzbeitrag 27-Sep-2022
14Kayser, Maxime ; Emde, Cornelius ; Camburu, Oana-Maria ; Parsons, Guy ; Papiez, Bartlomiej ; Lukasiewicz, Thomas Explaining Chest X-Ray Pathologies in Natural LanguageInproceedings Konferenzbeitrag 16-Sep-2022
15Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract)Inproceedings Konferenzbeitrag 4-Aug-2022
16Eiter, Thomas ; Geibinger, Tobias ; Higuera Ruiz, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria Large-Neighbourhood Search for Optimisation in Answer-Set SolvingInproceedings Konferenzbeitrag 28-Jun-2022
17Eiter, Thomas ; Geibinger, Tobias ; Gisbrecht, Andrej ; Higuera Ruiz, Nelson Nicolas ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria An Open Challenge for Exact Job Scheduling with Reticle Batching in PhotolithographyInproceedings Konferenzbeitrag 15-Jun-2022
18Horeis, Timo Frederik ; Plinke, Fabian ; Kain, Tobias ; Tompits, Hans ; Rinaldo, Rhea C. ; Heinrich, Johannes Cross-Industry Overview of Fault-Tolerant Approaches used in Autonomous SystemsInproceedings Konferenzbeitrag17-May-2022
19Urbani, Jacopo ; Krötzsch, Markus ; Eiter, Thomas Chasing Streams with Existential RulesInproceedings Konferenzbeitrag 2022
20Eiter, Thomas ; Schneider, Patrick A Qualitative Temporal Extension of Here-and-There LogicInproceedings Konferenzbeitrag 2022