1203 search results - page 123 / 241 » Distinctive and compact features |
COLING
1992
15 years 1 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...
92
Voted
CADE
2010
Springer
15 years 1 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...
ALIFE
2010
15 years 27 days 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,...
103
Voted
CORR
2008
Springer
15 years 26 days 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 ...
133
Voted
JODS
2006
15 years 22 days 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 ...