2432 search results - page 204 / 487 » Cryptographic logical relations |
149
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...
152
click to vote
WSPI
2004
15 years 7 months ago
2004
Cognitive sciences, including cognitive neurosciences, have provided important insights into the notions of awareness, implicit/explicit information processing in knowledge, percep...
171
click to vote
AAAI
1996
15 years 7 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
164
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
189
click to vote
HEURISTICS
2006
15 years 5 months ago
2006
Representing and reasoning with an agent's preferences is important in many applications of constraints formalisms. Such preferences are often only partially ordered. One clas...