Search by property
From International Center for Computational Logic
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
- Compact Argumentation Frameworks + (Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR))
- Implementing Default and Autoepistemic Logics via the Logic of GK + (Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR))
- On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks + (Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR))