1368 search results - page 51 / 274 » Personality-Based Practical Reasoning |
110
click to vote
RWEB
2009
Springer
15 years 8 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...
116
click to vote
RR
2010
Springer
15 years 9 days 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...
110
click to vote
DLOG
2010
14 years 12 months 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...
125
click to vote
LPAR
2010
Springer
14 years 11 months 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...
118
click to vote
RECOMB
2010
Springer
14 years 11 months 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...