{"query":{"result":{"printrequests":[{"label":"","key":"","redi":"","typeid":"_wpg","mode":2,"format":false},{"label":"Start","key":"Start","redi":"","typeid":"_dat","mode":1,"format":""},{"label":"Ende","key":"Ende","redi":"","typeid":"_dat","mode":1,"format":""},{"label":"title","key":"Titel_DE","redi":"","typeid":"_txt","mode":1,"format":""},{"label":"Raum","key":"Raum","redi":"","typeid":"_wpg","mode":1,"format":""},{"label":"Art","key":"Veranstaltungsart","redi":"","typeid":"_txt","mode":1,"format":""},{"label":"Sprecher(in)","key":"Vortragender","redi":"","typeid":"_txt","mode":1,"format":""},{"label":"Details","key":"Beschreibung_DE","redi":"","typeid":"_txt","mode":1,"format":""}],"results":{"\"Most of\" leads to undecidability: Failure of adding frequencies to LTL.":{"printouts":{"Start":[{"timestamp":"1616677200","raw":"1\/2021\/3\/25\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1616682600","raw":"1\/2021\/3\/25\/14\/30\/0\/0"}],"title":["\"Most of\" leads to undecidability: Failure of adding frequencies to LTL"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Bartosz Bednarczyk"],"Details":["(joint work with Jakub Michaliszyn from University of Wroc\u0142aw)\n\nLinear Temporal Logic (LTL) interpreted on finite traces is a robust specification framework popular in formal verification. However, despite the high interest in the logic in recent years, the topic of their quantitative extensions is not yet fully explored. The main goal of this work is to study the effect of adding weak forms of percentage constraints (e.g. that most of the positions in the past satisfy a given condition, or that sigma is the most-frequent letter occurring in the past) to fragments of LTL. Such extensions could potentially be used for the verification of influence networks or statistical reasoning. Unfortunately, as we prove in the paper, it turns out that percentage extensions of even tiny fragments of LTL have undecidable satisfiability and model-checking problems. Our undecidability proofs not only sharpen most of the undecidability results on logics with arithmetics interpreted on words known from the literature, but also are fairly simple. We also show that the undecidability can be avoided by restricting the allowed usage of the negation, and briefly discuss how the undecidability results transfer to first-order logic on words.\n\nThe talk will take approximately 30 minutes and will be held online via BigBlueButton. To access the room, take one of the following links: \n\n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=67110&p=dbb695ef\n\nwithout ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=67110&p=cf01a562"]},"fulltext":"\"Most of\" leads to undecidability: Failure of adding frequencies to LTL.","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/%22Most_of%22_leads_to_undecidability:_Failure_of_adding_frequencies_to_LTL.","namespace":0,"exists":"1","displaytitle":"\"Most of\" leads to undecidability: Failure of adding frequencies to LTL"},"11th European Conference on Logics in Artificial Intelligence (JELIA-2008)":{"printouts":{"Start":[{"timestamp":"1222617600","raw":"1\/2008\/9\/28\/16\/0\/0\/0"}],"Ende":[{"timestamp":"1222874100","raw":"1\/2008\/10\/1\/15\/15\/0\/0"}],"title":["11th European Conference on Logics in Artificial Intelligence (JELIA-2008)"],"Raum":[],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever.\n\nThe European Conference on Logics in Artificial Intelligence (or Journ\u00e9es Europ\u00e9ennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with English as official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, UK (1994), \u00c9vora, Portugal (1996), Dagstuhl, Germany (1998), M\u00e1laga, Spain (2000), Cosenza, Italy (2002), Lisbon, Portugal (2004), and Liverpool, UK (2006).\n\nThe increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence."]},"fulltext":"11th European Conference on Logics in Artificial Intelligence (JELIA-2008)","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/11th_European_Conference_on_Logics_in_Artificial_Intelligence_(JELIA-2008)","namespace":0,"exists":"1","displaytitle":"11th European Conference on Logics in Artificial Intelligence (JELIA-2008)"},"12th EMCL Workshop":{"printouts":{"Start":[{"timestamp":"1519117200","raw":"1\/2018\/2\/20\/9\/0\/0\/0"}],"Ende":[{"timestamp":"1519232400","raw":"1\/2018\/2\/21\/17\/0\/0\/0"}],"title":["12. EMCL Workshop"],"Raum":[],"Art":["sonstige Veranstaltung"],"Sprecher(in)":[],"Details":["Am 20. und 21. Februar findet der 12. Workshop der EMCL-Studenten in Dresden statt.\nDer Workshop wird durch die Studenten des Europ\u00e4ischem Master Programm in Computational Logic der Universit\u00e4ten Bozen, Dresden, Wien und Lissabon selbst organisiert und beinhaltet Vortr\u00e4ge der Studierenden, Alumni, Doktoranten und anderer Wissenschaftler \u00fcber ihre Forschungsprojekte. Dabei wird der Best Master Thesis Award 2017 verliehen."]},"fulltext":"12th EMCL Workshop","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/12th_EMCL_Workshop","namespace":0,"exists":"1","displaytitle":"12. EMCL Workshop"},"17. WLP - Workshop Logic Programming":{"printouts":{"Start":[{"timestamp":"1039597200","raw":"1\/2002\/12\/11\/9\/0\/0\/0"}],"Ende":[{"timestamp":"1039795200","raw":"1\/2002\/12\/13\/16\/0\/0\/0"}],"title":["17. WLP - Workshop Logische Programmierung"],"Raum":[],"Art":["Vortrag"],"Sprecher(in)":[],"Details":["Logische Programmierung ist eine besonders weitgehende Art, Probleme deklarativ zu spezifizieren. In der Form von Prolog geschieht das durch den Einsatz eines Fragments der Logik. Weitergehende Konzepte integrieren in dieses urspr\u00fcnglich rein relationale Konzept auch Funktionen und Constraints. In den vergangenen Jahren hat dieses Paradigma eine hohe Attraktivit\u00e4t erworben, u.a. in den Bereichen Datenbanken und Verarbeitung von nat\u00fcrlicher Sprache und bei der Modellierung und Bearbeitung komplexer kombinatorischer Probleme. Die Logikprogrammierung ist somit ein aktives Gebiet geblieben, das sich zunehmend auch den schwierigen Thematiken der Integration in die \u00fcbrige Softwarelandschaft, der Behandlung von Dynamik und des Umgangs mit Kommunikation stellt."]},"fulltext":"17. WLP - Workshop Logic Programming","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/17._WLP_-_Workshop_Logic_Programming","namespace":0,"exists":"1","displaytitle":"17. WLP - Workshop Logische Programmierung"},"22nd Workshop on (Constraint) Logic Programming 2008":{"printouts":{"Start":[{"timestamp":"1222768800","raw":"1\/2008\/9\/30\/10\/0\/0\/0"}],"Ende":[{"timestamp":"1222884000","raw":"1\/2008\/10\/1\/18\/0\/0\/0"}],"title":["22nd Workshop on (Constraint) Logic Programming 2008"],"Raum":[],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["The workshops on (constraint) logic programming are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations."]},"fulltext":"22nd Workshop on (Constraint) Logic Programming 2008","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/22nd_Workshop_on_(Constraint)_Logic_Programming_2008","namespace":0,"exists":"1","displaytitle":"22nd Workshop on (Constraint) Logic Programming 2008"},"29th Workshop on (Constraint) Logic Programming (WLP 2015)":{"printouts":{"Start":[{"timestamp":"1442822400","raw":"1\/2015\/9\/21\/8\/0\/0\/0"}],"Ende":[{"timestamp":"1442944800","raw":"1\/2015\/9\/22\/18\/0\/0\/0"}],"title":["29th Workshop on (Constraint) Logic Programming (WLP 2015)"],"Raum":[{"fulltext":"Faculty of Computer Science","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Faculty_of_Computer_Science","namespace":0,"exists":"","displaytitle":""}],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft f\u00fcr Logische Programmierung e.V. (GLP) and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).\n\n\nThe workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.\n\nThe technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations."]},"fulltext":"29th Workshop on (Constraint) Logic Programming (WLP 2015)","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/29th_Workshop_on_(Constraint)_Logic_Programming_(WLP_2015)","namespace":0,"exists":"1","displaytitle":"29th Workshop on (Constraint) Logic Programming (WLP 2015)"},"38th German Conference on Artificial Intelligence":{"printouts":{"Start":[{"timestamp":"1442822400","raw":"1\/2015\/9\/21\/8\/0\/0\/0"}],"Ende":[{"timestamp":"1443204000","raw":"1\/2015\/9\/25\/18\/0\/0\/0"}],"title":["38th German Conference on Artificial Intelligence"],"Raum":[{"fulltext":"Faculty of Computer Science","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Faculty_of_Computer_Science","namespace":0,"exists":"","displaytitle":""}],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["KI 2015 is the 38th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology.\n\nIn September 2015, prior to the conference, there is an international summer school on reasoning organized by the international center of computational logic."]},"fulltext":"38th German Conference on Artificial Intelligence","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/38th_German_Conference_on_Artificial_Intelligence","namespace":0,"exists":"1","displaytitle":"38th German Conference on Artificial Intelligence"},"9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)":{"printouts":{"Start":[{"timestamp":"1222678800","raw":"1\/2008\/9\/29\/9\/0\/0\/0"}],"Ende":[{"timestamp":"1222779600","raw":"1\/2008\/9\/30\/13\/0\/0\/0"}],"title":["9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)"],"Raum":[],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many technologies and concepts from artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing, electronic commerce and trade, etc. Computational logic provides a well-defined, general, and rigorous framework for studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration amongst, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for linking specifications to implementations, and for the verification of properties of individual agents, multi-agent systems and their implementations."]},"fulltext":"9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/9th_International_Workshop_on_Computational_Logic_in_Multi-Agent_Systems_(CLIMA)","namespace":0,"exists":"1","displaytitle":"9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)"},"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic":{"printouts":{"Start":[{"timestamp":"1648724400","raw":"1\/2022\/3\/31\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1648728000","raw":"1\/2022\/3\/31\/12\/0\/0\/0"}],"title":["A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Martin Bromberger"],"Details":["In a previous paper [1], we have shown that clause sets belonging to the Horn Bernays-Sch\u00f6nfinkel fragment over simple linear arithmetic (HBS(SLA)) can be translated into HBS clause sets over a finite set of first-order constants.\nHBS clause sets are also called Datalog programs and HBS(SLA) can be seen as an extension of Datalog programs that allow simple arithmetic inequalities in the bodies of rules. The translation from HBS(SLA) to HBS preserves validity and satisfiability and it is still applicable if we extend our input with positive universally or existentially quantified verification conditions (conjectures). We call this translation a Datalog hammer. The combination of its implementation in SPASS-SPL with the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. As a result, we were able to verify supervisor code for two examples: a lane change assistant in a car and an electronic control unit of a supercharged combustion engine.\n\nIn this talk, we present several new improvements to our Datalog hammer: we have generalized it to mixed real-integer arithmetic and finite first-order sorts; we extended the class of acceptable inequalities beyond variable bounds and positively grounded inequalities, and we significantly reduced the size of the hammer output by a soft typing discipline. We call the result the sorted Datalog hammer. It not only allows us to handle more complex supervisor code and to model already considered supervisor code more concisely, but it also improves our performance on real-world benchmark examples.\n\nReferences:\n[1] Bromberger, M., Dragoste, I., Faqeh, R., Fetzer, C., Kr\u00f6tzsch, M., Weidenbach, C.: A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic. In: Reger, G.,Konev, B. (eds.) Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, United Kingdom, September 8-10, 2021. Proceedings. Lecture Notes in Computer Science, vol. 12941, pp. 3\u201324. Springer (2021)\n\nOnline talk link: \nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Datalog_hammer_for_supervisor_verification_conditions_modulo_simple_linear_arithmetic","namespace":0,"exists":"1","displaytitle":"A Datalog hammer for supervisor verification conditions modulo simple linear arithmetic"},"A Dichotomy for Evaluating Simple Regular Path Queries":{"printouts":{"Start":[{"timestamp":"1530795600","raw":"1\/2018\/7\/5\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1530801000","raw":"1\/2018\/7\/5\/14\/30\/0\/0"}],"title":["A Dichotomy for Evaluating Simple Regular Path Queries"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Wim Martens"],"Details":["Regular path queries (RPQs) are a central component of graph databases. We investigate decision- and enumeration problems concerning the evaluation of RPQs under several semantics that have recently been considered: arbitrary paths, shortest paths, and simple paths.\nWhereas arbitrary and shortest paths can be enumerated in polynomial delay, the situation is much more intricate for simple paths. For instance, already the question if a given graph contains a simple path of a certain length has cases with highly non-trivial solutions and cases that are long-standing open problems. We study RPQ evaluation for simple paths from a parameterized complexity perspective and define a class of simple transitive expressions that is prominent in practice and for which we can prove a dichotomy for the evaluation problem. We observe that, even though simple path semantics is intractable for RPQs in general, it is feasible for the vast majority of RPQs that are used in practice. At the heart of our study on simple paths is a result of independent interest: the two disjoint paths problem in directed graphs is W[1]-hard if parameterized by the length of one of the two paths.\n\n'''Bio:''' Wim Martens is a professor for Theoretical Computer Science at the University of Bayreuth. He is interested in theoretical aspects of data management, formal language theory, logic, and complexity. He was an invited speaker at STOC 2017 and his research received several awards, including the ACM SIGMOD research highlight award and the Dissertation Award for Computer Science, Belgium. Currently, he is on the editorial board of ACM TODS and he is chairing the ICDT Council. His talk reports about research for which he recently received the Best Paper Award of the International Conference on Database Theory 2018."]},"fulltext":"A Dichotomy for Evaluating Simple Regular Path Queries","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Dichotomy_for_Evaluating_Simple_Regular_Path_Queries","namespace":0,"exists":"1","displaytitle":"A Dichotomy for Evaluating Simple Regular Path Queries"},"A Distributed Blockchain Model of Selfish Mining":{"printouts":{"Start":[{"timestamp":"1582720200","raw":"1\/2020\/2\/26\/12\/30\/0\/0"}],"Ende":[{"timestamp":"1582725600","raw":"1\/2020\/2\/26\/14\/0\/0\/0"}],"title":["A Distributed Blockchain Model of Selfish Mining"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Ansgar Fehnker"],"Details":["Abstract:\n\tBitcoin is currently still the most widely used cryptocurrency, judging from its market cap and trade volume. A big part of Bitcoin's appeal is the mining process, which makes sure that new transactions are being validated and processed in a distributed fashion, maintaining a distributed ledger known as the blockchain. Miners receive a fee for every block of transactions that they mine, as an incentive for their computational effort. In the long run, they can expect a reward proportional to the computational power they provide to the network.\nHowever, Eyal and Sirer introduced a strategy for a miner to time the publishing of blocks that will give them a significant edge in profits. \nThis talk will present a model for the behaviour of honest and selfish mining pools in UPPAAL, that can be used for analysing properties of the mining process in the presence of network delay, and taking into account the distributed nature of the process. The analysis shows what effects selfish mining would have on the share of profits, but also on the number of orphaned blocks in the blockchain. This analysis also allows us to compares those results to real-world data, to establish if there is evidence for the presence of selfish miners.\n\nBio:\n\tAnsgar Fehnker is Associate Professor for Programming Education at the Faculty of Electrical Engineeering, Mathematics, and Computer Science, at the University of Twente. He is part of the Formal Methods and Tools group and has been previously professor at the University of the South Pacific and researcher at Australia's ICT research centre NICTA, working on static analysis for C\/C++ and on analysis of wireless network protocols with model checking. Prior to joining NICTA he was a PostDoc in the model-checking teams at Carnegie Mellon University, US. He received his PhD from the Radboud University Nijmegen on verification of real-time and hybrid systems."]},"fulltext":"A Distributed Blockchain Model of Selfish Mining","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Distributed_Blockchain_Model_of_Selfish_Mining","namespace":0,"exists":"1","displaytitle":"A Distributed Blockchain Model of Selfish Mining"},"A Glimpse into Propositional Model Counting":{"printouts":{"Start":[{"timestamp":"1657191600","raw":"1\/2022\/7\/7\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1657195200","raw":"1\/2022\/7\/7\/12\/0\/0\/0"}],"title":["A Glimpse into Propositional Model Counting"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Johannes K. Fichte"],"Details":["Model counting (#SAT) asks to compute the number of satisfying assignments for a propositional formula. The decision version (SAT) received widespread interest in computational complexity, formed many applications in modern combinatorial problem solving, and can be solved effectively for millions of variables on structured instances. #SAT is much harder than SAT and requires more elaborate solving techniques. In this talk, we revisit the problem, its complexity, and explain its connection to quantitative AI. We briefly overview solving techniques and illustrate a parameterized algorithm and implementation to tackle the problem. While purely parameterized approaches from theory often suffer practical limitations, we elaborate that a parameterized algorithm can be successful when combining it with modern hardware that takes advantage of parallelism."]},"fulltext":"A Glimpse into Propositional Model Counting","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Glimpse_into_Propositional_Model_Counting","namespace":0,"exists":"1","displaytitle":"A Glimpse into Propositional Model Counting"},"A Logic-based Reasoning Framework for Graph Databases":{"printouts":{"Start":[{"timestamp":"1705575600","raw":"1\/2024\/1\/18\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1705579200","raw":"1\/2024\/1\/18\/12\/0\/0\/0"}],"title":["A Logic-based Reasoning Framework for Graph Databases"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Davide Di Pierro"],"Details":["In many scientific and industrial applications, graph databases are gaining momentum thanks to the competitive performance they offer and their flexibility, not to mention their interpretability. Still, their uses remain somehow limited due to their lack of consistency-checking strategies. Here, I introduce a scheme-based access to data in order to assert constraints and keep consistency, while also opening possibilities for reasoning in logic-based approaches, in a multi-strategy setting. The possible uses and capabilities are still under investigation, but the potentialities in almost every domain seem to be promising.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"A Logic-based Reasoning Framework for Graph Databases","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Logic-based_Reasoning_Framework_for_Graph_Databases","namespace":0,"exists":"1","displaytitle":"A Logic-based Reasoning Framework for Graph Databases"},"A Pitch Rich with Width-Witchcraft \u2013 Model-Theoretic Criteria for Decidable Query Entailment":{"printouts":{"Start":[{"timestamp":"1681988400","raw":"1\/2023\/4\/20\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1681992000","raw":"1\/2023\/4\/20\/12\/0\/0\/0"}],"title":["A Pitch Rich with Width-Witchcraft \u2013 Model-Theoretic Criteria for Decidable Query Entailment"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Sebastian Rudolph"],"Details":["Abstract: Decidability of inferencing is commonly considered a very important property of logic-based knowledge representation formalisms, required for the algorithmization and automation of reasoning. Yet, oftentimes, the corresponding (un)decidability arguments are idiosyncratic and do not shed much light on the underlying principles governing the divide.\nIn my talk, I will review generic model-theoretic criteria for decidability of querying in fragments of first-order logic. I will describe a general framework by means of which decidability of query entailment can be established based on the existence of countermodels with certain structural properties. These properties depend on the ontology and query language used and range from finite domain over forest-like shape to width-finiteness employing width notions like treewidth and cliquewidth.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"A Pitch Rich with Width-Witchcraft \u2013 Model-Theoretic Criteria for Decidable Query Entailment","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Pitch_Rich_with_Width-Witchcraft_%E2%80%93_Model-Theoretic_Criteria_for_Decidable_Query_Entailment","namespace":0,"exists":"1","displaytitle":"A Pitch Rich with Width-Witchcraft \u2013 Model-Theoretic Criteria for Decidable Query Entailment"},"A SHACL primer for KR researchers":{"printouts":{"Start":[{"timestamp":"1719313200","raw":"1\/2024\/6\/25\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1719316800","raw":"1\/2024\/6\/25\/12\/0\/0\/0"}],"title":["A SHACL primer for KR researchers"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Magdalena Ortiz"],"Details":["The Shapes Constraint Language (SHACL) was recommended by the W3C in 2017 for describing constraints on RDF graphs and validating them. As it turns out, SHACL is closely related to Description Logics and to monadic Datalog, both familiar KR languages. Building on these connections, we introduce SHACL and its main reasoning problems in familiar KR terms. We discuss in particular the different approaches to the semantics of recursive SHACL, and the complexity of validation in some important fragments. Then we will recap some recent and ongoing research work on SHACL, and point to some of the many interesting open challenges, shedding light on how ideas and techniques from familiar KR areas can help develop SHACL further."]},"fulltext":"A SHACL primer for KR researchers","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_SHACL_primer_for_KR_researchers","namespace":0,"exists":"1","displaytitle":"A SHACL primer for KR researchers"},"A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics":{"printouts":{"Start":[{"timestamp":"1619096400","raw":"1\/2021\/4\/22\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1619101800","raw":"1\/2021\/4\/22\/14\/30\/0\/0"}],"title":["A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Faiq Miftakhul Falakh"],"Details":["The AGM postulates by Alchourron, G\u00e4rdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mendelzon (KM) for characterizing AGM base revision from propositional logic to the setting of (multiple) base revision in arbitrary monotonic logics. Our core result is a representation theorem using the assignment of total \u2013 yet not transitive \u2013 \u201cpreference\u201d relations to belief bases. We also provide a characterization of all logics for which our result can be strengthened to preorder assignments (as in KM\u2019s original work).\n\n\nThis talk will take place online via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-login: \n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=103268&p=3fab0d1a\n\nwithout ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=103268&p=c61bdf2f"]},"fulltext":"A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Semantic_Characterization_of_Belief_Base_Revision_for_Arbitrary_Monotonic_Logics","namespace":0,"exists":"1","displaytitle":"A Semantic Characterization of Belief Base Revision for Arbitrary Monotonic Logics"},"A Single Approach to Decide Chase Termination on Linear Existential Rules":{"printouts":{"Start":[{"timestamp":"1533819600","raw":"1\/2018\/8\/9\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1533825000","raw":"1\/2018\/8\/9\/14\/30\/0\/0"}],"title":["A Single Approach to Decide Chase Termination on Linear Existential Rules"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Micha\u00ebl Thomazo"],"Details":["Abstract:<\/b> Existential rules are a knowledge representation and reasoning formalism that extends both positive rules a la Datalog and most description logics used in ontology-based query answering. The chase is a fundamental tool for reasoning on knowledge bases composed of an instance and a set of existential rules. It is well-known that deciding, given a chase variant and a set of existential rules, whether the chase will halt for any instance is an undecidable problem. Hence, a crucial issue is whether it becomes decidable for known classes of existential rules. We focus on three main chase variants, namely semi-oblivious, restricted and core chase, and consider linear existential rules, a simple yet important subclass of existential rules. We show that the termination problem is decidable in these three variants with a novel unified approach based on a single graph and a single notion of forbidden pattern.\n\nJoint work with M. Lecl\u00e8re, M.-L. Mugnier and F. Ulliana.\n\nSpeaker Bio:<\/b> Micha\u00ebl Thomazo is an INRIA researcher (CEDAR team), currently working on ontology-based query answering, and especially efficient evaluation of reformulated queries. He had been a post-doc at TU Dresden, working with S. Rudolph, and got his Ph.D from the University of Montpellier, supervised by J.-F. Baget and M.-L. Mugnier. You can find more details at http:\/\/pages.saclay.inria.fr\/michael.thomazo\/."]},"fulltext":"A Single Approach to Decide Chase Termination on Linear Existential Rules","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_Single_Approach_to_Decide_Chase_Termination_on_Linear_Existential_Rules","namespace":0,"exists":"1","displaytitle":"A Single Approach to Decide Chase Termination on Linear Existential Rules"},"A diamond in the rough: Theorizing column stores":{"printouts":{"Start":[{"timestamp":"1574341200","raw":"1\/2019\/11\/21\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1574346600","raw":"1\/2019\/11\/21\/14\/30\/0\/0"}],"title":["A diamond in the rough: Theorizing column stores"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Eyal Rozenberg"],"Details":["Column stores have been a 'neglected child' relative to traditional, row-oriented, relation-focused database management systems: The systems people came up with them, and the theoreticians did not really give them the time of day. This talk will discuss what happens when we pick up the slack and formalize a model for analytic computation with columns. In addition to sound conceptual grounding being its own aesthetic reward, we will touch on some of the examples of how such a formalization enables architectural and performance improvements in real-life systems:\n\n\nSeamless integration of decompression and query execution; removal of special-case handling of different column features (such as nullability and variable-length elements); closure of query execution plans to partial execution; et cetera. Central to achieving such benefits will be the discussion of what constitutes a column, how columns are to be represented, and what they can represent."]},"fulltext":"A diamond in the rough: Theorizing column stores","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_diamond_in_the_rough:_Theorizing_column_stores","namespace":0,"exists":"1","displaytitle":"A diamond in the rough: Theorizing column stores"},"Lecture on Partition Width":{"printouts":{"Start":[{"timestamp":"1568293200","raw":"1\/2019\/9\/12\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1568298600","raw":"1\/2019\/9\/12\/14\/30\/0\/0"}],"title":["A gentle introduction to partition width"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Thomas Feller"],"Details":["In this talk we will take an introductory glance at the notion of \"partition width\", first conceived by Achim Blumensath. As partition width is also closely related to a notion of decomposition of an arbitrary structure into a tree-like shape, the so called \"partition refinement\", we will also take a look at the relation of both these notions to more established notions of decomposition and width measures (namely tree-decompositions, tree width, and clique width)."]},"fulltext":"Lecture on Partition Width","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Lecture_on_Partition_Width","namespace":0,"exists":"1","displaytitle":"A gentle introduction to partition width"},"A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation":{"printouts":{"Start":[{"timestamp":"1524747600","raw":"1\/2018\/4\/26\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1524753000","raw":"1\/2018\/4\/26\/14\/30\/0\/0"}],"title":["A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Paula Chocr\u00f3n"],"Details":["Talk by: Paula Chocr\u00f3n \nInstitute: Artificial Intelligence Research Institute (IIIA-CSIC), Barcelona, Spain \n\nAbstract: \n\"Every speaker that has been abroad knows that understanding a foreign language is easier when performing simple, well-defined interactions. For example, it is easier to ask for a coffee than to discuss politics in a language we do not master. In this talk I will discuss how this idea can be applied to help achieve meaningful communication in artificial multi-agent systems. In open, heterogeneous environments, it is likely that interlocutors with different backgrounds use different languages. Can the contextual information about the tasks being performed be used to learn a translation that allows agents to interact?\"\n\nI will start by presenting a notion of context that is based on the formal specifications of the tasks performed by agents. I will then show how this context can be used by agents to align their vocabularies dynamically, by learning mappings from the experience of previous interactions. In doing so, we will also rethink the traditional approach to semantic matching and its evaluation, tackling the following questions: What does it mean for agents to \"understand each other\"? When is an alignment good for a particular application? Finally, I will present an application to agents that interact using procedural protocols obtained from the WikiHow website, showing how they can infer a translation between English and Spanish without using external resources."]},"fulltext":"A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_pragmatic_approach_to_translation:_Vocabulary_alignment_through_Multiagent_Interaction_and_Observation","namespace":0,"exists":"1","displaytitle":"A pragmatic approach to translation: Vocabulary alignment through Multiagent Interaction and Observation"},"A proof of CSP Dichotomy conjecture":{"printouts":{"Start":[{"timestamp":"1527254100","raw":"1\/2018\/5\/25\/13\/15\/0\/0"}],"Ende":[{"timestamp":"1527259500","raw":"1\/2018\/5\/25\/14\/45\/0\/0"}],"title":["A proof of CSP Dichotomy conjecture"],"Raum":[{"fulltext":"WIL\/C115, or in WIL\/C204 if more space is needed","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/WIL\/C115,_or_in_WIL\/C204_if_more_space_is_needed","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Dmitriy Zhuk (Lomonosov Moscow State University)"],"Details":["Many natural combinatorial problems can be expressed as constraint satisfaction problems. This class of problems is known to be NP-complete in general, but certain restrictions on the form of the constraints can ensure tractability. The standard way to parameterize interesting subclasses of the constraint satisfaction problem is via finite constraint languages. The main problem is to classify those subclasses that are solvable in polynomial time and those that are NP-complete. It was conjectured that if a constraint language has a weak near unanimity polymorphism then the corresponding constraint satisfaction problem is tractable, otherwise it is NP-complete. The hardness result is known since 2001. We present an algorithm that solves Constraint Satisfaction Problem in polynomial time for constraint languages having a weak near unanimity polymorphism, which proves the remaining part of the conjecture."]},"fulltext":"A proof of CSP Dichotomy conjecture","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A_proof_of_CSP_Dichotomy_conjecture","namespace":0,"exists":"1","displaytitle":"A proof of CSP Dichotomy conjecture"},"A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications":{"printouts":{"Start":[{"timestamp":"1568984400","raw":"1\/2019\/9\/20\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1568988000","raw":"1\/2019\/9\/20\/14\/0\/0\/0"}],"title":["A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Jonathan Goldstein"],"Details":["'''Abstract:'''\n\nWhen writing today\u2019s distributed programs, which frequently span both devices and cloud services, programmers are faced with complex decisions and coding tasks around coping with failure, especially when these distributed components are stateful. If their application can be cast as pure data processing, they benefit from the past 40-50 years of work from the database community, which has shown how declarative database systems can completely isolate the developer from the possibility of failure in a performant manner. Unfortunately, while there have been some attempts at bringing similar functionality into the more general distributed programming space, a compelling general-purpose system must handle non-determinism, be performant, support a variety of machine types with varying resiliency goals, and be language agnostic, allowing distributed components written in different languages to communicate. This talk describes the first system, publicly available on GitHub, called Ambrosia, to satisfy all these requirements. We coin the term \u201cvirtual resiliency\u201d, analogous to virtual memory, for the platform feature which allows failure oblivious code to run in a failure resilient manner. We also introduce a programming construct, the \u201cimpulse\u201d, which resiliently handles non-deterministic information originating from outside the resilient component. Of further interest to our community is the effective reapplication of much database performance optimization technology to make Ambrosia more performant than many of today\u2019s non-resilient cloud solutions.\n\n\n'''Bio:'''\n\nOver the last 20 years, I have worked at Microsoft in a combination of research and product roles. In particular, I\u2019ve spent about 15 years as a researcher at MSR, doing fundamental research in streaming, big data processing, databases, and distributed computing. My style of working is to attack difficult problems, and through fundamental understanding and insight, create new artifacts that enable important problems to be solved in vastly better ways. For instance, my work on streaming data processing enabled people with real time data processing problems to specify their processing logic in new, powerful ways, and also resulted in an artifact called Trill, which was orders of magnitude more performant than anything which preceded it. Within the academic community, I have published many papers, some with best paper awards (e.g. Best Paper Award at ICDE 2012), and two with test of time awards (e.g. SIGMOD 2011 Test of Time award and ICDT 2018 Test of Time award), and have also taken many organizational roles in database conferences. My research has also had significant impact on many Microsoft products, including SQL Server, Office, Windows, Bing, and Halo, as well as leading to the creation of entirely new products like Microsoft StreamInsight, Azure Stream Analytics, Trill, and most recently, Ambrosia. I spent 5 years building Microsoft StreamInsight, serving as a founder and architect for the product. Trill has become the de-facto standard for temporal and stream data processing within Microsoft, and years after creation, is still the most expressive and performant general purpose stream data processor in the world. I am also an inventor of 30+ patents."]},"fulltext":"A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/A.M.B.R.O.S.I.A._-_Conferring_Immortality_on_Distributed_Applications","namespace":0,"exists":"1","displaytitle":"A.M.B.R.O.S.I.A. - Conferring Immortality on Distributed Applications"},"ASNP: a tame fragment of existential second-order logic":{"printouts":{"Start":[{"timestamp":"1593090000","raw":"1\/2020\/6\/25\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1593095400","raw":"1\/2020\/6\/25\/14\/30\/0\/0"}],"title":["ASNP: a tame fragment of existential second-order logic"],"Raum":[{"fulltext":"Digital","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Digital","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Manuel Bodirsky and Simon Kn\u00e4uer"],"Details":["Amalgamation SNP (ASNP) is a fragment of existential second-order logic that strictly contains binary connected MMSNP of Feder and Vardi and binary connected guarded monotone SNP of Bienvenu, ten Cate, Lutz, and Wolter; it is a promising candidate for an expressive subclass of NP that exhibits a complexity dichotomy. We show that ASNP has a complexity dichotomy if and only if the infinite-domain dichotomy conjecture holds for constraint satisfaction problems for first-order reducts of binary finitely bounded homogeneous structures. For such CSPs, powerful universal-algebraic hardness conditions are known that are conjectured to describe the border between NP-hard and polynomial-time tractable CSPs. The connection to CSPs also implies that every ASNP sentence can be evaluated in polynomial time on classes of finite structures of bounded treewidth. We show that the syntax of ASNP is decidable. The proof relies on the fact that for classes of finite binary structures given by finitely many forbidden substructures, the amalgamation property is decidable.\n\n\nThis will be a test talk for the presentation of an eponymous paper consisting of the 20 minute long prerecorded talk (like it will be presented at the conference) which will be followed up with a Q&A session to the talk where questions will be answered by Simon Kn\u00e4uer, one of the authors. Feedback and suggestions in preperation for the conference talk are heavily encouraged.\n\nThis talk will be held digitally. If there is any interest in attending, please write an e-mail to thomas.feller@tu-dresden.de."]},"fulltext":"ASNP: a tame fragment of existential second-order logic","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/ASNP:_a_tame_fragment_of_existential_second-order_logic","namespace":0,"exists":"1","displaytitle":"ASNP: a tame fragment of existential second-order logic"},"ASPARTIX-D Ready for the Competition":{"printouts":{"Start":[{"timestamp":"1430751000","raw":"1\/2015\/5\/4\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1430754600","raw":"1\/2015\/5\/4\/15\/50\/0\/0"}],"title":["ASPARTIX-D Ready for the Competition"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Sarah Alice Gaggl"],"Details":["ASPARTIX-D is a system designed to evaluate abstract argumentation frameworks. It consists of collection of answer-set programming (ASP) encodings together with an optimal ASP (resp. SAT) solver configuration for each reasoning problem. In this talk we will give an overview of the modifications and the evalutation performed to make ASPARTIX-D\nready for the first International Competition on Computational Models of Argumentation (ICCMA 2015)."]},"fulltext":"ASPARTIX-D Ready for the Competition","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/ASPARTIX-D_Ready_for_the_Competition","namespace":0,"exists":"1","displaytitle":"ASPARTIX-D Ready for the Competition"},"ASYDE: An Argumentation-based System for classifYing Driving bEhaviors":{"printouts":{"Start":[{"timestamp":"1706785200","raw":"1\/2024\/2\/1\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1706788800","raw":"1\/2024\/2\/1\/12\/0\/0\/0"}],"title":["ASYDE: An Argumentation-based System for classifYing Driving bEhaviors"],"Raum":[{"fulltext":"APB room 2026","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_2026","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Giuseppina Monterosso"],"Details":["Abstract: \nExamining the influence of human behavior on road safety is a matter of considerable interest. As\nstudies in this field have demonstrated a correlation between driver behavior and road safety over\nthe past decades, there is a compelling need to develop a software system capable of impartially\nidentifying the typical driving behavior of motorists. The objective of this research is to create one\nor more algorithms capable of recognizing and classifying a driver's typical driving behavior by\nintegrating various data sources. Since different data sources may present conflicting information\ndue to noise errors or failures, our goal is to resolve such ambiguities by employing artificial\nintelligence paradigms. We are currently exploring the potential use of a well-known AI framework,\nnamely Dung\u2019s Abstract Argumentation Framework (AAF). Argumentation Frameworks, indeed,\nprovide a valuable tool for analyzing and assessing conflicting pieces of information, enabling us to\ndraw more accurate and dependable conclusions. Our argumentation-based system provides the\nuser with a driving certificate describing their driving behavior. In the certificate, we outline, for\neach predefined class C of driving behavior (e.g., calm driving, normal driving, aggressive driving),\nthe minimum and maximum percentage of time points where the driving behavior falls in C. The\nminimum percentage represents the time points where driver behavior has been classified in C\nwithout uncertainty, whereas the maximum percentage encodes the time points where some other\nclasses in addition to C have been identified, allowing for multiple interpretations.\nThe experimental evaluation baked up the need for intervals, as for several time points ambiguity in\nidentifying classes occurred, due to different measures collected by different sensors leading to\nconflicting information. Therefore, assigning a single class is not always possible; instead, multiple\npossible interpretations need to be considered.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 2026, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"ASYDE: An Argumentation-based System for classifYing Driving bEhaviors","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/ASYDE:_An_Argumentation-based_System_for_classifYing_Driving_bEhaviors","namespace":0,"exists":"1","displaytitle":"ASYDE: An Argumentation-based System for classifYing Driving bEhaviors"},"Seminar 22.07.2021":{"printouts":{"Start":[{"timestamp":"1626958800","raw":"1\/2021\/7\/22\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1626964200","raw":"1\/2021\/7\/22\/14\/30\/0\/0"}],"title":["Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Hannes Stra\u00df"],"Details":["Abstract dialectical frameworks (ADFs) are a formalism for representing knowledge about abstract arguments and various logical relationships between them. This talk presents an overview of some of our results on ADFs.\n\nFirstly, we use the framework of approximation fixpoint theory to define various semantics that are known from related knowledge representation formalisms also for ADFs.\n\nWe then analyse the computational complexity of a variety of reasoning problems related to ADFs.\n\nAfterwards, we also analyse the formal expressiveness in terms of realisable sets of interpretations and show how ADFs fare in comparison to other formalisms.\n\nFinally, we show how ADFs can be put to use in instantiated argumentation, where researchers try to assign meaning to sets of defeasible and strict rules.\n\nThe main outcomes of our work show that in particular the sublanguage of *bipolar* ADFs are a useful knowledge representation formalism with meaningful representational capabilities and acceptable computational properties. \n\n\n'''Short Bio:''' The speaker is a research associate in the Computational Logic Group. He obtained his BSc in Computer Science in 2006, his (European) MSc in Computational Logic in 2008, both from TUD; his PhD about Non-monotonic Reasoning in Action Theories in 2012, his Habilitation about the topic of this talk in 2017, both from Leipzig University. Most recently, he worked at compl3te GmbH in Leipzig dealing with automated problem solving, before he joined TUD again.\n\n\nThis talk will take place online via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=139679&p=9e3a0a4a\n\nwithout ZIH-login:\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=139679&p=7cb3769c"]},"fulltext":"Seminar 22.07.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_22.07.2021","namespace":0,"exists":"1","displaytitle":"Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning"},"Abstract Domains for Database Manipulating Processes":{"printouts":{"Start":[{"timestamp":"1699527600","raw":"1\/2023\/11\/9\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1699531200","raw":"1\/2023\/11\/9\/12\/0\/0\/0"}],"title":["Abstract Domains for Database Manipulating Processes"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Stephan Mennicke"],"Details":["Database manipulating systems (DMS) formalize operations on relational databases like adding new tuples or deleting existing ones. To ensure sufficient expressiveness for capturing practical database systems, DMS operations incorporate guarding expressions first-order formulas over countable value domains. Those features impose infinite state, infinitely branching processes thus making automated reasoning about properties like the reachability of states intractable. Most recent approaches, therefore, restrict DMS to obtain decidable fragments. Nevertheless, a comprehensive semantic framework capturing full DMS, yet incorporating effective notions of data abstraction and process equivalence is an open issue. In this paper, we propose DMS process semantics based on principles of abstract interpretation. The concrete domain consists of all valid databases, whereas the abstract domain employs different constructions for unifying sets of databases being semantically equivalent up to particular fragments of the DMS guard language. The connection between abstract and concrete domains is effectively established by homomorphic mappings whose properties and restrictions depend on the expressiveness of the DMS fragment under consideration. We instantiate our framework for canonical DMS fragments and investigate semantical preservation of abstractions up to bisimilarity, being one of the strongest equivalence notions for operational process semantics.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Abstract Domains for Database Manipulating Processes","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Abstract_Domains_for_Database_Manipulating_Processes","namespace":0,"exists":"1","displaytitle":"Abstract Domains for Database Manipulating Processes"},"Adaptive Language Interaction":{"printouts":{"Start":[{"timestamp":"1525345200","raw":"1\/2018\/5\/3\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1525350600","raw":"1\/2018\/5\/3\/12\/30\/0\/0"}],"title":["Adaptive Language Interaction"],"Raum":[{"fulltext":"APB 1004","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_1004","namespace":0,"exists":"1","displaytitle":"Raum APB 1004"}],"Art":["Vortrag"],"Sprecher(in)":["Prof. Dr. Vera Demberg (Saarland University, Saarland Informatics Campus, Computer Science and Computational Linguistics)"],"Details":["This talk is part of Dresden Talks on Interaction & Visualization: \n\n\nLanguage-based interaction with digital agents (e.g. Siri, Alexa) has become ubiquitous, and is used in various situations and by an increasingly large variety of different users. Research shows however that a dialog system should not just be able to understand and generate language correctly, but that it should also adapt the way it formulates its messages to fit the user and the situation (for instance, it should use simpler formulations to avoid distraction during driving).\n\nIn this talk, I will start out by presenting an information-theoretic measure, surprisal, as a way of quantifying linguistically induced cognitive load on a word-by-word basis. I will then proceed to talk about neural network models that we have recently developed to estimate semantic surprisal, i.e. the amount of cognitive load that will be caused by an unexpected word like \"bathtub\" in context, such as \"I did the dishes in the bathtub.\".\n\nFinally, I will report on our recent work using a novel pupillometry-based measure of cognitive load, the Index of Cognitive Activity (ICA), which allows us to assess cognitive load in dual task settings such as driving a car."]},"fulltext":"Adaptive Language Interaction","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Adaptive_Language_Interaction","namespace":0,"exists":"1","displaytitle":"Adaptive Language Interaction"},"Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster":{"printouts":{"Start":[{"timestamp":"1728558000","raw":"1\/2024\/10\/10\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1728561600","raw":"1\/2024\/10\/10\/12\/0\/0\/0"}],"title":["Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster"],"Raum":[{"fulltext":"Https:\/\/bbb.tu-dresden.de\/rooms\/n5w-ghp-qoq-kts\/join","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Https:\/\/bbb.tu-dresden.de\/rooms\/n5w-ghp-qoq-kts\/join","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Quentin Maniere"],"Details":["We study extensions of expressive decidable fragments of first-order logic with circumscription, in particular the two-variable fragment FO2, its extension C2 with counting quantifiers, and the guarded fragment GF. We prove that if only unary predicates are minimized (or fixed) during circumscription, then decidability of logical consequence is preserved. For FO2 the complexity increases from coNExp to coNExp^NP-complete, for GF it (remarkably!) increases from 2Exp to Tower-complete, and for C2 the complexity remains open. We also consider querying circumscribed knowledge bases whose ontology is a GF sentence, showing that the problem is decidable for unions of conjunctive queries, Tower-complete in combined complexity, and Elementary in data complexity. Already for atomic queries and ontologies that are sets of guarded existential rules, however, for every k \u2265 0 there is an ontology and query that are k-Exp-hard in data complexity."]},"fulltext":"Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Adding_Circumscription_to_Decidable_Fragments_of_First-Order_Logic:_A_Complexity_Rollercoaster","namespace":0,"exists":"1","displaytitle":"Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster"},"Adding Threshold Concepts to the Description Logic EL":{"printouts":{"Start":[{"timestamp":"1462978200","raw":"1\/2016\/5\/11\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1462981800","raw":"1\/2016\/5\/11\/15\/50\/0\/0"}],"title":["Adding Threshold Concepts to the Description Logic EL"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Oliver Fern\u00e1ndez Gil"],"Details":["We introduce a family of logics extending the lightweight Description Logic EL, that allows us to define concepts in an approximate way. The main idea is to use a graded membership function m, which for each individual and concept yields a number in the interval [0,1] expressing the degree to which the individual belongs to the concept. Threshold concepts C~t for ~ in {<,<=,>,>=} then collect all the individuals that belong to C with degree ~t. We further study this framework in two particular directions. First, we define a specific graded membership function deg and investigate the complexity of reasoning in the resulting Description Logic tEL(deg) w.r.t. both the empty terminology and acyclic TBoxes. Second, we show how to use the relaxed instance query approach of Ecke et al. to turn concept similarity measures into membership degree functions. It turns out that under certain conditions such functions are well-defined, and therefore induce a wide range of threshold logics. Last, we present preliminary results on the computational complexity landscape of reasoning in such a big family of threshold logics."]},"fulltext":"Adding Threshold Concepts to the Description Logic EL","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Adding_Threshold_Concepts_to_the_Description_Logic_EL","namespace":0,"exists":"1","displaytitle":"Adding Threshold Concepts to the Description Logic EL"},"Admissibility in Probabilistic Argumentation":{"printouts":{"Start":[{"timestamp":"1636023600","raw":"1\/2021\/11\/4\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1636027200","raw":"1\/2021\/11\/4\/12\/0\/0\/0"}],"title":["Admissibility in Probabilistic Argumentation"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Nikolai K\u00e4fer"],"Details":["Abstract argumentation is a prominent reasoning framework. It comes with a variety of semantics and has lately been enhanced by probabilities to enable a quantitative treatment of argumentation. While admissibility is a fundamental notion in the classical setting, it has been merely reflected so far in the probabilistic setting. In this paper, we address the quantitative treatment of argumentation based on probabilistic notions of admissibility in a way that they form fully conservative extensions of classical notions. In particular, our building blocks are not the beliefs regarding single arguments. Instead, we start from the fairly natural idea that whatever argumentation semantics is to be considered, semantics systematically induces constraints on the joint probability distribution on the sets of arguments. In some cases there might be many such distributions, even infinitely many ones, in other cases, there may be one or none. Standard semantic notions are shown to induce such sets of constraints, and so do their probabilistic extensions. This allows them to be tackled by SMT solvers, as we demonstrate by a proof-of-concept implementation. We present a taxonomy of semantic notions, also in relation to published work, together with a running example illustrating our achievements.\n\nThis is a talk regarding the paper at KR 2021. The talk will be given online via BigBlueButton. To access the room, use the following link:\n\nRoom Link: \nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Admissibility in Probabilistic Argumentation","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Admissibility_in_Probabilistic_Argumentation","namespace":0,"exists":"1","displaytitle":"Admissibility in Probabilistic Argumentation"},"Advances in Abstract Argumentation - Expressiveness and Dynamics":{"printouts":{"Start":[{"timestamp":"1501160400","raw":"1\/2017\/7\/27\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1501164000","raw":"1\/2017\/7\/27\/14\/0\/0\/0"}],"title":["Advances in Abstract Argumentation - Expressiveness and Dynamics"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Thomas Linsbichler"],"Details":["In recent years the research field of argumentation has become a major\ntopic in the study of artificial intelligence (AI). Within the\nargumentation process, the focus of this work is on the evaluation of\nthe acceptability of conflicting arguments using the formal models of\nabstract argumentation frameworks (AFs) and abstract dialectical\nframeworks (ADFs). While an AF is a directed graph where nodes\nrepresent arguments and directed edges represent conflicts between\narguments, ADFs constitute a very powerful generalization of AFs by\nadditionally assigning to each argument an acceptance condition. In\nthis work we contribute to the advancement of the study of abstract\nargumentation by addressing aspects of expressiveness and dynamics of\nargumentation semantics. In terms of expressiveness we complement\nrecent work on realizability in AFs, investigate the role of rejected\narguments, and study the induced class of compact argumentation\nframeworks. Then, we lift the study of expressiveness to the concept\nof input-output AFs. Finally, we present a unifying algorithmic\napproach to realizability capturing AFs and ADFs as well as\nintermediate formalisms in a modular way, which is also implemented in\nASP. Taking into account the dynamic nature of argumentation, we\nstudy two central issues therein: revision and splitting. For\nrevision we apply the seminal AGM theory of belief change to\nargumentation by presenting representation theorems for revision\noperators which guarantee to result in a single framework. We also\npresent concrete belief change operators and analyze their\ncomputational complexity. Finally, we study splitting of ADFs, aiming\nfor optimization of computation by incremental computation of\nsemantics."]},"fulltext":"Advances in Abstract Argumentation - Expressiveness and Dynamics","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Advances_in_Abstract_Argumentation_-_Expressiveness_and_Dynamics","namespace":0,"exists":"1","displaytitle":"Advances in Abstract Argumentation - Expressiveness and Dynamics"},"Adventures in Computer Science -- Grades 1 & 2":{"printouts":{"Start":[{"timestamp":"1680174000","raw":"1\/2023\/3\/30\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1680177600","raw":"1\/2023\/3\/30\/12\/0\/0\/0"}],"title":["Adventures in Computer Science -- Grades 1 & 2"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Stephan Mennicke"],"Details":["Have you sorted you toys at home by color or by size? Have you\never looked for this one particular pencil? Have you asked yourself, why\ndid this search take so long or how can it be faster? The \"World of\nAlgorithms\" (German: Die Welt der Algorithmen) provides some useful\ntools for you to achieve your goals as quick as possible. This includes\nproblems that never crossed your minds before. We are going to look at\ncertain problems and their (algorithmic) solutions. It is our goal the\nlearn about the strategies leading to the solutions. We are also facing\nproblems that are so hard to solve for which a quick solutions is out of\nreach, even for a modern computer.\n\nThis is a translation of the advertisement I provided for pupils at the\n39th Primary School here at Dresden for a so-called \"Ganztagsangebot\"\n(GTA for short) which is basically a 1 hour\/week course\ninstitutionalized as afternoon activity. My target group has been\nchildren at the level of 1st and 2nd grade (ages 6 to 8). In this talk,\nI will briefly explain what I planned to do, what I did and what I'm\nplanning to do in this GTA. I will mainly elaborate on the experiences I\ngathered in teaching 6-8 year-olds over the course of this school year.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Adventures in Computer Science -- Grades 1 & 2","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Adventures_in_Computer_Science_--_Grades_1_%26_2","namespace":0,"exists":"1","displaytitle":"Adventures in Computer Science -- Grades 1 & 2"},"Agile Project Management - An overview on techniques and the agile mindset":{"printouts":{"Start":[{"timestamp":"1645095600","raw":"1\/2022\/2\/17\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1645099200","raw":"1\/2022\/2\/17\/12\/0\/0\/0"}],"title":["Agile Project Management - An overview on techniques and the agile mindset"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Stefan Ellmauthaler"],"Details":["Being agile has become a fashionable word for project management and working methods for companies in recent years.\nThis is synonymous with modern structures, effective organization, and working patterns.\nA number of concepts such as \"design thinking\", \"lean startup\" or \"scrum\" are at least known by their name.\nIn the academic community, these ideas are not applied often and sometimes look a bit overburdening.\nThe aim of this presentation is to provide an overview of the agile mindset and a general introduction to the methodologies used.\nWe will focus on the aspects which might be interesting for academic people, as not all roles and artifacts can and should be realized in a reasonable way in our current environment.\n\nFirst, we address the basic question of what agility is and why we need to be agile.\nFollowing this, we will examine the paradigms and methods used in the agile mindset.\nFinally, we will look at Scrum, which is a method for carrying out complex tasks done in small agile teams.\nThis is particularly interesting as we typically work in small teams in the academic environment.\n\nThis is a condensed overview of the experience from a two-day skill workshop on agile methods.\n\nThe talk is online, link:\n\nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Agile Project Management - An overview on techniques and the agile mindset","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Agile_Project_Management_-_An_overview_on_techniques_and_the_agile_mindset","namespace":0,"exists":"1","displaytitle":"Agile Project Management - An overview on techniques and the agile mindset"},"Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning":{"printouts":{"Start":[{"timestamp":"1721300400","raw":"1\/2024\/7\/18\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1721304000","raw":"1\/2024\/7\/18\/12\/0\/0\/0"}],"title":["Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Nicholas Leisegang"],"Details":["This talk will consist of two parts. In the first part, I will discuss work from my masters thesis on algebraic aspects of propositional logic. In particular, I will provide a brief introduction into universal algebra, and describe how a propositional theory of logic corresponds to a variety of universal algebra in a generalized setting. Using this correspondence and certain examples, we will then characterise a notion of completeness in an algebraic setting for propositional logics.\n\nIn the second part of the talk, I will talk a little bit about the area of interest and the central questions for my PhD studies. Specifically, I will give a brief introduction to KLM style defeasibility and introduce the problems I am working on with regards to introducing KLM-style reasoning into more expressive logics."]},"fulltext":"Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Algebraic_Aspects_of_Propositional_Logic,_and_Future_Work_in_Defeasibile_Reasoning","namespace":0,"exists":"1","displaytitle":"Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning"},"An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation":{"printouts":{"Start":[{"timestamp":"1714042800","raw":"1\/2024\/4\/25\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1714046400","raw":"1\/2024\/4\/25\/12\/0\/0\/0"}],"title":["An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Jesse Heyninck"],"Details":["Conditional independence is a crucial concept supporting adequate modelling and efficient reasoning in probabilistics. In knowledge representation, the idea of conditional independence has also been introduced for specific formalisms, such as propositional logic and belief revision. In this talk, I show how the notion of conditional independence can be studied in the algebraic framework of approximation fixpoint theory. This gives a language-independent account of conditional independence that can be straightforwardly applied to any logic with fixpoint semantics. It is shown how this notion allows to reduce global reasoning to parallel instances of local reasoning. Furthermore, relations to existing notions of conditional independence are discussed and the framework is applied to normal logic programming and abstract dialectical frameworks."]},"fulltext":"An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/An_Algebraic_Notion_of_Conditional_Independence,_and_its_Application_to_Knowledge_Representation","namespace":0,"exists":"1","displaytitle":"An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation"},"An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog":{"printouts":{"Start":[{"timestamp":"1663844400","raw":"1\/2022\/9\/22\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1663848000","raw":"1\/2022\/9\/22\/12\/0\/0\/0"}],"title":["An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Ali Elhalawati"],"Details":["Why-provenance \u2014 explaining why a query result is obtained \u2014 is an essential asset for reaching the goal of Explainable AI. For instance, recursive (Datalog) queries may show unexpected derivations due to complex entanglement of database atoms inside recursive rule applications. Provenance, and why-provenance in particular, helps debugging rule sets to eventually obtain the desired set of rules. There are three kinds of approaches to computing why-provenance for Datalog in the literature: (1) the complete ones, (2) the approximate ones, and (3) the theoretical ones. What all these approaches have in common is that they aim at computing provenance for all IDB atoms, while only a few atoms might be requested to be explained. We contribute an on-demand approach: After deriving all entailed facts of a Datalog program, we allow for querying for the provenance of particular IDB atoms and the structures involved in deriving provenance are computed only then. Our framework is based on terminating existential rules, recording the different rule applications. We present two implementations of the framework, one based on the semiring solver FPsolve, the other one based Datalog(S), a recent extension of Datalog by set terms. We perform experiments on benchmark rule sets using both implementations and discuss feasibility of provenance on-demand.\n\nThe talk is based on the upcoming conference paper in RuleML+RR 2022 with Markus Kr\u00f6tzsch and Stephan Mennicke, the paper can be found through the following link: https:\/\/iccl.inf.tu-dresden.de\/web\/Inproceedings3342\n\nThe talk will take place in a hybrid fashion, physically in the seminar room, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/An_Existential_Rule_Framework_for_Computing_Why-Provenance_On-Demand_for_Datalog","namespace":0,"exists":"1","displaytitle":"An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog"},"An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics":{"printouts":{"Start":[{"timestamp":"1429541400","raw":"1\/2015\/4\/20\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1429545000","raw":"1\/2015\/4\/20\/15\/50\/0\/0"}],"title":["An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Javanshir Alammadli"],"Details":["Increasing interest in Argumentation led to several proposals for formalisms. They differ in many aspects, therefore implementation is needed for better analysis and comparison. Different implementation methods, as well as systems should be analyzed to find the most suitable one for each formalization. The purpose of this talk is to go through the steps of implementing the labelling algorithm for cf2 in Java, analyze its performance and compare to the implementation in ASPARTIX."]},"fulltext":"An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/An_Implementation_of_a_Labelling-based_Algorithm_for_the_cf2_Argumentation_Semantics","namespace":0,"exists":"1","displaytitle":"An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics"},"Seminar 15.04.2021":{"printouts":{"Start":[{"timestamp":"1618491600","raw":"1\/2021\/4\/15\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1618497000","raw":"1\/2021\/4\/15\/14\/30\/0\/0"}],"title":["An Introduction to Proof Theory I: Sequent Calculus"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Tim Lyon"],"Details":["Proof theory is an important branch of mathematical logic that is primarily concerned with the study and application of mathematical proofs. One of the preferred formalisms in proof theory for building deductive systems is Gerhard Gentzen's sequent calculus formalism. This talk is intended as an introduction to proof theory and will introduce a variant of Gentzen's sequent calculus for classical propositional logic. Moreover, the sequent calculus will be used to demonstrate and define fundamental proof theoretic notions such as sequents, types of inference rules, methods of soundness and completeness, and properties of calculi.\n\n\nThis lecture will take place online via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=88852&p=57980ee1\n\nwithout ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=88852&p=7788afd1"]},"fulltext":"Seminar 15.04.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_15.04.2021","namespace":0,"exists":"1","displaytitle":"An Introduction to Proof Theory I: Sequent Calculus"},"An Introduction to Proof Theory II: More on the Sequent Calculus":{"printouts":{"Start":[{"timestamp":"1642071600","raw":"1\/2022\/1\/13\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1642075200","raw":"1\/2022\/1\/13\/12\/0\/0\/0"}],"title":["An Introduction to Proof Theory II: More on the Sequent Calculus"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Tim Lyon"],"Details":["This talk is a sequel to the first lecture \"An Introduction to Proof Theory I: Sequent Calculus,\" which can be found at the following link: https:\/\/www.youtube.com\/watch?v=grjMRgmjddE. In this talk, we will briefly review notions introduced in the first talk such as what a sequent is, types of inference rules, and types of rule redundancy. Building off these notions, we will then look at invertible rules, cut-elimination, and touch on how logics can be shown decidable via proof-search. All such concepts will be introduced within the framework of a sequent calculus for classical propositional logic. \n\nThe talk is online via BigBlueButton.\n\nLink:\nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"An Introduction to Proof Theory II: More on the Sequent Calculus","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/An_Introduction_to_Proof_Theory_II:_More_on_the_Sequent_Calculus","namespace":0,"exists":"1","displaytitle":"An Introduction to Proof Theory II: More on the Sequent Calculus"},"An Introduction to Wikidata":{"printouts":{"Start":[{"timestamp":"1480517400","raw":"1\/2016\/11\/30\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1480521000","raw":"1\/2016\/11\/30\/15\/50\/0\/0"}],"title":["An Introduction to Wikidata"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Markus Kr\u00f6tzsch"],"Details":["Wikidata is Wikipedia's database sister and one of the major general knowledge bases found on the Web today. After only four years of operation, it has attracted contributions from more than 100,000 editors, amounting to more than 120 million statements about 25 million entities (state November 2016). In this talk, I will give an introduction to the project and to its contents, and discuss possible uses in research and applications."]},"fulltext":"An Introduction to Wikidata","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/An_Introduction_to_Wikidata","namespace":0,"exists":"1","displaytitle":"An Introduction to Wikidata"},"Seminar 20.05.2021":{"printouts":{"Start":[{"timestamp":"1621515600","raw":"1\/2021\/5\/20\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1621521000","raw":"1\/2021\/5\/20\/14\/30\/0\/0"}],"title":["An importance value for temporal logics"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Simon Jantsch"],"Details":["We give a brief account of the Shapley value, which is a powerful and elegant formalism aimed at distributing a surplus achieved jointly by a group of agents to the individual members.\nIt was first studied in theoretical economics, but has since influenced many domains.\nUsing this concept, we derive a notion of importance of states in a system with respect to satisfying a given temporal logic specification.\nThe aim is to measure how much the nondeterministic choices of a state influence the capacity of the system as a whole to satisfy the specification.\nWe will mainly consider linear temporal logic, for which we study the exact complexity of determining the importance value.\nFinally, we discuss how the formalism can be applied to computation tree logic and what additional challenges that brings.\n\n\nThis talk will have a duration of approximately 30 minutes and takes place online via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=115787&p=a346519e\n\nwithout ZIH-login:\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=115787&p=c9c0523a"]},"fulltext":"Seminar 20.05.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_20.05.2021","namespace":0,"exists":"1","displaytitle":"An importance value for temporal logics"},"Seminar 07.10.2021":{"printouts":{"Start":[{"timestamp":"1633611600","raw":"1\/2021\/10\/7\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1633617000","raw":"1\/2021\/10\/7\/14\/30\/0\/0"}],"title":["An overview of Datalog boundedness"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Christian Lewe"],"Details":["Datalog boundedness is the property of a Datalog rule set that its recursion depth is independent of the database during query answering. This property is known to be undecidable and has been extensively studied. We give an overview of different perspectives on boundedness and relate boundedness to first-order rewritability. To build a strong intuition for the nature of boundnedness, we define a new fragment of bounded Datalog rule sets and show its place amidst other bounded fragments.\n\n\nThis is a project defence and will be given online via BigBlueButton. To access the room, use one of the following links:\n\nwith ZIH-login: \n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=147898&p=494d5a1d\n\nwithout ZIH-login (i.e. external participants):\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=147898&p=2f89586e"]},"fulltext":"Seminar 07.10.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_07.10.2021","namespace":0,"exists":"1","displaytitle":"An overview of Datalog boundedness"},"Answer Set Navigation alongside Quantitative Reasoning":{"printouts":{"Start":[{"timestamp":"1707994800","raw":"1\/2024\/2\/15\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1707998400","raw":"1\/2024\/2\/15\/12\/0\/0\/0"}],"title":["Answer Set Navigation alongside Quantitative Reasoning"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Dominik Rusovac"],"Details":["Abstract: This is a so called status talk of PhD student Dominik Rusovac, supervised by Sarah Alice Gaggl. The main goal of the thesis is to study the concept of answer set navigation. Essentially, aiming at a systematic framework that consists of efficient and from the ground up characterised methods to deal with a large amount of answer sets (solutions) of a logic program (problem).\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Answer Set Navigation alongside Quantitative Reasoning","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Answer_Set_Navigation_alongside_Quantitative_Reasoning","namespace":0,"exists":"1","displaytitle":"Answer Set Navigation alongside Quantitative Reasoning"},"Answering Queries with Negation over Existential Rules":{"printouts":{"Start":[{"timestamp":"1641466800","raw":"1\/2022\/1\/6\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1641470400","raw":"1\/2022\/1\/6\/12\/0\/0\/0"}],"title":["Answering Queries with Negation over Existential Rules"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Stephan Mennicke"],"Details":["Ontology-based query answering with existential rules is well understood and implemented for positive queries, in particular conjunctive queries. The situation changes drastically for queries with negation, where there is no agreed-upon semantics or standard implementation. Stratification, as used for Datalog, is not enough for existential rules, since the latter still admit multiple universal models that can differ on negative queries. We, therefore, propose universal core models as a basis for meaningful (non-monotonic) semantics for queries with negation. Since cores are hard to compute, we identify syntactic descriptions of queries that can equivalently be answered over other types of models. This leads to fragments of queries with negation that can safely be evaluated by current chase implementations. We establish new techniques to estimate how the core model differs from other universal models, and we incorporate our findings into a new reasoning approach for existential rules with negation.\n\nThe talk is about an upcoming publication in AAAI 2022 by Stefan Ellmauthaler, Markus Kr\u00f6tzsch, Stephan Mennicke\n\nThe talk is online,\nLink: https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Answering Queries with Negation over Existential Rules","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Answering_Queries_with_Negation_over_Existential_Rules","namespace":0,"exists":"1","displaytitle":"Answering Queries with Negation over Existential Rules"},"Answering Temporal Conjunctive Queries over DL Ontologies":{"printouts":{"Start":[{"timestamp":"1431960600","raw":"1\/2015\/5\/18\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1431964200","raw":"1\/2015\/5\/18\/15\/50\/0\/0"}],"title":["Answering Temporal Conjunctive Queries over DL Ontologies"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Stefan Borgwardt"],"Details":["Temporal Conjunctive Queries (TCQs) have been proposed as a formalism to access data that is collected by sensors at regular intervals. They allow to combine conjunctive queries using the operators of propositional linear-temporal logic (LTL). Recently, the complexity of TCQ entailment has been established in the presence of additional background knowledge formalized by an EL or SHQ ontology. This talk presents the main techniques used to obtain the complexity upper bounds and discusses ongoing work on TCQs over other DLs."]},"fulltext":"Answering Temporal Conjunctive Queries over DL Ontologies","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Answering_Temporal_Conjunctive_Queries_over_DL_Ontologies","namespace":0,"exists":"1","displaytitle":"Answering Temporal Conjunctive Queries over DL Ontologies"},"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics":{"printouts":{"Start":[{"timestamp":"1643886000","raw":"1\/2022\/2\/3\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1643889600","raw":"1\/2022\/2\/3\/12\/0\/0\/0"}],"title":["Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Hannes Stra\u00df"],"Details":["Motivated by structural similarities in the semantics of Reiter's\ndefault logic and the stable model semantics of logic programming (among\nothers), Denecker, Marek, and Truszczy\u0144ski set out to isolate these\nsimilarities in a purely algebraic setting. The result is now known as\napproximation fixpoint theory, and allows to study the semantics of the\nmajor non-monotonic knowledge representation formalisms in an abstract,\nuniform framework.\nAfter briefly recalling some lattice theory, we will present the main\nconcepts of approximation fixpoint theory, applying it to the case of\nlogic programming as a running example."]},"fulltext":"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Approximation_Fixpoint_Theory_%E2%80%93_A_Unifying_Framework_for_Non-monotonic_Semantics","namespace":0,"exists":"1","displaytitle":"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics"},"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics Part 2":{"printouts":{"Start":[{"timestamp":"1644490800","raw":"1\/2022\/2\/10\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1644494400","raw":"1\/2022\/2\/10\/12\/0\/0\/0"}],"title":["Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics Part 2"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Hannes Stra\u00df"],"Details":["Motivated by structural similarities in the semantics of Reiter's\ndefault logic and the stable model semantics of logic programming (among others), Denecker, Marek, and Truszczy\u0144ski set out to isolate these similarities in a purely algebraic setting. The result is now known as approximation fixpoint theory, and allows to study the semantics of the major non-monotonic knowledge representation formalisms in an abstract, uniform framework. After briefly recalling some lattice theory, we will present the main concepts of approximation fixpoint theory, applying it to the case of\n\nlogic programming as a running example.\n\nThis is the second part of the talk,\n\nLink: https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics Part 2","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Approximation_Fixpoint_Theory_%E2%80%93_A_Unifying_Framework_for_Non-monotonic_Semantics_Part_2","namespace":0,"exists":"1","displaytitle":"Approximation Fixpoint Theory \u2013 A Unifying Framework for Non-monotonic Semantics Part 2"},"Attributed Description Logics: Ontologies for Knowledge Graphs":{"printouts":{"Start":[{"timestamp":"1508404800","raw":"1\/2017\/10\/19\/9\/20\/0\/0"}],"Ende":[{"timestamp":"1508410200","raw":"1\/2017\/10\/19\/10\/50\/0\/0"}],"title":["Attributed Description Logics: Ontologies for Knowledge Graphs"],"Raum":[{"fulltext":"APB 2026","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_2026","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Ana Ozaki"],"Details":["In modelling real-world knowledge, there often arises a need to represent and reason with meta-knowledge. To equip description logics (DLs) for dealing with such ontologies, we enrich DL concepts and roles with finite sets of attribute-value pairs, called annotations, and allow concept inclusions to express constraints on annotations. We show that this may lead to increased complexity or even undecidability, and we identify cases where this increased expressivity can be achieved without incurring increased complexity of reasoning. In particular, we describe a tractable fragment based on the lightweight description logic EL, and we cover SROIQ, the DL underlying OWL 2 DL."]},"fulltext":"Attributed Description Logics: Ontologies for Knowledge Graphs","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Attributed_Description_Logics:_Ontologies_for_Knowledge_Graphs","namespace":0,"exists":"1","displaytitle":"Attributed Description Logics: Ontologies for Knowledge Graphs"},"Augmenting human cognition in collaborative knowledge collections":{"printouts":{"Start":[{"timestamp":"1413543900","raw":"1\/2014\/10\/17\/11\/5\/0\/0"}],"Ende":[{"timestamp":"1413548100","raw":"1\/2014\/10\/17\/12\/15\/0\/0"}],"title":["Augmenting human cognition in collaborative knowledge collections"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Claudia M\u00fcller-Birn"],"Details":["Over the past decade, a wide range of collaborative knowledge collections has emerged on the Web that are the direct product of cognitive user activities. These activities include editing an article on Wikipedia, providing a patch to open source software, or tagging pictures on Flickr. Collaborative knowledge collections provide a unique research environment for studying existing interdependencies between people's participation processes (the social system), the employed software (the technical system) and the collectively created artifact (the knowledge system). By unfolding existing design parameters of these systems, we can design more effective collaborative knowledge creation and learning processes and build new software that augment human cognition by computation. In this talk, I intend to (i) introduce three perspectives whose linkage disclose various research challenges for building social computing systems, (ii) present selected results of my research in which I looked at social computing systems from multiple vantage points, and (iii) illustrate how we can augment knowledge creation processes by building software that combines human and machine intelligence."]},"fulltext":"Augmenting human cognition in collaborative knowledge collections","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Augmenting_human_cognition_in_collaborative_knowledge_collections","namespace":0,"exists":"1","displaytitle":"Augmenting human cognition in collaborative knowledge collections"},"Automata, Logic, Algebra... What do they have in common?":{"printouts":{"Start":[{"timestamp":"1488452400","raw":"1\/2017\/3\/2\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1488456000","raw":"1\/2017\/3\/2\/12\/0\/0\/0"}],"title":["Automata, Logic, Algebra... What do they have in common?"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Tom\u00e1\u0161 Masopust"],"Details":["In this talk, a few language classes will be discussed including their automata, logical, and algebraic characterizations."]},"fulltext":"Automata, Logic, Algebra... What do they have in common?","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Automata,_Logic,_Algebra..._What_do_they_have_in_common%3F","namespace":0,"exists":"1","displaytitle":"Automata, Logic, Algebra... What do they have in common?"},"Automatic Extraction of Compositional Matrix-Space Models of Language":{"printouts":{"Start":[{"timestamp":"1563188400","raw":"1\/2019\/7\/15\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1563193800","raw":"1\/2019\/7\/15\/12\/30\/0\/0"}],"title":["Automatic Extraction of Compositional Matrix-Space Models of Language"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Shima Asaadi"],"Details":["Learning word representations in distributional semantic models to capture the semantics and compositionality of natural language is a central research area of computational linguistics. Compositional Matrix-Space Models (CMSMs) introduce a novel word representation alternative to Vector Space Models (VSMs). This talk presents the results of learning Compositional Matrix-Space Models to capture the semantics and compositionality in natural language processing tasks including sentiment analysis and compositionality detection of short phrases. Then, a new dataset is introduced for examining compositional distributional semantic models and present benchmark experiments on using the developed dataset as a testbed to evaluate semantic composition in distributional semantic models."]},"fulltext":"Automatic Extraction of Compositional Matrix-Space Models of Language","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Automatic_Extraction_of_Compositional_Matrix-Space_Models_of_Language","namespace":0,"exists":"1","displaytitle":"Automatic Extraction of Compositional Matrix-Space Models of Language"},"Automatic translation of clinical trial eligibility criteria into formal queries":{"printouts":{"Start":[{"timestamp":"1568638800","raw":"1\/2019\/9\/16\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1568642400","raw":"1\/2019\/9\/16\/14\/0\/0\/0"}],"title":["Automatic translation of clinical trial eligibility criteria into formal queries"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Chao Xu"],"Details":["Selecting patients for clinical trials is very labor-intensive. Our goal is to develop an automated system that can support doctors in this task. This paper describes a major step towards such a system: the automatic translation of clinical trial eligibility criteria from natural language into formal, logic-based queries. First, we develop a semantic annotation process that can capture many types of clinical trial criteria. Then, we map the annotated criteria to the formal query language. We have built a prototype system based on state-of-the-art NLP tools such as Word2Vec, Stanford NLP tools, and the MetaMap Tagger, and have evaluated the quality of the produced queries on a number of criteria from clinicaltrials.gov."]},"fulltext":"Automatic translation of clinical trial eligibility criteria into formal queries","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Automatic_translation_of_clinical_trial_eligibility_criteria_into_formal_queries","namespace":0,"exists":"1","displaytitle":"Automatic translation of clinical trial eligibility criteria into formal queries"},"Beyond NP Revolution":{"printouts":{"Start":[{"timestamp":"1554816600","raw":"1\/2019\/4\/9\/13\/30\/0\/0"}],"Ende":[{"timestamp":"1554822000","raw":"1\/2019\/4\/9\/15\/0\/0\/0"}],"title":["Beyond NP Revolution"],"Raum":[{"fulltext":"APB 2026","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_2026","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Kuldeep Meel"],"Details":["'''Abstract:''' The paradigmatic NP-complete problem of Boolean satisfiability (SAT) solving is a central problem in Computer Science. While the mention of SAT can be traced to early 19th century, efforts to develop practically successful SAT solvers go back to 1950s. The past 20 years have witnessed a \"NP revolution\" with the development of conflict-driven clause-learning (CDCL) SAT solvers. Such solvers combine a classical backtracking search with a rich set of effective heuristics. While 20 years ago SAT solvers were able to solve instances with at most a few hundred variables, modern SAT solvers solve instances with up to millions of variables in a reasonable time. The \"NP-revolution\" opens up opportunities to design practical algorithms with rigorous guarantees for problems in complexity classes beyond NP by replacing a NP oracle with a SAT Solver. In this talk, we will discuss how we use NP revolution to design practical algorithms for two fundamental problems in artificial intelligence and formal methods: Constrained Counting and Sampling.\n\n\n'''Bio:''' Kuldeep Meel is an Assistant Professor of Computer Science in School of Computing at the National University of Singapore where he holds the Sung Kah Kay Assistant Professorship. He received his Ph.D. (2017) and M.S. (2014) degree in Computer Science from Rice University. He holds B. Tech. (with Honors) degree (2012) in Computer Science and Engineering from Indian Institute of Technology, Bombay. His research interests lie at the intersection of Artificial Intelligence and Formal Methods. Meel has co-presented tutorials at top-tier AI conferences, IJCAI 2018, AAAI 2017, and UAI 2016. His work received the 2018 Ralph Budd Award for Best PhD Thesis in Engineering, 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015. He received the IBM Ph.D. Fellowship and the 2016-17 Lodieska Stockbridge Vaughn Fellowship for his work on constrained sampling and counting."]},"fulltext":"Beyond NP Revolution","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Beyond_NP_Revolution","namespace":0,"exists":"1","displaytitle":"Beyond NP Revolution"},"Big Data Variety: On-Demand Data Integration":{"printouts":{"Start":[{"timestamp":"1543243800","raw":"1\/2018\/11\/26\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1543249200","raw":"1\/2018\/11\/26\/16\/20\/0\/0"}],"title":["Big Data Variety: On-Demand Data Integration"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Oscar Romero"],"Details":["'''Abstract.''' As big data systems get more complex, the data variety challenge has become the driving factor in current big data projects. From a technical perspective, data variety mainly boils down to data integration, which, unfortunately, is far away from being a resolved problem. Current efforts highlight the need to broaden the perspective beyond the data community and use semantic-aware formalisms, such as knowledge graphs, to tackle this problem. In this talk, we will revise the current state-of-the-art of the data variety challenge and present recent solutions to manage the problem.\n\n\n'''Bio.''' I\u2019m currently a tenure-track 2 lecturer at the Departament d\u2019Enginyeria de Serveis i Sistemes d\u2019Informaci\u00f3 (ESSI), which belongs to the Universitat Polit\u00e8cnica de Catalunya (UPC-BarcelonaTech). also coordinate the IT4BI Erasmus Mundus Master at UPC and the Big Data Management and Analytics postgraduate course at UPC School. Although my hometown is Lleida, I have already lived for more than 10 years in Barcelona. On March 2004 I obtained my bachelor\u2019s degree in Informatics Engineering at Facultat d\u2019Inform\u00e0tica de Barcelona (FIB) Later, on February 2010 I obtained my doctoral degree in Computing. My PhD thesis, directed by Dr. Alberto Abell\u00f3 and entitled \u201cAutomating the Multidimensional Design of Data Warehouses\u201d, can be found here. My main topics of interest are business intelligence, Big Data and the semantic web. My PhD thesis focused on data warehousing but since then, I have been working on many other topics such as NOSQL (and any technology beyond relational databases), bridging Big Data management and analytics, open data platforms (mostly at the database level), recommendation systems and semantic-aware systems (based or exploiting semantic formalisms such as ontology languages or RDF). I am also interested in agile methodologies \/ formalisms to incorporate non-technical people in the design, maintenance and evolution of database systems."]},"fulltext":"Big Data Variety: On-Demand Data Integration","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Big_Data_Variety:_On-Demand_Data_Integration","namespace":0,"exists":"1","displaytitle":"Big Data Variety: On-Demand Data Integration"},"Blockmodelling Knowledge Graphs":{"printouts":{"Start":[{"timestamp":"1654167600","raw":"1\/2022\/6\/2\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1654171200","raw":"1\/2022\/6\/2\/12\/0\/0\/0"}],"title":["Blockmodelling Knowledge Graphs"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Marcin Pietrasik"],"Details":["In this talk, I provide an introductory overview of knowledge graphs, stochastic blockmodelling, and the area where these two domains intersect. Furthermore, I will highlight some of the work I have contributed to and am currently working on. The aim of the talk is to provide a gentle introduction to my work that can be a starting point for future discussion and collaboration.\n\nThe talk is Hybird!, with a 20 person maximum capacity in the seminar room APB 3027\nOnline link: https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Blockmodelling Knowledge Graphs","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Blockmodelling_Knowledge_Graphs","namespace":0,"exists":"1","displaytitle":"Blockmodelling Knowledge Graphs"},"Body-Mind-Language: Embodied Cognition in Natural Language":{"printouts":{"Start":[{"timestamp":"1511428800","raw":"1\/2017\/11\/23\/9\/20\/0\/0"}],"Ende":[{"timestamp":"1511434200","raw":"1\/2017\/11\/23\/10\/50\/0\/0"}],"title":["Body-Mind-Language: Embodied Cognition in Natural Language"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Dagmar Gromann"],"Details":["Embodied cognition starts from the assumption that conceptual structure in our minds derives from sensorimotor experiences. Cognitive linguistics has provided compelling evidence that semantic structure in natural language reflects that conceptual structure arising from our embodied experience in the world. Thus, natural language provides an excellent source of knowledge to study embodied cognition. To capture this cognitive conceptual structure, a set of spatio-temporal building blocks called image schemas was introduced by George Lakoff and Mark Johnson. Detecting image schemas in natural language can provide further insights into how we encode embodied experiences in our communication and potentially contribute to research on conceptual understanding and symbol grounding in cognitive systems. However, due to their abstract nature and lack of formalization they are difficult to detect in language. \n\nIn this talk, I will first briefly introduce the general idea of image schemas, which has been presented to this group before by my co-author Maria Hedblom, and then proceed to machine learning techniques to extract them from multilingual text. Furthermore, I will provide a short overview on existing approaches and our ongoing work on formalizing image schemas."]},"fulltext":"Body-Mind-Language: Embodied Cognition in Natural Language","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Body-Mind-Language:_Embodied_Cognition_in_Natural_Language","namespace":0,"exists":"1","displaytitle":"Body-Mind-Language: Embodied Cognition in Natural Language"},"Bounded Treewidth and the Infinite Core Chase \u2013 Complications and Workarounds toward Decidable Querying":{"printouts":{"Start":[{"timestamp":"1698922800","raw":"1\/2023\/11\/2\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1698926400","raw":"1\/2023\/11\/2\/12\/0\/0\/0"}],"title":["Bounded Treewidth and the Infinite Core Chase \u2013 Complications and Workarounds toward Decidable Querying"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Sebastian Rudolph"],"Details":["Abstract: The core chase, a popular algorithm for answering conjunctive queries (CQs) over existential rules, is guaranteed to terminate and compute a finite universal model whenever one exists, leading to the equivalence of the universal-model-based and the chase-based definitions of finite expansion sets (fes) \u2013 a class of rulesets featuring decidable CQ entailment. In case of non-termination, however, it is non-trivial to define a \"result\" of the core chase, due to its non-monotonicity. This causes complications when dealing with advanced decidability criteria based on the existence of (universal) models of finite treewidth. For these, sufficient chase-based conditions have only been established for weaker, monotonic chase variants.\nThis paper starts out from the \u2013 desirable and prima facie plausible \u2013 conjecture that the existence of a treewidth-bounded universal model and the existence of a treewidth-bounded core-chase sequence coincide \u2013 which would conveniently entail decidable CQ entailment whenever the latter holds. Perhaps surprisingly, carefully crafted examples show that both directions of this conjectured correspondence fail. On a positive note, we are still able to define an aggregation scheme for the infinite core chase that preserves treewidth bounds and produces a finitely universal model, i.e., one that satisfies exactly the entailed CQs. This allows us to prove that the existence of a treewidth-bounded core-chase sequence *does* warrant decidability of CQ entailment (yet, on other grounds than expected). Hence, for the first time, we are able to define a chase-based notion of bounded treewidth sets of rules that subsumes fes.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Bounded Treewidth and the Infinite Core Chase \u2013 Complications and Workarounds toward Decidable Querying","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Bounded_Treewidth_and_the_Infinite_Core_Chase_%E2%80%93_Complications_and_Workarounds_toward_Decidable_Querying","namespace":0,"exists":"1","displaytitle":"Bounded Treewidth and the Infinite Core Chase \u2013 Complications and Workarounds toward Decidable Querying"},"Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting":{"printouts":{"Start":[{"timestamp":"1731582000","raw":"1\/2024\/11\/14\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1731585600","raw":"1\/2024\/11\/14\/12\/0\/0\/0"}],"title":["Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Alexander Beiser"],"Details":["Answer Set Programming (ASP) is a key paradigm for problems in artificial intelligence and industrial contexts. In ASP, problems are modeled via a set of rules. Over the time this paradigm grew into a rich language, enabling complex rule types like aggregate expressions. Most practical ASP systems follow a ground-and-solve pattern, where rule schemes are grounded and resulting rules are solved. There, the so-called grounding bottleneck may prevent from solving, due to sheer grounding sizes. Recently, body-decoupled grounding (BDG) [1] demonstrated how to reduce grounding sizes by delegating effort to solving. However, BDG provides limited interoperability with traditional grounders and only covers simple rule types. \nHybrid Grounding, which we presented at IJCAI24 [2], enables interoperability by the introduction of a novel splitting theorem that allows the free combination of BDG with traditional grounders. Further, we extended the handled rule types with aggregates.\n\nIn this talk, we will (i) provide an overview of BDG and Hybrid Grounding, along with examples demonstrating the practical benefits of Hybrid Grounding. Further, we (ii) delve into the specifics of BDG, and (iii) finally discuss how Hybrid Grounding achieves interoperability between BDG and state-of-the-art methods.\n\n[1] Viktor Besin, Markus Hecher, and Stefan Woltran. \u201eBody-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck\u201c. In: IJCAI22 (2022). \n[2] Alexander Beiser, Markus Hecher, Kaan Unalan, and Stefan Woltran. \u201eBypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting\u201c. In: IJCAI24 (2024)."]},"fulltext":"Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Bypassing_the_ASP_Bottleneck:_Hybrid_Grounding_by_Splitting_and_Rewriting","namespace":0,"exists":"1","displaytitle":"Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting"},"Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics":{"printouts":{"Start":[{"timestamp":"1573736400","raw":"1\/2019\/11\/14\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1573741800","raw":"1\/2019\/11\/14\/14\/30\/0\/0"}],"title":["Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Alisa Kovtunova"],"Details":["The emergence of intelligent systems in self-driving cars, planes, medical diagnosis, insurance and financial services among others has shown that when decisions are taken or suggested by automated systems it is essential that an explanation can be provided. The disconnect between how we make decisions and how machines make them, and the fact that machines are making more and more decisions for us, has given a new push for transparency in A.I. However, the inner workings of machine learning algorithms remain difficult to understand, and the methods of making these models explainable still require expensive human evaluation.\n\n\nOn the other hand, knowledge representation based on description logics allow for providing description of the environment, specifying constraints for the system states and detecting inconsistencies, as well as operating information from heterogeneous (possibly incomplete) data sources, and reasoning about the knowledge of an application domain. Because of the conceptual difference with machine learning algorithms, the description logics formalism is much more similar to human reasoning and can be adapted to supply the user with necessary explications for a decision made. Additionally, in order to model dynamic systems, description logics have extensions enabling additionally temporal and probabilistic reasoning.\n\nIn this talk I will outline key pillars and basic principles of (onto)logical reasoning as well as its limitations. Finally, I will say a few words about an initiative of TU Dresden and Saarland Informatics Campus developing together the concept of perspicuous computing and laying the scientific foundations for computerised systems that are able to express clearly their functioning."]},"fulltext":"Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Can_A.I._Provably_Explain_Itself%3F_A_gentle_Introduction_to_Description_Logics","namespace":0,"exists":"1","displaytitle":"Can A.I. Provably Explain Itself? A gentle Introduction to Description Logics"},"Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?":{"printouts":{"Start":[{"timestamp":"1683198000","raw":"1\/2023\/5\/4\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1683201600","raw":"1\/2023\/5\/4\/12\/0\/0\/0"}],"title":["Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Marko Tesic"],"Details":["Abstract: Explainable Artificial Intelligence provides methods for bringing in transparency into black-box artificial intelligence (AI) systems. These methods produce explanations of AI systems\u2019 predictions that are aimed at increasing the understanding of the AI systems\u2019 behavior and help us to appropriately calibrate our trust in these systems. In this talk, I will explore some of the potential undesirable effects of providing explanations of AI systems to human users and ways to mitigate such effects. I start from the observation that most AI systems capture correlations and associations in data and not causal relationships. Explanations of the AI systems\u2019 predictions would make the correlations more transparent. They would not, however, make the explained relationships causal. In four experiments, I show how providing counterfactual explanations of AI systems\u2019 predictions unjustifiably changes people\u2019s beliefs about causal relationships in the real world. I also show how we may go about preventing such a change in beliefs and hope to open doors for further exploration into psychological effects of AI explanations on human recipients.\n\nThe talk will take place virtually through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Can_AI_explanations_skew_our_causal_intuitions_about_the_world%3F_If_so,_can_we_correct_for_that%3F","namespace":0,"exists":"1","displaytitle":"Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?"},"Capturing Homomorphism-Closed Decidable Queries with Existential Rules":{"printouts":{"Start":[{"timestamp":"1638442800","raw":"1\/2021\/12\/2\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1638446400","raw":"1\/2021\/12\/2\/12\/0\/0\/0"}],"title":["Capturing Homomorphism-Closed Decidable Queries with Existential Rules"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Markus Kr\u00f6tzsch"],"Details":["Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are preserved under homomorphisms. In this paper, we show the converse: every decidable query that is closed under homomorphism can be expressed by an existential rule set for which the standard chase universally terminates. Membership in this fragment is not decidable, but we show via a diagonalization argument that this is unavoidable.\nThis work has been presented in a relatively short presentation at KR 2021. This extended talk will have room for more in-depth explanations and discussions.\n\nThe talk is via BigBlueButton, link:\nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Capturing Homomorphism-Closed Decidable Queries with Existential Rules","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Capturing_Homomorphism-Closed_Decidable_Queries_with_Existential_Rules","namespace":0,"exists":"1","displaytitle":"Capturing Homomorphism-Closed Decidable Queries with Existential Rules"},"Causality meets Configurable Systems":{"printouts":{"Start":[{"timestamp":"1651748400","raw":"1\/2022\/5\/5\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1651752000","raw":"1\/2022\/5\/5\/12\/0\/0\/0"}],"title":["Causality meets Configurable Systems"],"Raum":[{"fulltext":"Https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Clemens Dubslaff"],"Details":["Detecting and understanding reasons for defects and inadvertent behavior in computing systems is challenging due to increasing complexity of such systems. Configurability adds a further layer of complexity as the number of system variants can be exponential in the number of configuration options. Determining reasons of configuration decisions that yield an effect, e.g., ensuring quality of service, is hence a crucial and difficult task. In this talk, I will present a notion of causality at the level of configuration options and algorithms to compute such causes from (functional and non-functional) analysis results. The presented notion of causality is based on counterfactual reasoning and inspired by the seminal definition of actual causality by Halpern and Pearl. I will present various methods to explicate such reasons for effects, e.g., based on well-established notions of responsibility and blame. By means of an evaluation on a wide range of configurable software systems, including community benchmarks and real-world systems, the feasibility of this approach is demonstrated by identifying root causes, estimate the effects of configuration options, and detect feature interactions."]},"fulltext":"Causality meets Configurable Systems","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Causality_meets_Configurable_Systems","namespace":0,"exists":"1","displaytitle":"Causality meets Configurable Systems"},"Seminar 29.07.2021":{"printouts":{"Start":[{"timestamp":"1627563600","raw":"1\/2021\/7\/29\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1627569000","raw":"1\/2021\/7\/29\/14\/30\/0\/0"}],"title":["Challenges of Using Leapfrog Triejoin for Datalog Programs"],"Raum":[],"Art":["Vortrag"],"Sprecher(in)":["Philipp Hanisch"],"Details":["Datalog is a well-understood relational query language and there are efficient implementations, based on different concepts and technologies. Nevertheless, the search for faster and more efficient reasoners continues. A promising approach for further improvements is the so-called leapfrog triejoin by Veldhuizen. Leapfrog triejoin is a variable-oriented join algorithm and computes the matches of a Datalog rule as a result tree following a previously defined variable order. Leapfrog triejoin is worst-case optimal w.r.t. the AGM bound, which provides a tight bound on the maximum result size of full conjunctive queries, and empirical evaluations suggest that leapfrog triejoin is relevant in practice, too.\n\nThe focus of the current research concerning leapfrog triejoin lies on the theoretical and practical aspects of computing a single join. Implementing a Datalog reasoner based on leapfrog triejoin, however, requires to compute the consequences of a Datalog program with several rules and, thus, several joins. The main task is to find variable orders for all the joins that are both locally and globally good. We discuss challenges, which arise naturally in this setting, as well as potential approaches.\n\n\nThis talk will take place online via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-login: \n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=136288&p=07d4d73e\n\nwithout ZIH-login:\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=136288&p=788f2a1a"]},"fulltext":"Seminar 29.07.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_29.07.2021","namespace":0,"exists":"1","displaytitle":"Challenges of Using Leapfrog Triejoin for Datalog Programs"},"Characterization of the Expressivity of Existential Rule Queries":{"printouts":{"Start":[{"timestamp":"1440427800","raw":"1\/2015\/8\/24\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1440431400","raw":"1\/2015\/8\/24\/15\/50\/0\/0"}],"title":["Characterization of the Expressivity of Existential Rule Queries"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Micha\u00ebl Thomazo"],"Details":["Existential rules (also known as Datalog+\/- or tuple-generating dependencies) have been intensively studied in recent years as a prominent formalism in knowledge representation and database systems. We consider them here as a querying formalism, extending classical Datalog, the language of deductive databases. It is well known that the classes of databases recognized by (Boolean) existential rule queries are closed under homomorphisms. Also, due to the existence of a semi-decision procedure (the chase), these database classes are recursively enumerable. We show that, conversely, every homomorphism-closed recursively enumerable query can be expressed as an existential rule query, thus arriving at a precise characterization of existential rules by model-theoretic and computational properties. Although the result is very intuitive, the proof turns out to be non-trivial. This result can be seen as a very expressive counterpart of the prominent Lyndon-Los-Tarski-Theorem characterizing the homomorphism-closed fragment of first-order logic. Notably, our result does not presume the existence of any additional built-in structure on the queried data, such as a linear order on the domain, which is a typical requirement for other characterizations in the spirit of descriptive complexity.\n\n\nThis is joint work with Sebastian Rudolph."]},"fulltext":"Characterization of the Expressivity of Existential Rule Queries","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Characterization_of_the_Expressivity_of_Existential_Rule_Queries","namespace":0,"exists":"1","displaytitle":"Characterization of the Expressivity of Existential Rule Queries"},"Characterizing common argumentation semantics using branch evaluations for justification systems":{"printouts":{"Start":[{"timestamp":"1723719600","raw":"1\/2024\/8\/15\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1723723200","raw":"1\/2024\/8\/15\/12\/0\/0\/0"}],"title":["Characterizing common argumentation semantics using branch evaluations for justification systems"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Verteidigung Studienarbeit"],"Sprecher(in)":["Simon Birkenheuer"],"Details":["First introduced in 2015 by Denecker, Brewka and Strass, justification theory is formalism providing a new way of characterizing semantics for both logic programs and Dung style argumentation frameworks. Justification theory uses branch evaluation functions operating on a body of rules and an interpretation to define a set of justified facts. Fixpoints of the branch evaluation function on a given body of rules are called justified interpretations. Common semantics for argumentation frameworks can be obtained using these justified interpretations. In this work we characterize these semantics using branch evaluations with the goal of characterizing exactly the desired semantics with no additional conditions imposed on the justified interpretations.\nWe present a grounded branch evaluation yielding grounded semantics for argumentation. This grounded branch evaluation coincides with the branch evaluations providing well founded and Kripke-Kleene semantics for logic programming. Furthermore we show that for admissible, preferred and stable argumentation semantics an exact characterization in the general case is not possible."]},"fulltext":"Characterizing common argumentation semantics using branch evaluations for justification systems","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Characterizing_common_argumentation_semantics_using_branch_evaluations_for_justification_systems","namespace":0,"exists":"1","displaytitle":"Characterizing common argumentation semantics using branch evaluations for justification systems"},"Chase Termination Beyond Polynomial Time":{"printouts":{"Start":[{"timestamp":"1717066800","raw":"1\/2024\/5\/30\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1717070400","raw":"1\/2024\/5\/30\/12\/0\/0\/0"}],"title":["Chase Termination Beyond Polynomial Time"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Philipp Hanisch"],"Details":["The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds, aka. existential rules), used in data exchange, data integration, and ontology-based query answering. However, it is merely a semi-decision procedure, which may fail to terminate. Many decidable conditions have been proposed for tgds to ensure chase termination, typically by forbidding some kind of \u201ccycle\u201d in the chase process. We propose a new criterion that explicitly allows some such cycles, and yet ensures termination of the standard chase under reasonable conditions. This leads to new decidable fragments of tgds that are not only syntactically more general but also strictly more expressive than the fragments defined by prior acyclicity conditions. Indeed, while known terminating fragments are restricted to PTime data complexity, our conditions yield decidable languages for any \ud835\udc58-ExpTime. We further refine our syntactic conditions to obtain fragments of tgds for which an optimised chase procedure decides query entailment in PSpace or \ud835\udc58-ExpSpace, respectively."]},"fulltext":"Chase Termination Beyond Polynomial Time","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Chase_Termination_Beyond_Polynomial_Time","namespace":0,"exists":"1","displaytitle":"Chase Termination Beyond Polynomial Time"},"Seminar 16.09.2021":{"printouts":{"Start":[{"timestamp":"1631797200","raw":"1\/2021\/9\/16\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1631802600","raw":"1\/2021\/9\/16\/14\/30\/0\/0"}],"title":["Chase-Based Computation of Cores for Existential Rules"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Lukas Gerlach"],"Details":["The chase is a well studied sound and complete algorithm for computing universal models of knowledge bases that consist of an existential rule set and a set of facts. Since universal models can be used to solve generally undecidable reasoning tasks like BCQ entailment, it is no surprise that termination of the chase is undecidable as well. While conditions for termination and non-termination of variants like the skolem- or restricted-chase have been studied extensively, similar conditions for the core chase rarely exist. In practice, the core chase does not seem to be feasible. Still, compared to the other chase variants, the core chase not only yields a universal model but even a core, which intuitively is the smallest universal model that exists (up to isomorphism). Thus, the core chase terminates if and only if the given knowledge base has a finite universal model. In recent work, it has been shown that for rule sets that are \u201ccore-stratified\u201d, the restricted chase also yields universal models that are cores if it terminates.\nIn our work, we strengthen the existing result and proof that restricted and core chase termination exactly coincide for core-stratified rule sets. This also implies that we can use sufficient conditions for restricted chase non-termination as sufficient conditions for the non-existence of finite universal models. We also find a new fragment of existential rules for which core chase termination is decidable based on an existing result that shows decidability of restricted chase termination for the same fragment and we conjecture that this even holds for a slightly larger fragment by generalizing the so-called Fairness Theorem, which is a key part of the decidability proof. For non-core-stratified rule sets, we investigate a possible heuristic for core computation and introduce the hybrid chase as a mixture of restricted and core chase as a new chase variant equivalent to the core chase.\n\n\nThis is a diploma thesis defence. It will be given online via BigBlueButton. To access the room, use one of the following links:\n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=140092&p=6a50295d\n\nwithout ZIH-login:\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=140092&p=ea2e02f3"]},"fulltext":"Seminar 16.09.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_16.09.2021","namespace":0,"exists":"1","displaytitle":"Chase-Based Computation of Cores for Existential Rules"},"Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)":{"printouts":{"Start":[{"timestamp":"1560432600","raw":"1\/2019\/6\/13\/13\/30\/0\/0"}],"Ende":[{"timestamp":"1560434400","raw":"1\/2019\/6\/13\/14\/0\/0\/0"}],"title":["Chasing Sets: How to Use Existential Rules for Expressive Reasoning"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Irina Dragoste"],"Details":["'''Abstract:''' We propose that modern existential rule reasoners can enable fully declarative implementations of rule-based inference methods in knowledge representation, in the sense that a particular calculus is captured by a fixed set of rules that can be evaluated on varying inputs (encoded as facts). We introduce Datalog(S) \u2013 Datalog with support for sets \u2013 as a surface language for such translations, and show that it can be captured in a decidable fragment of existential rules. We then implement several known inference methods in Datalog(S), and empirically show that an existing existential rule reasoner can thus be used to solve practical reasoning problems.\n\n\nThis talk is a rehearsal for a SHORT ORAL presentation (17 minutes without questions) at DL 2019."]},"fulltext":"Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Chasing_Sets:_How_to_Use_Existential_Rules_for_Expressive_Reasoning_(Extended_Abstract)","namespace":0,"exists":"1","displaytitle":"Chasing Sets: How to Use Existential Rules for Expressive Reasoning"},"Chasing Sets: How to Use Existential Rules for Expressive Reasoning":{"printouts":{"Start":[{"timestamp":"1564664400","raw":"1\/2019\/8\/1\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1564668000","raw":"1\/2019\/8\/1\/14\/0\/0\/0"}],"title":["Chasing Sets: How to Use Existential Rules for Expressive Reasoning"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Irina Dragoste"],"Details":["Abstract: We propose that modern existential rule reasoners can enable fully declarative implementations of rule-based inference methods in knowledge representation, in the sense that a particular calculus is captured by a fixed set of rules that can be evaluated on varying inputs (encoded as facts). We introduce Datalog(S) \u2013 Datalog with support for sets \u2013 as a surface language for such translations, and show that it can be captured in a decidable fragment of existential rules. We then implement several known inference methods in Datalog(S), and empirically show that an existing existential rule reasoner can thus be used to solve practical reasoning problems.\n\n\nThis talk is a rehearsal for a presentation (15 minutes including questions) at IJCAI 2019."]},"fulltext":"Chasing Sets: How to Use Existential Rules for Expressive Reasoning","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Chasing_Sets:_How_to_Use_Existential_Rules_for_Expressive_Reasoning","namespace":0,"exists":"1","displaytitle":"Chasing Sets: How to Use Existential Rules for Expressive Reasoning"},"Checking Chase Termination over Ontologies of Existential Rules with Equality":{"printouts":{"Start":[{"timestamp":"1579784400","raw":"1\/2020\/1\/23\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1579789800","raw":"1\/2020\/1\/23\/14\/30\/0\/0"}],"title":["Checking Chase Termination over Ontologies of Existential Rules with Equality"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["David Carral"],"Details":["The chase is a sound and complete algorithm for conjunctive query answering over ontologies of existential rules with equality. To enable its effective use, we can apply acyclicity notions; that is, sufficient conditions that guarantee chase termination. Unfortunately, most of these notions have only been defined for existential rule sets without equality. A proposed solution to circumvent this issue is to treat equality as an ordinary predicate with an explicit axiomatisation. We empirically show that this solution is not efficient in practice and propose an alternative approach. More precisely, we show that, if the chase terminates for any equality axiomatisation of an ontology, then it terminates for the original ontology (which may contain equality). Therefore, one can apply existing acyclicity notions to check chase termination over an axiomatisation of an ontology and then use the original ontology for reasoning. We show that, in practice, doing so results in a more efficient reasoning procedure. Furthermore, we present equality model-faithful acyclicity, a general acyclicity notion that can be directly applied to ontologies with equality.\n\n\nThis talk is a rehearsal for AAAI 2020. \nJoint work with Jacopo Urbani."]},"fulltext":"Checking Chase Termination over Ontologies of Existential Rules with Equality","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Checking_Chase_Termination_over_Ontologies_of_Existential_Rules_with_Equality","namespace":0,"exists":"1","displaytitle":"Checking Chase Termination over Ontologies of Existential Rules with Equality"},"Chile \u2013 A Trip Report":{"printouts":{"Start":[{"timestamp":"1428936600","raw":"1\/2015\/4\/13\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1428940200","raw":"1\/2015\/4\/13\/15\/50\/0\/0"}],"title":["Chile \u2013 A Trip Report"],"Raum":[{"fulltext":"APB 3105","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3105","namespace":0,"exists":"1","displaytitle":"Raum APB 3105"}],"Art":["Vortrag"],"Sprecher(in)":["Sebastian Rudolph"],"Details":[]},"fulltext":"Chile \u2013 A Trip Report","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Chile_%E2%80%93_A_Trip_Report","namespace":0,"exists":"1","displaytitle":"Chile \u2013 A Trip Report"},"Classification of the finite polymorphism-homogeneous tournaments with loops":{"printouts":{"Start":[{"timestamp":"1535029200","raw":"1\/2018\/8\/23\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1535034600","raw":"1\/2018\/8\/23\/14\/30\/0\/0"}],"title":["Classification of the finite polymorphism-homogeneous tournaments with loops"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Thomas Feller"],"Details":["The classical notion of \"homogeneity\" plays a part in model theory. In this talk we look at a variant of this property, the so called \"polymorphism-homogeneity\", first explicitly examined by Christian and Maja Pech, by classifying the finite tournaments (loops allowed), which are polymorphism-homogeneous. For this we utilize the classification of the finite homomorphism-homogeneous tournaments with loops, done by A. Ili\u0107, D. Ma\u0161ulovi\u0107 and U. Rajkovi\u0107."]},"fulltext":"Classification of the finite polymorphism-homogeneous tournaments with loops","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Classification_of_the_finite_polymorphism-homogeneous_tournaments_with_loops","namespace":0,"exists":"1","displaytitle":"Classification of the finite polymorphism-homogeneous tournaments with loops"},"Closed-World Semantics for Conjunctive Queries with Negation over ELH bottom Ontologies":{"printouts":{"Start":[{"timestamp":"1555592400","raw":"1\/2019\/4\/18\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1555597800","raw":"1\/2019\/4\/18\/14\/30\/0\/0"}],"title":["Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Walter Forkel"],"Details":["'''Abstract:''' Ontology-mediated query answering is a popular paradigm for enriching answers to user queries with background knowledge. For querying the absence of information, however, there exist only few ontology based approaches. Moreover, these proposals conflate the closed-domain and closed-world assumption, and therefore are not suited to deal with the anonymous objects that are common in ontological reasoning. We propose a new closed-world semantics for answering conjunctive queries with negation over ontologies formulated in the description logic ELH-bottom, which is based on the minimal canonical model. We propose a rewriting strategy for dealing with negated query atoms, which shows that query answering is possible in polynomial time in data complexity.\n\n\nThis work was awarded Best Paper at JELIA 2019: https:\/\/jelia2019.mat.unical.it\/awards."]},"fulltext":"Closed-World Semantics for Conjunctive Queries with Negation over ELH bottom Ontologies","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Closed-World_Semantics_for_Conjunctive_Queries_with_Negation_over_ELH_bottom_Ontologies","namespace":0,"exists":"1","displaytitle":"Closed-World Semantics for Conjunctive Queries with Negation over ELH_bottom Ontologies"},"Codifying Logical Fragments in ASP - A General Knowledge Base Approach":{"printouts":{"Start":[{"timestamp":"1612443600","raw":"1\/2021\/2\/4\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1612449000","raw":"1\/2021\/2\/4\/14\/30\/0\/0"}],"title":["Codifying Logical Fragments in ASP - A General Knowledge Base Approach"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Dominic Deckert"],"Details":["The study of logic fragments, their limitations and expressive properties is and has been an important field for topics such as Knowledge Representation, Model Checking and even Human Reasoning. Many different research fields have found properties for different logic fragments and drawn links between these fragments. In this project, we have aimed to build a general framework for representing these different fragments, their properties and for inferring new results from their relative expressivity. Using Answer Set Programming (ASP) for its useful computational properties, we have implemented this knowledge base and provide ways to query it or find explanations for any inferred results.\n\nThis talk will be a project defence and takes place via BigBlueButton. To access the room, take one of the following links:\n\nwith ZIH-Login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=79924&p=e5e8bd36\n\nwithout ZIH-Login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=79924&p=e66e7dfe"]},"fulltext":"Codifying Logical Fragments in ASP - A General Knowledge Base Approach","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Codifying_Logical_Fragments_in_ASP_-_A_General_Knowledge_Base_Approach","namespace":0,"exists":"1","displaytitle":"Codifying Logical Fragments in ASP - A General Knowledge Base Approach"},"Communication with Automata":{"printouts":{"Start":[{"timestamp":"1652958000","raw":"1\/2022\/5\/19\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1652961600","raw":"1\/2022\/5\/19\/12\/0\/0\/0"}],"title":["Communication with Automata"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Stephan Mennicke"],"Details":["In this talk I will give an overview on the basic notions of Petri nets, in order to derive two results and their proofs. The selection of the particular results is (1) a personal choice (because I like them) and (2) taught in the course \"Models of Concurrent Systems\" (apparently also known as \"Concurrency Theory\") this semester.\n\nThe talk is online, \nLink: https:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Communication with Automata","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Communication_with_Automata","namespace":0,"exists":"1","displaytitle":"Communication with Automata"},"Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic":{"printouts":{"Start":[{"timestamp":"1537448400","raw":"1\/2018\/9\/20\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1537453800","raw":"1\/2018\/9\/20\/14\/30\/0\/0"}],"title":["Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Benjamin Zarrie\u00df"],"Details":["Integrating probabilistic notions of uncertainty into languages for reasoning about actions is a popular approach to adequately deal for instance with possibly fallible acting and sensing. In this talk, an action language extended with quantitative notions of uncertainty is considered. In our setting, the initial beliefs of an agent are represented as a probabilistic knowledge base with axioms formulated in the Description Logic ALCO. Action descriptions describe the possibly context-sensitive and nondeterministic effects of actions and provide likelihood distributions over the different possible outcomes. A decidability result for the probabilistic projection problem, which is the basic reasoning task needed for predicting the outcome of action sequences, is presented. Furthermore, I will talk about the problem of how the nondeterminism in the action model affects the complexity of the projection problem."]},"fulltext":"Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Complexity_of_Projection_with_Stochastic_Actions_in_a_Probabilistic_Description_Logic","namespace":0,"exists":"1","displaytitle":"Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic"},"Compositional Matrix-Space Models: Learning Methods and Evaluation":{"printouts":{"Start":[{"timestamp":"1590670800","raw":"1\/2020\/5\/28\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1590676200","raw":"1\/2020\/5\/28\/14\/30\/0\/0"}],"title":["Compositional Matrix-Space Models: Learning Methods and Evaluation"],"Raum":[{"fulltext":"Digital","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Digital","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Shima Asaadi"],"Details":["There has been a lot of research on machine-readable representations of words for natural\nlanguage processing (NLP). One mainstream paradigm for the word meaning representation\ncomprises vector-space models obtained from the distributional information of words in\nthe text. Machine learning techniques have been proposed to produce such word representations\nfor computational linguistic tasks. Moreover, the representation of multi-word\nstructures, such as phrases, in vector space can arguably be achieved by composing the distributional\nrepresentation of the constituent words. To this end, mathematical operations have\nbeen introduced as composition methods in vector space. An alternative approach to word\nrepresentation and semantic compositionality in natural language has been compositional\nmatrix-space models. In this thesis, two research directions are considered. In the first,\nconsidering compositional matrix-space models, we explore word meaning representations\nand semantic composition of multi-word structures in matrix space. The main motivation\nfor working on these models is that they have shown superiority over vector-space models\nregarding several properties. The most important property is that the composition operation\nin matrix-space models can be defined as standard matrix multiplication; in contrast to\ncommon vector space composition operations, this is sensitive to word order in language. We\ndesign and develop machine learning techniques that induce continuous and numeric representations\nof natural language in matrix space. The main goal in introducing representation\nmodels is enabling NLP systems to understand natural language to solve multiple related\ntasks. Therefore, first, different supervised machine learning approaches to train word\nmeaning representations and capture the compositionality of multi-word structures using\nthe matrix multiplication of words are proposed. The performance of matrix representation\nmodels learned by machine learning techniques is investigated in solving two NLP tasks,\nnamely, sentiment analysis and compositionality detection. Then, learning techniques for\nlearning matrix-space models are proposed that introduce generic task-agnostic representation\nmodels, also called word matrix embeddings. In these techniques, word matrices are\ntrained using the distributional information of words in a given text corpus. We show the\neffectiveness of these models in the compositional representation of multi-word structures in\nnatural language.\nThe second research direction in this thesis explores effective approaches for evaluating\nthe capability of semantic composition methods in capturing the meaning representation of\ncompositional multi-word structures, such as phrases. A common evaluation approach is\nexamining the ability of the methods in capturing the semantic relatedness between linguistic\nunits. The underlying assumption is that the more accurately a method of semantic composition\ncan determine the representation of a phrase, the more accurately it can determine the\nrelatedness of that phrase with other phrases. To apply the semantic relatedness approach,\ngold standard datasets have been introduced. In this thesis, we identify the limitations of\nthe existing datasets and develop a new gold standard semantic relatedness dataset, which\naddresses the issues of the existing datasets. The proposed dataset allows us to evaluate\nmeaning composition in vector- and matrix-space models.\n\nThe presentation will take 45 minutes without questions. Afterwards there will be Q&A.\nThis talk will be held digitally. If there is any interest in attending, please write an e-mail to thomas.feller@tu-dresden.de."]},"fulltext":"Compositional Matrix-Space Models: Learning Methods and Evaluation","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Compositional_Matrix-Space_Models:_Learning_Methods_and_Evaluation","namespace":0,"exists":"1","displaytitle":"Compositional Matrix-Space Models: Learning Methods and Evaluation"},"Computability and Complexity of (Iterated) Belief Revision":{"printouts":{"Start":[{"timestamp":"1664978400","raw":"1\/2022\/10\/5\/14\/0\/0\/0"}],"Ende":[{"timestamp":"1664982000","raw":"1\/2022\/10\/5\/15\/0\/0\/0"}],"title":["Computability and Complexity of (Iterated) Belief Revision"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Kai Sauerwald"],"Details":["Belief revision denotes the process of the incorporation of new information while maintaining consistency whenever possible. In this talk, at first, we consider some known complexity results for belief revision. Second, we consider the recent insight that the typical framework for iterated belief revision is computationally universal."]},"fulltext":"Computability and Complexity of (Iterated) Belief Revision","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Computability_and_Complexity_of_(Iterated)_Belief_Revision","namespace":0,"exists":"1","displaytitle":"Computability and Complexity of (Iterated) Belief Revision"},"Computing Generalizations of Temporal EL Concepts with Next and Global":{"printouts":{"Start":[{"timestamp":"1649934000","raw":"1\/2022\/4\/14\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1649937600","raw":"1\/2022\/4\/14\/12\/0\/0\/0"}],"title":["Computing Generalizations of Temporal EL Concepts with Next and Global"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Satyadharma Tirtarasa"],"Details":["In ontology-based applications, the authoring of complex concepts or queries written in a description logic (DL) is a difficult task. An established approach to generate complex expressions from examples provided a user, is the bottom-up approach. This approach employs two inferences: the most specific concept (MSC), which generalizes an ABox individual into a concept and the least common subsumer (LCS), which generalizes a collection of concepts into a single concept. In ontology-based situation recognition the situation to be recognized is formalized by a DL query using temporal operators and that is to answered over a sequence of ABoxes. Now, while the bottom-up approach is well-investigated for the DL EL, there are so far no methods for temporalized DLs. We consider here the temporalized DL that extends the DL EL with the LTL operators next (X) and global (G) and we present an approach that extends the LCS and the MSC to the temporalized setting."]},"fulltext":"Computing Generalizations of Temporal EL Concepts with Next and Global","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Computing_Generalizations_of_Temporal_EL_Concepts_with_Next_and_Global","namespace":0,"exists":"1","displaytitle":"Computing Generalizations of Temporal EL Concepts with Next and Global"},"Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis":{"printouts":{"Start":[{"timestamp":"1466002200","raw":"1\/2016\/6\/15\/14\/50\/0\/0"}],"Ende":[{"timestamp":"1466005800","raw":"1\/2016\/6\/15\/15\/50\/0\/0"}],"title":["Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Diana Troanc\u0103"],"Details":["Formal concept analysis (FCA) is the core of Conceptual Knowledge Processing, being closely related to a deeper understanding of existing facts and relationships, while at the same time trying to find explanations for their existence. Polyadic formal concept analysis is an extension of classical FCA that instead of binary relations uses an n-ary incidence relation to define formal concepts, i.e. data clusters in which all elements are interrelated. In this thesis, we introduce new methods of visualization, navigation and exploration based on polyadic formal concept analysis for n-adic datasets with n = 3. In the first part, we introduce a triadic approach to study the Web usage behavior of an e-learning platform. We analyze temporal aspects of the users' behavior and visualize the results in a circular layout using the Circos tool. In the subsequent chapter, we define methods to reduce the size of a triadic dataset without altering its underlying structure. For this purpose, we extend the notions of clarification and reduction from the dyadic to the triadic setting and show that these processes have an influence solely on the efficiency and not on the results of any further analysis. Next, we introduce a navigation paradigm based on a reachability relation among formal concepts. This relation gives rise to so-called reachability clusters containing mutually reachable concepts. We discuss theoretical aspects about the properties of the formal concepts arising from the defined reachability relation and describe the framework of the proposed navigation paradigm. Subsequently, we consider the problem of satisfiability of membership constraints in order to determine if a formal concept exists whose components include and exclude certain elements. We analyze the computational complexity of this problem for particular cases as well as for the general n-adic problem and present an answer set programming encoding for the membership constraint satisfaction problem. Next, we propose a navigation paradigm based on membership constraints and implement it for the dyadic, triadic and tetradic case using different strategies, one based on the proposed ASP encoding and one using an exhaustive search in the whole concept set, precomputed with an external FCA tool. We evaluate and compare the implementations and discuss the limitations and the possibility of generalizations of each approach. In the final part of the thesis, we describe the achievements of our research as well as possible directions for future work."]},"fulltext":"Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Conceptual_Visualization_and_Navigation_Methods_for_Polyadic_Formal_Concept_Analysis","namespace":0,"exists":"1","displaytitle":"Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis"},"Constraint Propagation and Pebble Games":{"printouts":{"Start":[{"timestamp":"1464959700","raw":"1\/2016\/6\/3\/13\/15\/0\/0"}],"Ende":[{"timestamp":"1464963300","raw":"1\/2016\/6\/3\/14\/15\/0\/0"}],"title":["Constraint Propagation and Pebble Games"],"Raum":[{"fulltext":"WIL C115","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/WIL_C115","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Christoph Berkholz"],"Details":["A generic method for solving the constraint satisfaction problem is \"constraint propagation\" where one iteratively derives new constraints in order to shrink the search space or to detect inconsistencies in the instance. A classical and very basic algorithm in this area is the so-called k-consistency test that iteratively derives local constraints involving only k variables. In this talk I will give an introduction to this method and show that the k-consistency test is tightly connected to a simple combinatorial pebble game originally introduced in the context of finite model theory. Afterwards I will present some results on the structure and complexity of the k-consistency test that have been obtained via this pebble game in the last years."]},"fulltext":"Constraint Propagation and Pebble Games","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Constraint_Propagation_and_Pebble_Games","namespace":0,"exists":"1","displaytitle":"Constraint Propagation and Pebble Games"},"Containment of Monadic Datalog":{"printouts":{"Start":[{"timestamp":"1415107800","raw":"1\/2014\/11\/4\/13\/30\/0\/0"}],"Ende":[{"timestamp":"1415111400","raw":"1\/2014\/11\/4\/14\/30\/0\/0"}],"title":["Containment of Monadic Datalog"],"Raum":[{"fulltext":"APB 0005","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_0005","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Pierre Bourhis"],"Details":["We reconsider the problem of containment of monadic datalog (MDL) queries in unions of conjunctive queries (UCQs). Prior work has dealt with special cases, but has left the precise complexity characterization open. We begin by establishing a 2EXPTIME lower bound on the MDL\/UCQ containment problem, resolving an open problem from the early 90\u2019s. We then present a general approach for getting tighter bounds on the complexity, based on analysis of the number of mappings of queries into tree-like instances. We use the machinery to present an important case of the MDL\/UCQ containment problem that is in co-NEXPTIME, and a case that is in EXPTIME. We then show that the technique can be used to get a new tight upper bound for containment of tree automata in UCQs. We show that the new MDL\/UCQ upper bounds are tight."]},"fulltext":"Containment of Monadic Datalog","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Containment_of_Monadic_Datalog","namespace":0,"exists":"1","displaytitle":"Containment of Monadic Datalog"},"Context Reasoning for Role-Based Models":{"printouts":{"Start":[{"timestamp":"1509095700","raw":"1\/2017\/10\/27\/9\/15\/0\/0"}],"Ende":[{"timestamp":"1509099300","raw":"1\/2017\/10\/27\/10\/15\/0\/0"}],"title":["Context Reasoning for Role-Based Models"],"Raum":[{"fulltext":"APB 1004","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_1004","namespace":0,"exists":"1","displaytitle":"Raum APB 1004"}],"Art":["Vortrag"],"Sprecher(in)":["Stephan B\u00f6hme"],"Details":["Nowadays, we are literally everywhere surrounded by software systems. These should cope with very complex scenarios including the ability of context-awareness and self-adaptability. The concept of roles provide the means to model such complex, context-dependent systems. In role-based systems, the relational and context-dependent properties of objects are transferred into the roles that the object plays in a certain context. However, even if the domain can be expressed in a well-structured and modular way, role-based models can still be hard to comprehend due to the sophisticated semantics of roles, contexts and different constraints. Hence, unintended implications or inconsistencies may be overlooked. A feasible logical formalism is required here. In this setting Description Logics (DLs) fit very well as a starting point for further considerations since as a decidable fragment of first-order logic they have both an underlying formal semantics and decidable reasoning problems. DLs are a well-understood family of knowledge representation formalisms which allow to represent application domains in a well-structured way by DL-concepts, i.e. unary predicates, and DL-roles, i.e. binary predicates. However, classical DLs lack expressive power to formalise contextual knowledge which is crucial for formalising role-based systems. We investigate a novel family of contextualised description logics that is capable of expressing contextual knowledge and preserves decidability even in the presence of rigid DL-roles, i.e. relational structures that are context-independent. For these contextualised description logics we thoroughly analyse the complexity of the consistency problem. Furthermore, we present a mapping algorithm that allows for an automated translation from a formal role-based model, namely a Compartment Role Object Model (CROM), into a contextualised DL ontology. We prove the semantical correctness and provide ideas how features extending CROM can be expressed in our contextualised DLs. As final step for a completely automated analysis of role-based models, we investigate a practical reasoning algorithm and implement the first reasoner that can process contextual ontologies."]},"fulltext":"Context Reasoning for Role-Based Models","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Context_Reasoning_for_Role-Based_Models","namespace":0,"exists":"1","displaytitle":"Context Reasoning for Role-Based Models"},"Cyclic Proof Theory":{"printouts":{"Start":[{"timestamp":"1729767600","raw":"1\/2024\/10\/24\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1729771200","raw":"1\/2024\/10\/24\/12\/0\/0\/0"}],"title":["Cyclic Proof Theory"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Bahareh Afshari (University of Gothenburg)"],"Details":["Proofs are a central tool in mathematics and a core concept in the study of formal reasoning. Traditionally, a proof is conceived as a finite object which is used to certify the correctness of our mathematical structures and their properties. Less common are so called cyclic proofs which, although infinitary, exhibit periodic patterns. Cyclic proof systems have proven to be a remarkably useful alternative in the mathematical study of computational systems, particularly in connection with algorithms, databases and programs. In this talk we will introduce cyclic proofs and study the extent to which these classes of proofs lend themselves to traditional proof theoretic techniques."]},"fulltext":"Cyclic Proof Theory","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Cyclic_Proof_Theory","namespace":0,"exists":"1","displaytitle":"Cyclic Proof Theory"},"Data Complexity in Expressive Description Logics With Path Expressions":{"printouts":{"Start":[{"timestamp":"1718276400","raw":"1\/2024\/6\/13\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1718280000","raw":"1\/2024\/6\/13\/12\/0\/0\/0"}],"title":["Data Complexity in Expressive Description Logics With Path Expressions"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Bartosz Bednarczyk"],"Details":["In my recent IJCAI paper I established NP-completeness of the satisfiability problem (w.r.t. the data complexity) of the maximal known decidable fragments ZIQ, ZOQ, and ZOI of the very description logic ZOIQ (a.k.a. ALCHb^self_regOIQ).\nThe proof uniformly deals with these three logics, by considering the DL ZOIQ but over forest-like structures dubbed quasi-forests.\nDuring the talk, I will give a high-level overview of the proof, and discuss its main ingredients and challenges.\n\nhttps:\/\/bbb.tu-dresden.de\/rooms\/n5w-ghp-qoq-kts\/join"]},"fulltext":"Data Complexity in Expressive Description Logics With Path Expressions","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Data_Complexity_in_Expressive_Description_Logics_With_Path_Expressions","namespace":0,"exists":"1","displaytitle":"Data Complexity in Expressive Description Logics With Path Expressions"},"Data Science Use Cases for Lifestyle Banking":{"printouts":{"Start":[{"timestamp":"1556197200","raw":"1\/2019\/4\/25\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1556202600","raw":"1\/2019\/4\/25\/14\/30\/0\/0"}],"title":["Data Science Use Cases for Lifestyle Banking"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Boontawee (Meng) Suntisrivaraporn"],"Details":["Abstract:\nTraditional banking concerns itself with risk understanding, credit underwriting, cash need, liquidity, etc. Data science and machine learning have proved useful in banking businesses to mitigate risk while targeting the right customers with cash need. In this talk, we will explore a lifestyle side of banking that goes beyond the traditional realm and delves more into alternative signals to customers needs. We will see example data science use cases that have been successfully implemented in banking business at Siam Commercial Bank."]},"fulltext":"Data Science Use Cases for Lifestyle Banking","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Data_Science_Use_Cases_for_Lifestyle_Banking","namespace":0,"exists":"1","displaytitle":"Data Science Use Cases for Lifestyle Banking"},"Database-Inspired Reasoning Problems in Description Logics With Path Expressions":{"printouts":{"Start":[{"timestamp":"1685617200","raw":"1\/2023\/6\/1\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1685620800","raw":"1\/2023\/6\/1\/12\/0\/0\/0"}],"title":["Database-Inspired Reasoning Problems in Description Logics With Path Expressions"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Bartosz Bednarczyk"],"Details":["This is a status talk (i.e. pre-PHD-defense talk) for the ongoing PHD thesis of Bartosz Bednarczyk, supervised by Sebastian Rudolph (TU Dresden) and Emanuel Kiero\u0144ski (University of Wroc\u0142aw). The main goal of the thesis is to study database-inspired reasoning problems (e.g. satisfiability, query entailment or query containment problems) for the very expressive family Z of description logics.\n\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Database-Inspired Reasoning Problems in Description Logics With Path Expressions","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Database-Inspired_Reasoning_Problems_in_Description_Logics_With_Path_Expressions","namespace":0,"exists":"1","displaytitle":"Database-Inspired Reasoning Problems in Description Logics With Path Expressions"},"Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures":{"printouts":{"Start":[{"timestamp":"1685012400","raw":"1\/2023\/5\/25\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1685016000","raw":"1\/2023\/5\/25\/12\/0\/0\/0"}],"title":["Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Luisa Herrmann"],"Details":["Abstract: We propose \u03c9MSO\u22c8BAPA, an expressive logic for describing countable structures, which subsumes and transcends both Counting Monadic Second-Order Logic (CMSO) and Boolean Algebra with Presburger Arithmetic (BAPA). We show that satisfiability of \u03c9MSO\u22c8BAPA is decidable over the class of labeled infinite binary trees. This result is established by an elaborate multi-step transformation into a particular normal form, followed by the deployment of Parikh-Muller Tree Automata, a novel kind of automaton for infinite labeled binary trees, integrating and generalizing both Muller and Parikh automata while still exhibiting a decidable (in fact PSpace-complete) emptiness problem. By means of MSO-interpretations, we lift the decidability result to all tree-interpretable classes of structures, including the classes of finite\/countable structures of bounded treewidth\/cliquewidth\/partitionwidth. We observe that satisfiability over (finite or infinite) labeled trees becomes undecidable even for a rather mild extension of \u03c9MSO\u22c8BAPA.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Decidable_(Ac)counting_with_Parikh_and_Muller:_Adding_Presburger_Arithmetic_to_Monadic_Second-Order_Logic_over_Tree-Interpretable_Structures","namespace":0,"exists":"1","displaytitle":"Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures"},"Decomposation of regular languages":{"printouts":{"Start":[{"timestamp":"1489662000","raw":"1\/2017\/3\/16\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1489665600","raw":"1\/2017\/3\/16\/12\/0\/0\/0"}],"title":["Decomposition of regular languages"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Tom\u00e1\u0161 Masopust"],"Details":["I will discuss a problem how to decompose a regular language with respect to a set of alphabets and will show how to overcome undecidability by using a small trick, which leads to polynomial complexity."]},"fulltext":"Decomposation of regular languages","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Decomposation_of_regular_languages","namespace":0,"exists":"1","displaytitle":"Decomposition of regular languages"},"Deep Inference Christmas Meeting 2007":{"printouts":{"Start":[{"timestamp":"1198054800","raw":"1\/2007\/12\/19\/9\/0\/0\/0"}],"Ende":[{"timestamp":"1198080000","raw":"1\/2007\/12\/19\/16\/0\/0\/0"}],"title":["Deep Inference Christmas Meeting 2007"],"Raum":[],"Art":["Konferenz"],"Sprecher(in)":[],"Details":["The idea of this workshop is to provide an informal atmosphere for discussion on deep inference and related topics. This time, the workshop will be held in Dresden, the city where deep inference was born.\n\nPast events were held in Dresden in November 2003, in September 2004, in February 2005, in December 2005, in Lisbon in 2005, in Bath in July 2006, in Paris in December 2006, and in Palaiseau in June 2007.\n\nThis meeting comes with a goody: There will be an introductory mini-course (5 x 90min) on deep inference for the local Master's students held from Dec 17 to Dec 22 by Paola Bruscoli and Lutz Stra\u00dfburger."]},"fulltext":"Deep Inference Christmas Meeting 2007","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Deep_Inference_Christmas_Meeting_2007","namespace":0,"exists":"1","displaytitle":"Deep Inference Christmas Meeting 2007"},"Deontic Explanations via Logical Argumentation.":{"printouts":{"Start":[{"timestamp":"1686826800","raw":"1\/2023\/6\/15\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1686830400","raw":"1\/2023\/6\/15\/12\/0\/0\/0"}],"title":["Deontic Explanations via Logical Argumentation."],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Kees van Berkel"],"Details":["Abstract: In many normative reasoning contexts, one is not merely interested in knowing whether an obligation holds, but also in why it holds despite other norms to the contrary. Answers to such why questions are deontic explanations. They not only lead to a better understanding of normative reasoning, they also motivate compliance and collaboration. The importance of such explanations increases with the development of AI systems that need to comply with normative codes. The study of explanation is growing rapidly but, so far, little to no formal work has been done in the intersection of explanation and normative reasoning. What is more, existing approaches in deontic logic do not make explicit the reasons why certain obligations do and do not hold given a normative system, and are, therefore, not yet suitable for deontic explanations. In collaboration with Christian Strasser, we developed Deontic Argumentation Calculi (DAC): Sequent-style proof systems tailored to the construction of deontic explanations. DAC generate transparent arguments that provide explicit reasons why certain obligations hold and why certain norms are inapplicable. We prove that Formal Argumentation (FA) frameworks instantiated with DAC arguments are sound and complete with respect to the nonmonotonic inference relation of the class of constrained Input\/Output (I\/O) logics, a renowned formalism for defeasible reasoning with norms and their conflicts. We demonstrate how to employ DAC to generate deontic explanations using general tools from the FA literature. In particular, we use these tools to generate deontic explanations as answers to contrastive questions of the form \u201cWhy am I obliged to \u03d5, despite \u03c8?\u201d\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Deontic Explanations via Logical Argumentation.","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Deontic_Explanations_via_Logical_Argumentation.","namespace":0,"exists":"1","displaytitle":"Deontic Explanations via Logical Argumentation."},"Seminar 08.04.2021":{"printouts":{"Start":[{"timestamp":"1617886800","raw":"1\/2021\/4\/8\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1617892200","raw":"1\/2021\/4\/8\/14\/30\/0\/0"}],"title":["Detecting Non-Existence of Finite Universal Models for Existential Rules"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Lukas Gerlach"],"Details":["For reasoning over ontologies, (finite) universal models play an important role in tasks like conjunctive query answering, which is undecidable. The (restricted) chase is a sound and complete algorithm for computing (finite) universal models of ontologies featuring existential rules. Termination of the chase is undecidable and various sufficient conditions for termination and non-termination have been studied. If the chase terminates, we obtain a finite universal model. However, if the chase does not terminate, a finite universal model may still exist. In recent work, it has been shown that for certain ontologies for which the chase terminates, there exists a chase sequence that yields a universal model that is a core and therefore is the smallest universal model for the given rule set up to isomorphism. We extend this result to non-terminating chase sequences. By that, we are able to introduce a sufficient condition for the existence of an infinite universal model that is a core which in turn implies that no finite universal model exists.\n\nNote that this talk acts as a colloquium\/examination for the module INF-PM-FPG. It will take place online via BigBlueButton. To access the room, take one of the following links: \n\nwith ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/l\/link.php?m=86971&p=30896df0\n\nwithout ZIH-login:\n\nhttps:\/\/selfservice.zih.tu-dresden.de\/link.php?m=86971&p=83001746"]},"fulltext":"Seminar 08.04.2021","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Seminar_08.04.2021","namespace":0,"exists":"1","displaytitle":"Detecting Non-Existence of Finite Universal Models for Existential Rules"},"Discovering Fine-Grained Semantics in Knowledge Graph Relations":{"printouts":{"Start":[{"timestamp":"1665054000","raw":"1\/2022\/10\/6\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1665057600","raw":"1\/2022\/10\/6\/12\/0\/0\/0"}],"title":["Discovering Fine-Grained Semantics in Knowledge Graph Relations"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Nitisha Jain"],"Details":["Knowledge graphs (KGs) provide structured representation of data in the\nform of relations between different entities. The semantics of relations\nbetween words and entities are often ambiguous, where it is common to\nfind polysemous relations that represent multiple semantics based on the\ncontext. This ambiguity in relation semantics also proliferates KG\ntriples. While the guidance from custom-designed ontologies addresses\nthis issue to some extent, our analysis shows that the heterogeneity and\ncomplexity of real-world data still results in substantial relation\npolysemy within popular KGs. The correct semantic interpretation of KG\nrelations is necessary for many downstream applications such as entity\nclassification and question answering.\n\nWe present the problem of fine-grained relation discovery and a\ndata-driven method towards this task that leverages the vector\nrepresentations of the knowledge graph entities and relations available\nfrom relational learning models.\n\nWe show that by performing clustering over these vectors, our method is\nable to not only identify the polysemous relations in knowledge graphs,\nbut also discover the different semantics associated with them.\nExtensive empirical evaluation shows that fine-grained relations\ndiscovered by the proposed approach lead to substantial improvement in\nthe semantics in the Yago and NELL datasets, as compared to baselines.\n\nThe talk will take place in a hybrid fashion, physically in the seminar room, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Discovering Fine-Grained Semantics in Knowledge Graph Relations","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Discovering_Fine-Grained_Semantics_in_Knowledge_Graph_Relations","namespace":0,"exists":"1","displaytitle":"Discovering Fine-Grained Semantics in Knowledge Graph Relations"},"Discovering Implicational Knowledge in Wikidata":{"printouts":{"Start":[{"timestamp":"1560430800","raw":"1\/2019\/6\/13\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1560432600","raw":"1\/2019\/6\/13\/13\/30\/0\/0"}],"title":["Discovering Implicational Knowledge in Wikidata"],"Raum":[{"fulltext":"APB 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_3027","namespace":0,"exists":"1","displaytitle":"Raum APB 3027"}],"Art":["Vortrag"],"Sprecher(in)":["Maximilian Marx"],"Details":["Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Among the freely available knowledge graphs, Wikidata stands out by being collaboratively edited and curated. Amidst the vast numbers of facts, complex knowledge is just waiting to be discovered, but the sheer size of Wikidata makes this infeasible for human editors. We apply Formal Concept Analysis to efficiently identify and succinctly represent comprehensible implications that are implicitly present in the data. As a first step, we describe a systematic process to extract conceptual knowledge from Wikidata's complex data model, thus providing a method for obtaining large real-world data sets for FCA. We conduct experiments that show the principal feasibility of the approach, yet also illuminate some of the limitations, and give examples of interesting knowledge discovered.\n\n\nThis will be a rehearsal talk for ICFCA-2019 (20 minutes including questions)."]},"fulltext":"Discovering Implicational Knowledge in Wikidata","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Discovering_Implicational_Knowledge_in_Wikidata","namespace":0,"exists":"1","displaytitle":"Discovering Implicational Knowledge in Wikidata"},"Discrete Linear Dynamical Systems: The Introduction.":{"printouts":{"Start":[{"timestamp":"1683889200","raw":"1\/2023\/5\/12\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1683892800","raw":"1\/2023\/5\/12\/12\/0\/0\/0"}],"title":["Discrete Linear Dynamical Systems: The Introduction."],"Raum":[{"fulltext":"APB room 2026","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_2026","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Rajab Aghamov"],"Details":["Abstract: Linear Dynamical systems are a fundamental modelling paradigm in many branches of science, and have been the subject of extensive research for many decades and are of profound interest, both from a theoretical and a practical standpoint. For example, reachability problems for linear dynamical systems attract attention due to their frequent occurrence in practice and their deep and wide-ranging connections with other fascinating areas of study, such as problems on Markov chains, quantum automata. In this presentation we are going to motivate the topic, give the basic definitions and will consider some famous problems.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus\n\nPlease take a note that the seminar will be held on Friday."]},"fulltext":"Discrete Linear Dynamical Systems: The Introduction.","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Discrete_Linear_Dynamical_Systems:_The_Introduction.","namespace":0,"exists":"1","displaytitle":"Discrete Linear Dynamical Systems: The Introduction."},"Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination":{"printouts":{"Start":[{"timestamp":"1690455600","raw":"1\/2023\/7\/27\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1690459200","raw":"1\/2023\/7\/27\/12\/0\/0\/0"}],"title":["Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination"],"Raum":[{"fulltext":"APB room 3027","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/APB_room_3027","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Lukas Gerlach"],"Details":["Abstract: The disjunctive restricted chase is a sound and complete procedure for solving boolean conjunctive query entailment over knowledge bases of disjunctive existential rules. Alas, this procedure does not always terminate and checking if it does is undecidable. However, we can use acyclicity notions (sufficient conditions that imply termination) to effectively apply the chase in many real-world cases. To know if these conditions are as general as possible, we can use cyclicity notions (sufficient conditions that imply non-termination). In this paper, we discuss some issues with previously existing cyclicity notions, propose some novel notions for non-termination by dismantling the original idea, and empirically verify the generality of the new criteria.\n\nThe talk will take place in a hybrid fashion, physically in the APB room 3027, and online through the link:\nhttps:\/\/bbb.tu-dresden.de\/b\/pio-zwt-smp-aus"]},"fulltext":"Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Do_Repeat_Yourself:_Understanding_Sufficient_Conditions_for_Restricted_Chase_Non-Termination","namespace":0,"exists":"1","displaytitle":"Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination"},"Termination of the Skolem Chase on Disjunctive Existential Rules":{"printouts":{"Start":[{"timestamp":"1602162000","raw":"1\/2020\/10\/8\/13\/0\/0\/0"}],"Ende":[{"timestamp":"1602167400","raw":"1\/2020\/10\/8\/14\/30\/0\/0"}],"title":["Don\u2019t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["Lukas Gerlach"],"Details":["Disjunctive Existential Rules are a fragment of first order logic that is already expressive enough to capture many description logics. Conjunctive Query answering is an important reasoning task over such rules. Although this problem is undecidable, different variants of the chase provide sound and complete algorithms that can be used as a reasoning basis. Since it is undecidable if these algorithms terminate for a specific rule set, sufficient conditions for termination, called acyclicity notions, are introduced. We develop Disjunctive Model Faithful Acyclicity (DMFA) as a novel acyclicity notion for the disjunctive skolem chase variant by using ideas from Model Faithful Acyclicity (MFA) for the non-disjunctive skolem chase and Restricted Model Faithful Acyclicity (RMFA) for the restricted chase. Our research shows that our notion captures MFA and is able give a better approximation for termination on disjunctive existential rules. Acyclicity notions for the restricted chase like RMFA still capture DMFA but these notions are not sound for the disjunctive skolem chase. Our results encourage the use of the disjunctive skolem chase in practical applications, which is implementable using well optimized ASP solvers.\n\n\nThis talk is a defence of the speakers \"Gro\u00dfer Beleg\".\nFurthermore it will be held online and take approximately 45 minutes which consist of an uninterrupted talk and a following question and answers part. If there is any interest in attending, please send an e-mail to thomas.feller@tu-dresden.de."]},"fulltext":"Termination of the Skolem Chase on Disjunctive Existential Rules","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Termination_of_the_Skolem_Chase_on_Disjunctive_Existential_Rules","namespace":0,"exists":"1","displaytitle":"Don\u2019t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules"},"Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration":{"printouts":{"Start":[{"timestamp":"1643281200","raw":"1\/2022\/1\/27\/11\/0\/0\/0"}],"Ende":[{"timestamp":"1643284800","raw":"1\/2022\/1\/27\/12\/0\/0\/0"}],"title":["Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration"],"Raum":[{"fulltext":"Online","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Online","namespace":0,"exists":"","displaytitle":""}],"Art":["Vortrag"],"Sprecher(in)":["D\u00f6rthe Arndt"],"Details":["e-Government applications have hard-coded and non-personalized user journeys with high maintenance costs to keep up with, e.g., changing legislation. Automatic administrative workflows are needed. We present the OSLO-steps vocabulary and the workflow composer: combined, they are a means to create cross-organizational interoperable user journeys, adapted to the user's needs. We identify the requirements for automating administrative workflows and present an architecture and its implemented components. By using Linked Data principles to decentrally describe independent steps using states as pre- and postconditions, and composing workflows on-the-fly whilst matching a user's state to those preconditions, we automatically generate next steps to reach the user's goal. The validated solution shows its feasibility, and the upcoming interest around interoperable personal data pods (e.g., via Solid) can further increase its potential.\nThe talk is about this paper: https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460210.3493559?casa_token=fT0Z86qmc-wAAAAA:bp0nt6XO3jXbZmFewjEWK5UlBvmzQv5xch8QAC_PTnz6LVQYGOQ7TSO-jEwxVehYA7eshdZc1wT-\n\nthe talk is online, link: \nhttps:\/\/bbb.tu-dresden.de\/b\/ali-zgz-l8d-52n"]},"fulltext":"Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Dynamic_Workflow_Composition_with_OSLO-steps:_Data_Re-use_and_Simplification_of_Automated_Administration","namespace":0,"exists":"1","displaytitle":"Dynamic Workflow Composition with OSLO-steps: Data Re-use and Simplification of Automated Administration"},"EMCL Student Workshop 2017":{"printouts":{"Start":[{"timestamp":"1487685600","raw":"1\/2017\/2\/21\/14\/0\/0\/0"}],"Ende":[{"timestamp":"1487851200","raw":"1\/2017\/2\/23\/12\/0\/0\/0"}],"title":["EMCL Student Workshop 2017"],"Raum":[{"fulltext":"Lisbon","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/Lisbon","namespace":0,"exists":"","displaytitle":""}],"Art":["sonstige Veranstaltung"],"Sprecher(in)":[],"Details":["The European Master Program in Computational Logic Student Workshop is an annual event that brings together students, alumni and professors from the four partner Universities. This year, the EMCL Student Workshop is taking place at the University NOVA in Lisbon, Portugal on the 21th and 22th of February 2017.\n\nAll EMCL and MCL students are invited to participate in the workshop. The workshop gives a perfect opportunity for the first year students to get direct information about the ongoing research at the partner universities, which should help them with their decision on where to spend the second year of the studies. As for the students of the second year, it provides a chance to present their current project or thesis work.\n\nFurther details: http:\/\/emclws.ssdi.di.fct.unl.pt\/workshop\/"]},"fulltext":"EMCL Student Workshop 2017","fullurl":"\/\/iccl.inf.tu-dresden.de\/web\/EMCL_Student_Workshop_2017","namespace":0,"exists":"1","displaytitle":"EMCL Student Workshop 2017"}},"serializer":"SMW\\Serializers\\QueryResultSerializer","version":2,"meta":{"hash":"1af3e0a504d7787eb5f6a99ac65499b2","count":100,"offset":0,"source":"","time":"0.047295"}},"ask":{"conditions":"[[Kategorie:Veranstaltung]] [[Start::+]]","parameters":{"limit":100,"offset":0,"sortkeys":{"":"ASC"},"mainlabel":"","querymode":1,"format":"eventcalendar","source":"","link":"subject","headers":"show","intro":"","outro":"","searchlabel":"\u2026 weitere Ergebnisse","default":"","import-annotation":false,"defaultview":"month","views":"month,basicWeek,agendaDay","firstday":"Monday","start":"current","legend":"none","dayview":false,"class":"","theme":"basic","clicktarget":"none","includeend":true},"printouts":["?Start","?Ende","?Titel DE=title","?Raum","?Veranstaltungsart=Art","?Vortragender=Sprecher(in)","?Beschreibung DE=Details"]}},"version":"0.8.0"}

	20. Januar 2025:	ICCL Forschende tragen zur Lean-Standardbibliothek bei
	20. November 2024:	Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24
	5. November 2024:	Best Paper Award für Nemo
	1. Juli 2024:	CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf im akademischen Umfeld von ICCL-Forscherin Luisa Herrmann
	13. Juni 2024:	Markus Krötzsch erhält den Lehrpreis 2024

Neuigkeiten und Termine

Neuigkeiten und Termine

Aktuelle Neuigkeiten

Veranstaltungskalender