1368 search results - page 51 / 274 » Personality-Based Practical Reasoning |
117
Voted
RWEB
2009
Springer
15 years 9 months ago
2009
Springer
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...
126
Voted
RR
2010
Springer
15 years 1 months ago
2010
Springer
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...
118
Voted
DLOG
2010
15 years 19 days ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
134
Voted
LPAR
2010
Springer
15 years 15 days ago
2010
Springer
By Courcelle's Theorem we know that any property of finite structures definable in monadic second-order logic (MSO) becomes tractable over structures with bounded treewidth. T...
124
click to vote
RECOMB
2010
Springer
15 years 15 days ago
2010
Springer
Chaining fragments is a crucial step in genome alignment. Existing chaining algorithms compute a maximum weighted chain with no overlaps allowed between adjacent fragments. In prac...