1581 search results - page 150 / 317 » Domain semantics of possibility computations |
139
click to vote
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
Extended argumentation framework is a formalism where defeat relations are determined by establishing a preference between arguments involved in symmetric conflicts. This process ...
123
click to vote
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of di...
115
Voted
COLING
1992
15 years 4 months ago
1992
We describe a method and its implementation for self-monitoring during natural language generation. In situations of communication where the generation of ambiguous utterances sho...
121
Voted
AMAI
2008
Springer
15 years 3 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...