917 search results - page 63 / 184 » On the Semantics of Updates in a Functional Language |
VVEIS
2008
14 years 11 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
136
click to vote
AAAI
1993
14 years 11 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
ECOWS
2009
Springer
15 years 4 months ago
2009
Springer
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
AAAI
1994
14 years 11 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...