Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
131	First Announcement and Call for Papers Workshop on Applications of Jess, the Java Expert System Shell July 6-7, 2001 – Setúbal, Portugal Add to Reading List Source URL: www.iceis.org Language: English - Date: 2010-05-25 05:43:58 Computing Expert systems Multi-agent systems Jess Ontology Semantic reasoner Agent-based model Artificial intelligence Rule engines Science
132	SAIL-architecture-more-detailled.ppt Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-05-10 20:27:00 Tbox Geographic information system Semantic reasoner Layer Ontology Abox Information
133	Open Research Online The Open University’s repository of research publications and other research outputs Automating generation of textual class definitions from OWL to English Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2013-04-28 21:08:56 Science Knowledge engineering Knowledge representation Technical communication Web Ontology Language OBO Foundry Formal ontology Semantic reasoner Type theory Ontology Semantic Web Information
134	A Tableau-based Federated Reasoning Algorithm for Modular Ontologies∗ Jie Bao1 , Doina Caragea2 , Vasant Honavar1 Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-10-01 15:20:57 Semantic Web Knowledge engineering Knowledge representation Information science Abox Semantic reasoner Tbox Description logic Ontology Information Science
135	EDITORIAL BACKGROUNDER Contact: Tammy Reasoner[removed]cell) [removed] Add to Reading List Source URL: learningthroughart.com Language: English - Date: 2012-06-06 13:41:01 Geography of the United States Cincinnati Fountain square Ohio
136	Towards Expressive Stream Reasoning Heiner Stuckenschmidt1 , Stefano Ceri2 , Emanuele Della Valle2 , Frank van Harmelen3 1 University of Mannheim Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-05-18 04:52:29 Reasoning Science RDF Web services Information science Semantic reasoner SPARQL Semantic Sensor Web Description logic Computing Semantic Web Information
137	A paradox related to the Turing Test Samuel A. Alexander∗ Department of Mathematics, the Ohio State University Published in The Reasoner vol. 5, issue 6, p. 90. I will describe a paradox which arises assuming it is pos Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2012-07-26 20:25:00 Computer science Alan Turing Formal methods Models of computation Computable function Turing machine Computability Turing test Computable number Computability theory Theoretical computer science Theory of computation
138	This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2013-06-28 11:56:13 Diagonal lemma Peano axioms Function Well-formed formula Symbol Constructible universe Non-standard model of arithmetic Interpretation Mathematics Logic Mathematical logic
139	An Evolvable Tri-Reasoner IVHM System 1 In Alphabetic Order: Les Atlas (University of Washington), George Bloor (Boeing2 ), Tom Brotherton (IAC), Larry Howard (Institute for Software Integrated Systems), Link Jaw (Scient Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-18 13:25:20 Survival analysis Systems engineering Reasoning Maintenance Prediction Prognostics Semantic reasoner Reliability engineering On-board diagnostics Artificial intelligence Science Knowledge
140	Opening, Closing Worlds — On Integrity Constraints Evren Sirin1 , Michael Smith1 , Evan Wallace2 1 2 Add to Reading List Source URL: clarkparsia.com Language: English - Date: 2008-08-19 09:39:37 Ontology Information science Knowledge Technical communication Knowledge representation Web Ontology Language Description logic Ontology engineering Semantic reasoner Semantic Web Information Science

UPDATE