Description logic - PDFSEARCH.IO - Document Search Engine

Description logic
Results: 846

#	Item
1	Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007 Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:55:15 Logic Non-classical logic Mathematical logic Metaphysics Philosophical logic Artificial intelligence Description logic Information science Model theory Modal logic First-order logic Web Ontology Language
2	System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 07:17:52 Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus
3	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
4	System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 08:00:06 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Proof theory Logic in computer science Prover9 Resolution Proof compression Automated reasoning Natural deduction Mathematical proof
5	Transforming Fuzzy Description Logic ALCFL into Classical Description Logic ALCH Yining Wu Overseeing Professor: Prof. Steffen H¨olldobler Add to Reading List Source URL: icr.uni.lu Language: English - Date: 2014-12-05 12:20:34
6	ECL Series FULL SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and Add to Reading List Source URL: standardcrystalcorp.com Language: English - Date: 2004-02-12 16:41:08
7	EEL4712 Digital Design Department of Electrical and Computer Engineering University of Florida Spring SemesterCatalog Description: Prereq: EEL3701. Advanced modular logic, design languages, finite Add to Reading List Source URL: www.gstitt.ece.ufl.edu Language: English - Date: 2018-01-07 17:35:07
8	OL_SHA256 SHA-256 Processor Rev 0.9 General Description Add to Reading List Source URL: www.ocean-logic.com Language: English - Date: 2011-03-20 21:11:23
9	ECL Series HALF SIZE DESCRIPTION ECL (Emitter Coupled Logic) clock oscillators provide MECL 10K and 10HH compatible signals for applications such as high speed computing, graphic workstations, digital communications and Add to Reading List Source URL: standardcrystalcorp.com Language: English - Date: 2004-02-12 16:41:11
10	SoftFacts: A Top-k Retrieval Engine for a Tractable Description Logic Accessing Relational Databases Umberto Straccia ISTI-CNR, Via G. Moruzzi 1, IPisa, Italy Add to Reading List Source URL: www.umbertostraccia.it Language: English - Date: 2015-10-30 09:06:27