2138 search results - page 149 / 428 » Logical Step-Indexed Logical Relations |
204
click to vote
META
1992
15 years 10 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
200
click to vote
TARK
1992
Springer
15 years 10 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
174
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
191
click to vote
GCC
2007
Springer
15 years 8 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
161
click to vote
UAI
2004
15 years 7 months ago
2004
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...