3385 search results - page 379 / 677 » Language, Logic, and the Brain |
181
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
174
click to vote
KI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...
184
click to vote
DALT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
171
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
162
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...