1203 search results - page 123 / 241 » Distinctive and compact features |
118
click to vote
COLING
1992
15 years 5 months ago
1992
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
121
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
119
click to vote
ALIFE
2010
15 years 4 months ago
2010
The concept of living technology--that is, technology that is based on the powerful core features of life--is explained and illustrated with examples from artificial life software,...
131
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
161
click to vote
JODS
2006
15 years 4 months ago
2006
We introduce a novel view on how to deal with the problems of semantic interoperability in distributed systems. This view is based on the concept of emergent semantics, which sees ...