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

• DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND  + (11:45:49, 26 October 2021)
• A Uniform Account of Realizability in Abstract Argumentation  + (11:45:50, 26 October 2021)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (11:45:51, 26 October 2021)
• Defeasible AceRules: A Prototype  + (11:45:52, 26 October 2021)
• A Language for Default Reasoning about Actions  + (11:45:56, 26 October 2021)
• Default Reasoning about Actions  + (11:45:57, 26 October 2021)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (11:46:00, 26 October 2021)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (11:46:02, 26 October 2021)
• Open Problems in Abstract Argumentation  + (11:46:03, 26 October 2021)
• A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence  + (11:46:04, 26 October 2021)
• Summary Report of The First International Competition on Computational Models of Argumentation  + (11:46:05, 26 October 2021)
• Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning  + (11:46:06, 26 October 2021)
• RFuzzy Framework  + (11:46:09, 26 October 2021)
• Defaults in Action: Non-monotonic Reasoning About States in Action Calculi  + (11:46:10, 26 October 2021)
• RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming  + (11:46:11, 26 October 2021)
• A General First-Order Solution to the Ramification Problem  + (11:46:11, 26 October 2021)
• Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions  + (11:46:12, 26 October 2021)
• Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions  + (11:46:13, 26 October 2021)
• How to Plan When Being Deliberately Misled  + (11:46:13, 26 October 2021)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (11:46:14, 26 October 2021)
• Declarative Strategies for Agents with Incomplete Knowledge  + (11:46:14, 26 October 2021)
• Instantiating Knowledge Bases in Abstract Dialectical Frameworks  + (11:46:15, 26 October 2021)
• The DIAMOND System for Argumentation: Preliminary Report  + (11:46:16, 26 October 2021)
• On the Maximal and Average Numbers of Stable Extensions  + (11:46:17, 26 October 2021)
• Compact Argumentation Frameworks  + (11:46:18, 26 October 2021)

• Implementing Default and Autoepistemic Logics via the Logic of GK  + (11:46:19, 26 October 2021)

• On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks  + (11:46:20, 26 October 2021)
• Representational Succinctness of Abstract Dialectical Frameworks  + (11:46:20, 26 October 2021)
• Characterizing Realizability in Abstract Argumentation  + (11:46:21, 26 October 2021)
• On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation  + (11:46:22, 26 October 2021)
• RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog  + (11:46:23, 26 October 2021)
• A general first-order solution to the ramification problem with cycles  + (11:46:24, 26 October 2021)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (11:46:25, 26 October 2021)
• Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond  + (11:46:27, 26 October 2021)
• Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory  + (11:46:28, 26 October 2021)
• Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks  + (11:46:30, 26 October 2021)
• On rejected arguments and implicit conflicts: The hidden power of argumentation semantics  + (11:46:32, 26 October 2021)
• On the Number of Bipolar Boolean Functions  + (11:46:34, 26 October 2021)
• Abstract Dialectical Frameworks. An Overview  + (11:46:35, 26 October 2021)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (11:46:37, 26 October 2021)
• Datei:CT2021-Lecture-05-overlay.pdf  + (15:53:35, 26 October 2021)
• Datei:Kg2021-exercise-02.pdf  + (16:42:32, 26 October 2021)
• Datei:Kg2021-exercise-01.pdf  + (16:44:56, 26 October 2021)
• Datei:Seminar style.tar.gz  + (12:31:45, 27 October 2021)
• Datei:KG2021-Lecture-01-overlay.pdf  + (12:44:19, 27 October 2021)
• Datei:KG2021-Lecture-02-overlay.pdf  + (12:44:29, 27 October 2021)
• Datei:KG2021-Lecture-03-overlay.pdf  + (12:44:39, 27 October 2021)
• Datei:FS2021-Vorlesung-06-overlay.pdf  + (13:34:49, 27 October 2021)
• Datei:FS2021-Vorlesung-06-print.pdf  + (13:34:58, 27 October 2021)
• Datei:Session-03-topic assignment and more.pdf  + (14:46:11, 27 October 2021)
• Datei:Blatt-03.pdf  + (07:50:46, 29 October 2021)