Sciweavers

4617 search results - page 335 / 924
» Automation of Diagrammatic Reasoning
Sort
View
RWEB
2009
Springer
16 years 1 months ago
Logical Foundations of XML and XQuery
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
Maarten Marx
ICCBR
2005
Springer
16 years 5 days ago
The Role of Syntactic Analysis in Textual Case Retrieval
In this paper, we argue that syntactic analysis is most likely to improve retrieval accuracy in textual case-based reasoning when the task of the system is well-defined and the re...
Bradford W. Mott, James C. Lester, Karl Branting
ECSQARU
2003
Springer
15 years 12 months ago
Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography
1 The purpose of this paper is to show how probabilistic argumentation is applicable to modern public-key cryptography as an appropriate tool to evaluate webs of trust. This is an ...
Rolf Haenni
DLOG
2011
14 years 10 months ago
Query Answering over SROIQ Knowledge Bases with SPARQL
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
Ilianna Kollia, Birte Glimm, Ian Horrocks
GIS
2011
ACM
14 years 10 months ago
Embedding rivers in triangulated irregular networks with linear programming
Data conflation is a major issue in GIS: different geospatial data sets covering overlapping regions, possibly obtained from different sources and using different acquisition ...
Marc J. van Kreveld, Rodrigo I. Silveira