Knowledge Engineering Tools

&
In Adam Pease (ed.), Ontology: A Practical Guide. Articulate Software Press. pp. 171-214 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9781889455105

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards the use of automated reasoning in discourse disambiguation.Claire Gardent & Bonnie Webber - 2001 - Journal of Logic, Language and Information 10 (4):487-509.
Meta-relation and ontology closure in Conceptual Structure Theory.Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett & Minh-Quang Nguyen - 2009 - Artificial Intelligence and Law 17 (4):291-320.
A survey of requirements for automated reasoning services for bio-ontologies in OWL.M. Scott Marshall, C. Maria Keet & Marco Roos - unknown
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
The evaluation of ontologies: Toward improved semantic interoperability.Leo Obrst, Werner Ceusters, Inderjeet Mani, Steve Ray & Barry Smith - 2006 - In Chris Baker & Kei H. Cheung (eds.), Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences. Springer. pp. 139-158.
A legal case OWL ontology with an instantiation of Popov v. Hayashi.Adam Wyner & Rinke Hoekstra - 2012 - Artificial Intelligence and Law 20 (1):83-107.
Against the iterated knowledge account of high-stakes cases.Jie Gao - 2019 - Episteme 16 (1):92-107.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golinska-Pilarek - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 255--266.
Reflective Reasoning in Groups.Christina Slade - 1995 - Informal Logic 17 (2).
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.Dov M. Gabbay & Andrzej Szałas - 2007 - Studia Logica 87 (1):37-50.
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
An ontology in owl for legal case-based reasoning.Adam Wyner - 2008 - Artificial Intelligence and Law 16 (4):361-387.
Alfredo Deaño and the non-accidental transition of thought.Maria G. Navarro - 2016 - Archives for the Philosohy and History of Soft Computing (1):1-13.

Analytics

Added to PP
2017-12-04

Downloads
9 (#1,257,023)

6 months
1 (#1,475,652)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references