2685 search results - page 273 / 537 » A Formal Semantics for SPKI |
186
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
184
click to vote
DALT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
177
click to vote
AAAI
2004
15 years 8 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
193
click to vote
ACL
1989
15 years 7 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
159
click to vote
IJCAI
1989
15 years 7 months ago
1989
A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...