935 search results - page 72 / 187 » A Framework for Obfuscated Interpretation |
173
click to vote
ICDT
2007
ACM
16 years 16 days ago
2007
ACM
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
169
click to vote
LOPSTR
2007
Springer
16 years 15 days ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
134
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
124
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
163
click to vote
RSFDGRC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...