Dmitry

Results: 773



#Item
111Automated theorem proving / Reasoning / Semantic Web / Artificial intelligence / School of Computer Science /  University of Manchester / Knowledge representation and reasoning / Description logic / Vampire / Semantic reasoner / Automated reasoning / Web Ontology Language / Resolution

DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:09
112Information science / Knowledge representation / Technical communication / Ontology / Mathematical logic / Mahlo cardinal / Mereology / Constructible universe

Improved Algorithms for Module Extraction and Atomic Decomposition Dmitry Tsarkov School of Computer Science The University of Manchester

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:09
113Semantic Web / Information science / Knowledge representation / Technical communication / Model theory / Ontology / Web Ontology Language / Module / Elementary class

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Uli Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:05
114Extreme points of Earth / Sea ice / Arctic / Navigation / North Pole / Northern Canada / Arctic Ocean / Arctic ice pack / Paul Landry / Inuit / Climate of the Arctic / Dmitry Shparo

So near but so far After 100 days trekking across the Arctic sea, the Top of the World expedition was forced to capitulate. Team photographer Martin Hartley

Add to Reading List

Source URL: www.martinhartley.com

Language: English - Date: 2008-12-15 07:47:36
115Radiosport / User interface techniques / Function key / Contesting / Control key / Double-click / Computer keyboard / Windows key

The CW Open and TR4W By: Marvin Bloomquist, N5AW Background: TR4W stands for TR for Windows. Developed by Dmitry Gulyaev, UA4WLI, TR4W is an adaptation of the DOS program TR Log. TR users will find it similar to the DOS

Add to Reading List

Source URL: www.cwops.org

Language: English - Date: 2014-07-19 11:42:09
116Ethnic groups in Russia / Lake Baikal / Buryats / Baykal / Taymyr / Yakuts

Session V – Large Lakes, Deltas, and Transboundary Partnerships: Fostering Science, Cooperation, and Sound Management 1:50 PM Two Great Lakes of North Asia: Lake Baikal and Lake Taymyr Dmitry F. Pavlov1, Richard Robart

Add to Reading List

Source URL: deltas.usgs.gov

Language: English - Date: 2009-07-31 15:52:02
117Silvio Danailov / Bulgarian Chess Federation / Alexander Morozevich / Chess / Dmitry Jakovenko

NEWSLETTER 158 (May 29, 2014) ECU PRESIDENT SILVIO DANAILOV MEETS WITH THE PRESIDENT OF THE ITALIAN CHESS FEDERATION, MR. GIANPIETRO PAGNONCELLI On 21st of May, 2014 in Milan, the ECU President Silvio Danailov met with t

Add to Reading List

Source URL: www.europechess.org

Language: English - Date: 2014-11-17 11:50:47
118United Nations General Assembly observers / Independent politicians / Russia Beyond the Headlines / East Asia Summit / Eurasian Economic Union / Association of Southeast Asian Nations / ASEAN Summit / RussiaThailand relations / Astrakhan / Vladimir Putin / Dmitry Medvedev / Russia

asia.rbth.com New cosmodrome in the east Learn more about Russia’s space centre, which is near China P6

Add to Reading List

Source URL: cdn.rbth.com

Language: English - Date: 2016-05-19 03:39:19
119Machine learning / Support vector machine / Cross-validation / Statistical classification / Classifier / Pattern recognition / Test set

CROSS-COLLECTION EVALUATION FOR MUSIC CLASSIFICATION TASKS Dmitry Bogdanov, Alastair Porter, Perfecto Herrera, Xavier Serra Music Technology Group, Universitat Pompeu Fabra

Add to Reading List

Source URL: wp.nyu.edu

Language: English - Date: 2016-08-16 16:20:29
120Information science / Semantic Web / Knowledge representation / Technical communication / Artificial intelligence / Ontology / Web Ontology Language / Model theory / Module / Structure / Theory / Description logic

Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:05
UPDATE