Search Results - CEUR-WS :: UTM Library Massive Scholar Tracking

1

Understanding stories with large-scale common sense by Williams, Bryan Michael, Lieberman, Henry A, Winston, Patrick H

Published 2020
“…CEUR-WS…”

Get full text

Article
2

Towards automated bounded model checking of API implementations by Neville, D, Malton, A, Brain, M, Kroening, D

Published 2016
“…CEUR-WS…”

Conference item
3

Report on the 4th international workshop on quantitative approaches to software quality (QuASoQ 2016) by Lichter, Horst, Foegen, Konrad, Sunetnata, Thanwadee, Anwar, Toni

Published 2016
“…CEUR-WS…”

Conference or Workshop Item
4

Combining Semantic Web Search with the Power of Inductive Reasoning by d'Amato, C, Fanizzi, N, Fazzinga, B, Gottlob, G, Lukasiewicz, T

Published 2009
“…CEUR−WS.org…”

Conference item
5

Proceedings of the 5th International Workshop on Uncertainty Reasoning for the Semantic Web‚ URSW 2009‚ Washington DC‚ USA‚ October 26‚ 2009

Published 2009
“…CEUR−WS.org…”

Book
6

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

Published 2010
“…CEUR−WS.org…”

Conference item
7

Classifying Chemicals Using Description Graphs and Logic Programming by Magka, D, Motik, B, Horrocks, I

Published 2012
“…CEUR−WS.org…”

Conference item
8

Proceedings of the 6th International Workshop on Uncertainty Reasoning for the Semantic Web‚ URSW 2010‚ Shanghai‚ China‚ November 7‚ 2010

Published 2010
“…CEUR−WS.org…”

Book
9

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web‚ URSW 2011‚ Bonn‚ Germany‚ October 23‚ 2011

Published 2011
“…CEUR−WS.org…”

Book
10

Proceedings of the 4th International Workshop on Semantic Digital Archives‚ SDA 2014‚ London‚ UK‚ September 12‚ 2014

Published 2014
“…CEUR−WS.org…”

Book
11

Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web‚ URSW 2007‚ Busan‚ Korea‚ November 12‚ 2007

Published 2008
“…CEUR−WS.org…”

Book
12

A Framework for Representing Ontology Mappings under Probabilities and Inconsistency by Calì, A, Lukasiewicz, T, Predoiu, L, Stuckenschmidt, H

Published 2008
“…CEUR−WS.org…”

Conference item
13

Controlled query evaluation over lightweight ontologies by Cuenca Grau, B, Kharlamov, E, Kostylev, E, Zheleznyakov, D

Published 2014
“…CEUR-WS.org…”

Conference item
14

Proceedings of the 1st Workshop on Logics for Reasoning about Preferences‚ Uncertainty‚ and Vagueness‚ PRUV 2014‚ Vienna‚ Austria‚ July 23−24‚ 2014

Published 2014
“…CEUR−WS.org…”

Book
15

Preferences‚ Links‚ and Probabilities for Ranking Objects in Ontologies by Lukasiewicz, T, Schellhase, J

Published 2006
“…CEUR−WS.org…”

Conference item
16

Proceedings of the 1st International Workshop on Semantic Digital Archives‚ SDA 2011‚ Berlin‚ Germany‚ September 29‚ 2011

Published 2011
“…CEUR−WS.org…”

Book
17

A Combination of Boolean Games with Description Logics for Automated Multi−Attribute Negotiation by Lukasiewicz, T, Ragone, A

Published 2009
“…CEUR−WS.org…”

Conference item
18

Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web‚ URSW 2008‚ Karlsruhe‚ Germany‚ October 26‚ 2008

Published 2008
“…CEUR−WS.org…”

Book
19

Computing k−Rank Answers with Ontological CP−Nets by Noia, T, Lukasiewicz, T, Martinez, M, Simari, G, Tifrea−Marciuska, O

Published 2014
“…CEUR−WS.org…”

Conference item
20

Preface. by Brambilla, M, Ceri, S, Furche, T, Gottlob, G

Published 2012
“…CEUR-WS.org…”

Journal article