1059 search results - page 60 / 212 » Unification-Based Semantic Interpretation |
ECAI
1998
Springer
15 years 3 months ago
1998
Springer
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
IJCAI
2003
15 years 1 months ago
2003
A default conditional α → β has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intui...
105
click to vote
EGC
2005
Springer
15 years 5 months ago
2005
Springer
Interactive applications like Problem Solving Environments require on demand access to Web Services, where the services are autonomously discovered, composed, selected and invocate...
104
click to vote
AH
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...