Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Making Use of Advances in Answer-Set Programming for Abstract Argumentation System  + (08:50:02, 14 October 2020)
• Strong Equivalence for Argumentation Semantics based on Conflict-free Sets  + (08:50:15, 14 October 2020)
• Answer-Set Programming Encodings for Argumentation Frameworks  + (08:50:28, 14 October 2020)
• ASPARTIX-D Ready for the Competition  + (08:50:41, 14 October 2020)
• ASPARTIX Conquers the Web  + (08:50:53, 14 October 2020)
• ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming  + (08:51:06, 14 October 2020)
• Fuzzy Description Logic  + (15:26:18, 15 October 2020)
• Fuzzy Description Logic  + (15:26:18, 15 October 2020)
• Introduction to Automatic Structures  + (15:33:12, 15 October 2020)
• Introduction to Automatic Structures  + (15:33:13, 15 October 2020)
• Automata and Logic  + (15:35:08, 15 October 2020)
• Automata and Logic  + (15:35:08, 15 October 2020)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (09:04:29, 16 October 2020)
• Inconsistency Values for Logic Programs under Answer Set Semantics  + (09:04:29, 16 October 2020)
• Forgetting Atoms and Arguments  + (09:06:20, 16 October 2020)
• Multi-Context Stream Reasoning  + (09:07:30, 16 October 2020)
• Foundations of Knowledge Representation  + (14:29:30, 16 October 2020)
• Introduction to Formal Concept Analysis  + (20:23:45, 19 October 2020)
• Foundations of Logic Programming  + (21:24:51, 19 October 2020)
• Forgetting Atoms and Arguments  + (12:20:44, 20 October 2020)
• Multi-Context Stream Reasoning  + (12:22:26, 20 October 2020)
• Datei:1-Introduction.mkv  + (00:06:58, 26 October 2020)
• Datei:CT-WS2020-Exercise-01.pdf  + (14:09:51, 26 October 2020)
• Attribut:Lehrveranstaltungstype  + (15:03:17, 26 October 2020)
• Formale Systeme  + (15:27:19, 26 October 2020)

• Vorlage:Vorlesungsreihe  + (15:59:11, 26 October 2020)

• Formale Systeme  + (15:59:56, 26 October 2020)
• Formale Systeme  + (15:59:56, 26 October 2020)
• Knowledge Graphs  + (16:00:40, 26 October 2020)
• Knowledge Graphs  + (16:00:40, 26 October 2020)
• Vorlage:Vorlesungsreihe/en  + (16:14:24, 26 October 2020)
• Kategorie:Vorlesungsreihe  + (16:19:44, 26 October 2020)
• Academic Skills in Computer Science  + (16:21:21, 26 October 2020)
• Academic Skills in Computer Science  + (16:21:21, 26 October 2020)
• Academic Skills in Computer Science  + (16:40:21, 26 October 2020)
• Academic Skills in Computer Science  + (16:40:33, 26 October 2020)
• Academic Skills in Computer Science  + (16:40:44, 26 October 2020)
• Complexity Theory  + (16:47:18, 26 October 2020)
• Complexity Theory  + (16:47:18, 26 October 2020)
• Database Theory  + (16:48:21, 26 October 2020)
• Database Theory  + (16:48:21, 26 October 2020)
• Database Theory  + (16:48:35, 26 October 2020)
• Knowledge Graphs  + (16:49:15, 26 October 2020)
• Database Theory  + (16:49:28, 26 October 2020)
• Complexity Theory  + (16:49:42, 26 October 2020)
• Knowledge Graphs  + (16:49:52, 26 October 2020)
• Theoretische Informatik und Logik  + (16:51:10, 26 October 2020)
• Theoretische Informatik und Logik  + (16:51:10, 26 October 2020)
• Database Theory  + (16:52:08, 26 October 2020)
• Complexity Theory  + (16:52:25, 26 October 2020)
• Formale Systeme  + (16:52:40, 26 October 2020)