Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
541	Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada Add to Reading List Source URL: cs.unb.ca - Date: 2013-05-12 19:46:42
542	A Connection Method for the Description Logic ALC Fred Freitas Informatics Center, Federal University of Pernambuco (CIn - UFPE), Brazil 1 Introduction Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:24:10
543	A Logic Puzzle to Capture You 8 Single Add to Reading List Source URL: images.vat19.com - Date: 2011-09-13 12:31:27
544	Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
545	What is Game Theoretical Negation? Can BAS ¸ KENT Institut d’Histoire et de Philosophie des Sciences et des Techniques www.canbaskent.net/logic Add to Reading List Source URL: canbaskent.net - Date: 2014-03-06 23:50:10
546	Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1 Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:20:40
547	WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference Add to Reading List Source URL: math.stanford.edu - Date: 2012-05-17 18:29:40
548	System Benefits Charge Distributed Generation/Combined Heat and Power Program Program Logic Model Report FINAL DRAFT Add to Reading List Source URL: higherlogicdownload.s3.amazonaws.com - Date: 2012-09-30 20:27:43
549	Comparing strengths of beliefs explicitly Dick de Jongh Sujata Ghosh Institute for Logic, Language and Computation Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 08:38:06
550	23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS PORTO, PORTUGAL SEPT. 2-4, 2013 CALL FOR SUBMISSIONS Add to Reading List Source URL: www.fpl2013.org - Date: 2013-05-29 12:39:02

UPDATE