2395 search results - page 229 / 479 » Reasoning in Semantic Wikis |
169
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
205
click to vote
ROMAN
2007
IEEE
16 years 29 days ago
2007
IEEE
— For a robot to understand a scene, we have to infer and extract meaningful information from vision sensor data. Since scene understanding consists in recognizing several visual...
192
click to vote
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
16 years 25 days ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
190
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
179
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...