Sciweavers

4617 search results - page 17 / 924
» Automation of Diagrammatic Reasoning
Sort
View
KR
2010
Springer
15 years 4 months ago
The Modular Structure of an Ontology: An Empirical Study
Bijan Parsia, Thomas Schneider 0002
KR
2010
Springer
15 years 4 months ago
Abstract Dialectical Frameworks
Gerhard Brewka, Stefan Woltran