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 497 (Search time: 0.014 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fermüller, Christian From Producer-Consumer Games to Substructural CalculiPresentation Vortrag24-May-2023
2Garigliotti, Darío ; Balog, Krisztian ; Hose, Katja ; Bjerva, Johannes Recommending tasks based on search queries and missionsArticle Artikel 17-May-2023
3Ciabattoni, Agata Normative reasoning: From Sanskrit philosophy to AIPresentation Vortrag16-May-2023
4Zaitoun, Antonio ; Sagi, Tomer ; Hose, Katja ; Ding, Ying ; Tang, Jie ; Sequeda, Juan ; Aroyo, Lora ; Castillo, Carlos ; Houben, Geert-Jan Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain CorpusInproceedings Konferenzbeitrag Apr-2023
5Antonio Zaitoun ; Tomer Sagi ; Katja Hose ; Ding, Ying ; Tang, Jie ; Sequeda, Juan OntoEval: an Automated Ontology Evaluation SystemInproceedings Konferenzbeitrag Apr-2023
6Garigliotti, Dario ; Bjerva, Johannes ; Nielsen, Finn ; Butzbach, Annika ; Lyhne, Ivar ; Kørnøv, Lone ; Hose, Katja ; Ding, Ying ; Tang, Jie ; Sequeda, Juan Do bridges dream of water pollutants? Towards DreamsKG, a knowledge graph to make digital access for sustainable environmental assessment come trueInproceedings Konferenzbeitrag Apr-2023
7Galárraga, Luis ; Hernández, Daniel ; Katim, Anas ; Hose, Katja Visualizing How-Provenance Explanations for SPARQL QueriesInproceedings Konferenzbeitrag Apr-2023
8Veyhe, Bartal Eyðfinsson ; Sagi, Tomer ; Hose, Katja ; Ding, Ying ; Tang, Jie ; Sequeda, Juan ; Castillo, Carlos ; Houben, Geert-Jan Scientific Data Extraction from Oceanographic PapersInproceedings Konferenzbeitrag Apr-2023
9Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerInproceedings Konferenzbeitrag 27-Feb-2023
10Okulmus Cem - 2023 - Parallel Computation of Structural Decompositions.pdf.jpgOkulmus, Cem Parallel Computation of Structural DecompositionsThesis Hochschulschrift 2023
11Breitenbrunner Manuel - 2023 - Certifying Unsatisfiability in an Expansion-Based...pdf.jpgBreitenbrunner, Manuel Certifying Unsatisfiability in an Expansion-Based DQBF SolverThesis Hochschulschrift 2023
12Van Berkel Cornelis Lambertus Johannes - 2023 - A Logical Analysis of Normative...pdf.jpgVan Berkel, Cornelis Lambertus Johannes A Logical Analysis of Normative Reasoning: Agency, Action, and ArgumentationThesis Hochschulschrift 2023
13Besin Viktor - 2023 - A Novel Method for Grounding in Answer-Set Programming.pdf.jpgBesin, Viktor A Novel Method for Grounding in Answer-Set ProgrammingThesis Hochschulschrift 2023
14Kaindlstorfer David - 2023 - Enhancing Abstraction and Symbolic Execution for...pdf.jpgKaindlstorfer, David Enhancing Abstraction and Symbolic Execution for Shape Analysis of C-Programs operating on Linked ListsThesis Hochschulschrift 2023
15Haimerl Nikolas - 2023 - Cross-Chain Traceability in Decentralized Finance.pdf.jpgHaimerl, Nikolas Cross-Chain Traceability in Decentralized FinanceThesis Hochschulschrift 2023
16Kletzander Lucas - 2023 - Automated Solution Methods for Complex Real-life...pdf.jpgKletzander, Lucas Automated Solution Methods for Complex Real-life Personnel Scheduling ProblemsThesis Hochschulschrift 2023
17Luzian Sebastian - 2023 - A Systematic Investigation of Illicit Money Flows in...pdf.jpgLuzian, Sebastian A Systematic Investigation of Illicit Money Flows in the DeFi EcosystemThesis Hochschulschrift 2023
18Bresich Maria - 2023 - Hybrid Metaheuristics Based on Large Neighborhood Search...pdf.jpgBresich, Maria Hybrid Metaheuristics Based on Large Neighborhood Search and Mixed Integer Linear Programming for the Directed Feedback Vertex Set ProblemThesis Hochschulschrift 2023
19Uhl Sebastian - 2023 - Fuzzy Logic Based Judgment Aggretation.pdf.jpgUhl, Sebastian Fuzzy Logic Based Judgment AggretationThesis Hochschulschrift 2023
20Neumann Bernhard - 2023 - Hybrid Approaches to Sports League Scheduling using...pdf.jpgNeumann, Bernhard Hybrid Approaches to Sports League Scheduling using Constraint Programming and Simulated AnnealingThesis Hochschulschrift 2023