Category:Topic first-order logic
From semanticweb.org
[edit] Short Definition
This topic is about First-Order Logics, a sub-topic of Logics.
First-order logic is a part of the Semantic Web Topic Hierarchy. It was introduced in version 1 as described in History of the Semantic Web Topic Hierarchy.
[edit] More External Information about First-order 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 First-order 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
Pages in category "Topic first-order logic"
This category contains only the following page.
