Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

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

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

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