Category:Topic predicate logic
From semanticweb.org
[edit] Short Definition
This topic is about Predicate Logics, a sub-topic of Logics.
predicate logic is a part of the Semantic Web Topic Hierarchy. It was introduced in version 1 but was superseeded by First-Order Logics in version 2 as described in History of the Semantic Web Topic Hierarchy.
[edit] More External Information about predicate logic
- Search for Semantic Web publications using FacetedDBLP (the search is restricted to the main venues publishing about 'Semantic Web').
- Search for computer science publications using FacetedDBLP
- Search for computer science experts using ASPL-2
- Search for computer science publishing venues using ASPL-2
- Search for Semantic Web tools and applications for predicate logic
- Search for scientific publications as phrase or bag of keywords on Google Scholar
- Search as phrase or bag of keywords on Google
- Look into Wikipedia
- Search for Semantic Web educational resources on REASE
- Search the Ontology Outreach Advisory
This category currently contains no pages or media.
