4382 search results - page 151 / 877 » Query by Semantic Example |
116
click to vote
COMMA
2006
15 years 3 months ago
2006
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
142
click to vote
ICMAS
1998
15 years 3 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
121
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
141
Voted
PODS
2008
ACM
16 years 2 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...
112
click to vote
PADL
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...