F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
161	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-04-08 13:10:58 Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
162	f-calculi and the theory of fexprs John N. Shutt WPI October 2007 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2007-10-17 10:31:46 Type theory Computability theory Lambda calculus Fexpr Calculus Typed lambda calculus Type constructor Theoretical computer science Mathematical logic Applied mathematics
163	PDF Document Add to Reading List Source URL: www.f-response.com Language: English - Date: 2013-03-17 16:26:09 VMware Software distribution Virtual appliance Software protection dongle Universal Serial Bus X Window System Pano Logic Software System software Virtual machines
164	On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:44:38 Formal languages Model theory Propositional calculus Logic programming Interpretation Principia Mathematica Belief revision First-order logic Constructible universe Logic Mathematics Mathematical logic
165	The SILK System: Scalable Higher-Order Defeasible Rules Benjamin Grosof1 , Mike Dean2 , and Michael Kifer3 1 Vulcan Inc., Seattle, Washington, USA, Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2009-09-11 18:29:06 Information science Knowledge representation Reasoning Knowledge engineering Rule Interchange Format Semantic reasoner Ontoprise GmbH F-logic Web Ontology Language Semantic Web Science Knowledge
166	WELCOME! to the ISWC-2010 Tutorial Web Rules: Fundamentals, Applications, and Standards presented by Benjamin Grosof* and Mike Dean ; Add to Reading List Source URL: www.mit.edu Language: English - Date: 2010-11-04 18:29:53** Science Knowledge representation Information science Knowledge engineering F-logic Rule Interchange Format Cyc Knowledge representation and reasoning Web Ontology Language Semantic Web Information Ontology
167	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
168	The SILK System: Scalable and Expressive Semantic Rules Benjamin Grosof Mike Dean Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2009-09-11 18:28:27 Information science Knowledge representation Reasoning Knowledge engineering Rule Interchange Format F-logic Semantic reasoner Ontoprise GmbH Web Ontology Language Semantic Web Science Knowledge
169	Cybernetics and Human Knowing. Vol. 21, no. 4, p. 3 Intentionally Left Blank Catani, F. HClouds #16. Digital photomontage; 44 x 33 in. Add to Reading List Source URL: www.chkjournal.org Language: English - Date: 2014-12-06 10:39:25 Logic Mathematical logic Algebra Boolean algebra Laws of Form Stuart Umpleby Photomontage Aesthetics Cybernetics Science Mathematics Academia
170	-1- Pascal-F Verifier User’s Manual Version 2 Add to Reading List Source URL: www.animats.com Language: English - Date: 2009-05-29 19:02:14 Formal methods NP The Verifier Formal verification IP Assertion Theoretical computer science Applied mathematics Logic in computer science

UPDATE