Reasoning - PDFSEARCH.IO - Document Search Engine

Reasoning
Results: 5026

#	Item
651	Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Abstract Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Ontology Information science Semantic Web Technical communication Knowledge representation Tbox Abox Knowledge representation and reasoning Web Ontology Language Description logic Ordered geometry Concept
652	Spatial Concepts and Spatial Reasoning in the Social Sciences Donald G Janelle spatial@ucsb University of California, Santa Barbara Add to Reading List Source URL: ncgia.ucsb.edu Language: English - Date: 2015-10-21 13:07:50 Geographic data and information Geography Cartography Geostatistics Spatial analysis Geographic information system Spatial intelligence Spatial memory Location intelligence Spatial cognition Field Spatial ecology
653	Microsoft Word - IBSDM&BI.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:33 Artificial intelligence Decision theory Reasoning Information systems Knowledge engineering Intelligent decision support system Case-based reasoning Decision support system Reasoning system Informatics Ambient intelligence IDS
654	Type theory and proof assistants answers 1. λx : a → b → c. λy : b. λz : a. xzy (This term corresponds to the proof Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Proof theory Lambda calculus Logic in computer science Deductive reasoning Natural deduction Combinatory logic
655	UNIVERSITY OF OSLO Department of Informatics A notation for combining formal reasoning, object Add to Reading List Source URL: folk.uio.no Language: English - Date: 2000-01-14 06:08:56 Object-oriented programming Inheritance Class Is-a Subtyping Method Objective-C Interface Polymorphism Multiple inheritance Object Constant
656	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
657	NetClinic: Interactive Visualization to Enhance Automated Fault Diagnosis in Enterprise Networks Zhicheng Liu∗ Bongshin Lee† Add to Reading List Source URL: www.zcliu.org Language: English - Date: 2016-07-30 20:21:46 Computational science Computer graphics Infographics Visualization Scientific modeling Abductive reasoning Medical diagnosis Visual analytics Information visualization Graph drawing
658	An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Proof theory Deductive reasoning Logic programming Soundness
659	Applications of a Global Workspace Framework to Mathematical Discovery John Charnley and Simon Colton Combined Reasoning Group, Department of Computing Imperial College, United Kingdom Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-08-18 04:53:21 Statements Non-associative algebra Formal methods Group theory Quasigroup Conjecture Mathematical proof Theorem Automated theorem proving Prime number Theory Concept learning
660	Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Transitive closure FO Abox

UPDATE