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 1-20 of 1236 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Wang, Yisong ; Eiter, Thomas ; Zhang, Yuanlin ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsArticle Artikel 27-Jan-2023
2Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic ApproachArticle Artikel 5-Jan-2023
3EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part IIArticle ArtikelJan-2023
4Eiter, Thomas Enhancing AI Capabilities by Rules: Challenges and OpportunitiesPresentation Vortrag13-Dec-2022
5Wang, Yisong ; Eiter, Thomas ; Yuanlin Zhang ; Lin, Fangzhen Witnesses for Answer Sets of Logic ProgramsPresentation Vortrag29-Nov-2022
6Eiter, Thomas ; Higuera Ruiz, Nelson Nicolas Elaboration for Neurosymbolic CompuationPresentation Vortrag29-Nov-2022
7Hatschka, Christian ; Ciabattoni, Agata ; Eiter, Thomas Representing Normative Reasoning in Answer Set Programming Using Weak ConstraintsPresentation Vortrag28-Nov-2022
8Eiter, Thomas ; Geibinger, Tobias ; Higuera, Nelson ; Musliu, Nysret ; Oetsch, Johannes ; Stepanova, Daria ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract)Inproceedings Konferenzbeitrag28-Nov-2022
9Ferranti, Nicolas ; Polleres, Axel ; de Souza, Jairo Francisco ; Ahmetaj, Shqiponja Formalizing Property Constraints in WikidataInproceedings Konferenzbeitrag 5-Nov-2022
10Eiter, Thomas Enhancing AI Capabilities by Rules: Applications and OpportunitiesPresentation Vortrag4-Nov-2022
11Bozzato, 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
12Eiter, Thomas Enhancing AI Capabilities by Rules: Applications and OpportunitiesPresentation Vortrag18-Oct-2022
13Ahmetaj, Shqiponja ; David, Robert ; Polleres, Axel ; Simkus, Mantas Repairing SHACL Constraint Violations Using Answer Set ProgrammingInproceedings Konferenzbeitrag 16-Oct-2022
14Mandl, Alexander ; Egly, Uwe Implementations for Shor's algorithm for the DLPInproceedings Konferenzbeitrag 27-Sep-2022
15Ahmetaj, Shqiponja ; Löhnert, Bianca ; Ortiz de la Fuente, Maria Magdalena ; Simkus, Mantas Magic Shapes for SHACL ValidationArticle Artikel 26-Sep-2022
16EITER, THOMAS ; MAHER, MICHAEL ; PONTELLI, ENRICO ; DE RAEDT, LUC ; TRUSZCZYNSKI, MIROSLAW Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLPArticle Artikel22-Sep-2022
17Eiter, 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
18Eiter, Thomas History of KR: A Personal ViewPresentation Vortrag11-Jul-2022
19Eiter, 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
20Fermueller-2022-Logica Universalis-vor.pdf.jpgFermüller, Christian ; Lang, Timo Achim ; Pavlova, Alexandra From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel LogicArticle Artikel Jun-2022