Attribut:Beschreibung EN
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Text.
A
Answer set programming (ASP) is one of the most popular modeling languages in knowledge representation. In recent years, many integrated development environments (IDE) for ASP programs including editors and debuggers are developed. However, none of them focuses on analyzing the answer sets. With the availability of a huge number of answer sets, it is increasingly important to provide a solution to navigate them. We study and analyze the answer sets to perform the user access to specific answers. To this end, we aim at conducting and exploring different navigation approaches, such as, filtering, sort- ing, finding diverse/similar solutions, and faceted browsing. Afterward, we implement a tool performing the above approaches in order to simplify the search task. We conclude by testing the performance of the proposed tool into two different real world examples of ASP programs. +
Being agile has become a fashionable word for project management and working methods for companies in recent years.
This is synonymous with modern structures, effective organization, and working patterns.
A number of concepts such as "design thinking", "lean startup" or "scrum" are at least known by their name.
In the academic community, these ideas are not applied often and sometimes look a bit overburdening.
The aim of this presentation is to provide an overview of the agile mindset and a general introduction to the methodologies used.
We 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.
First, we address the basic question of what agility is and why we need to be agile.
Following this, we will examine the paradigms and methods used in the agile mindset.
Finally, we will look at Scrum, which is a method for carrying out complex tasks done in small agile teams.
This is particularly interesting as we typically work in small teams in the academic environment.
This is a condensed overview of the experience from a two-day skill workshop on agile methods.
The talk is online, link:
https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n +
Member in the program committee of the 23rd ACM International Conference on Information and Knowledge Management (CIKM 2014) +
Proceedings & Publicity Chair of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012) +
Guest editor of the Journal of Web Semantics Special Issue “Knowledge Graphs" +
Principal Investigator in the DFG Research Training Group "Quantitative Logics and Automata" (QuantLA) +
Editorial board of Kybernetika +
Member in the program committee of the 9th International Web Rule Symposium (RuleML 2015) +
Member in the program committee of the 31st International Conference on Logic Programming (ICLP 2015) +
Member in the program committee of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015) +
Member of the Senior Member Presentation Track program committee of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) +
President of the Open Semantic Data Association (OSDA) +
Program chair of the 38th German Conference on Artificial Intelligence (KI 2015) +
Member of the program committee of the 12th European Semantic Web Conference (ESWC 2015) +
Member of the program committee of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) +
Member of the program committee of the 13th International Semantic Web Conference (ISWC 2014) +
CL Christmas Party, December 12, 2014 +
CL Christmas Party, December 12, 2014 +
Member of the program committee of the 9th International Conference on Web Reasoning and Rule Systems (RR 2015) +
Member of the program committee of the 17th International Conference on Theory and Applications of Satisfiability Testing +
