5671 search results - page 616 / 1135 » A Semantic Approach to Interpolation |
177
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
197
click to vote
CAAP
1990
15 years 11 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
197
click to vote
AI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
165
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
152
click to vote
ECAI
2006
Springer
15 years 11 months ago
2006
Springer
The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-...