| An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases
|
2018 |
Alfano, Gianvincenzo |
| If Nothing Is Accepted — Repairing Argumentation Frameworks
|
2018 |
Baumann, Ringo |
| Continuous Dynamical Systems for Weighted Bipolar Argumentation
|
2018 |
Potyka, Nico |
| Probabilistic Strength of Arguments with Structure
|
2018 |
Prakken, Henry |
| Reachability Analysis for Neural Agent-Environment Systems
|
2018 |
Akintunde, Michael E. |
| iCon: A Diagrammatic Theorem Prover for Ontologies
|
2018 |
Shams, Zohreh |
| A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework
|
2018 |
Casini, Giovanni |
| Studies in Credibility-Limited Base Revision
|
2018 |
Garapa, Marco |
| Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus
|
2018 |
Klassen, Toryn Q. |
| On Belief Promotion
|
2018 |
Schwind, Nicolas |
| Preference Aggregation with Incomplete CP-nets
|
2018 |
Haret, Adrian |
| Making Repairs in Description Logics More Gentle
|
2018 |
Baader, Franz |
| Finite Query Answering in Expressive Description Logics with Transitive Roles
|
2018 |
Gogacz, Tomasz |
| A Parameterized Complexity View on Description Logic Reasoning
|
2018 |
Haan, Ronald de |
| Query Answering for Rough EL Ontologies
|
2018 |
Peñaloza, Rafael |
| Query Expressibility and Verification in Ontology-Based Data Access
|
2018 |
Lutz, Carsten |
| Qualitative Representation and Reasoning over Direction Relations across Different Frames of Reference
|
2018 |
Hua, Hua |
| Approximating Certainty in Querying Data and Metadata
|
2018 |
Civili, Cristina |
| Changing Observations in Epistemic Temporal Logic
|
2018 |
Barrière, Aurèle |
| Introducing Temporal Stable Models for Linear Dynamic Logic
|
2018 |
Bosser, Anne-Gwenn |
Tag hinzufügen