2685 search results - page 157 / 537 » A Formal Semantics for SPKI |
199
click to vote
DEDUCTIVE
1996
15 years 8 months ago
1996
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
188
click to vote
ENTCS
2008
15 years 7 months ago
2008
The modularity of programming language descriptions allows the designer to describe each programming language feature in a separated module that can be studied independently of ot...
142
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
173
click to vote
SEMWEB
2007
Springer
16 years 29 days ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
175
click to vote
EPIA
2005
Springer
16 years 11 days ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...