3831 search results - page 145 / 767 » Dynamic Context Logic |
138
click to vote
CIA
2008
Springer
15 years 6 months ago
2008
Springer
In order for personal assistant agents in an ambient intelligence context to provide good recommendations, or pro-actively support humans in task allocation, a good model of what t...
139
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
143
Voted
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
119
Voted
FOCS
1989
IEEE
15 years 8 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
139
click to vote
COLING
2002
15 years 3 months ago
2002
It is popular in WSD to use contextual information in training sense tagged data. Co-occurring words within a limited window-sized context support one sense among the semantically...