F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
191	WELCOME! to the AAAI-10 Tutorial Rules on the Semantic Web: Advances in Knowledge Representation and Standards presented by Benjamin Grosof; also authored by Mike Dean* and Michael Kifer* Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-17 11:32:40** Science Knowledge representation Information science Knowledge engineering F-logic Rule Interchange Format Cyc Knowledge representation and reasoning Web Ontology Language Semantic Web Information Ontology
192	A Linked Data reasoner in the Cloud Jules Chevalier LT2C, T´el´ecom Saint-Etienne, Universit´e Jean Monnet, 10 rue Tr´efilerie, F-4200 France http://portail.univ-st-etienne.fr Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Semantic Web Reasoning Parallel computing Distributed computing architecture MapReduce Semantic reasoner Description logic Apache Hadoop Cloud computing Computing Concurrent computing Science
193	Indefinites Adrian Brasoveanu, Donka F. Farkas · UC Santa Cruz · abrsvn, 0.1 Introduction Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-29 14:26:28 Predicate logic Semantics Ontology Quantification Donkey sentence Singular they Definite description Determiner First-order logic Logic Linguistics Syntax
194	Portland Observer, Portland VIC 17 Feb 2014 General News, pagecm² Regional - circulation 3,409 (M-W-F--) Copyright Agency licensed copy (www.copyright.com.au) Add to Reading List Source URL: www.greaterhealth.org Language: English - Date: 2014-02-23 19:08:47 Virtual reality Electronics Operations research Simulation Logic simulation
195	;; logic #t #f (and _expr.._) ;short circuit (or _expr.._) ;short circuit (not _expr_) Add to Reading List Source URL: ra3s.com Language: English Scheme Procedural programming languages Data types Cross-platform software String C Hygienic macro Main function Software engineering Computing Programming language theory
196	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
197	;; logic #t #f (and {expr..}) ;short circuit (or {expr..}) ;short circuit (not {expr}) ;; characters Add to Reading List Source URL: ra3s.com Language: English - Date: 2012-01-03 21:13:57 Software Expr Constructor Perl Formal languages Parsing Computing Scheme Unix
198	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
199	Property Persistence in the Situation Calculus 1, Ryan F. Kelly, Adrian R. Pearce ∗ Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2010-05-10 17:55:34 Model theory Logic programming Predicate logic Situation calculus Structure Mereology Mathematical logic Logic Mathematics
200	Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-01-05 02:35:40 Logic programming Knowledge representation Predicate logic Logic in computer science Situation calculus Model theory Frame problem Fluent Function Mathematical logic Logic Mathematics

UPDATE