1356 search results - page 158 / 272 » A variable-free dynamic semantics |
143
click to vote
FORTE
2001
15 years 5 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
141
click to vote
FMOODS
2000
15 years 5 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
116
click to vote
AI
2010
Springer
15 years 4 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
166
click to vote
ISCI
2000
15 years 3 months ago
2000
The branch of semiotics called semantics deals with the relation between meanings and representations, widely known as the symbol grounding problem. The other branches of semiotic...
152
Voted
PVLDB
2008
15 years 3 months ago
2008
Online communities like Flickr, del.icio.us and YouTube have established themselves as very popular and powerful services for publishing and searching contents, but also for ident...