239 search results - page 4 / 48 » Temporal Languages for Epistemic Programs |
EPIA
2009
Springer
14 years 7 days ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
ICLP
2005
Springer
13 years 11 months ago
2005
Springer
BNCOD
2004
13 years 7 months ago
2004
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
LPAR
1992
Springer
13 years 9 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
JAPLL
2007
13 years 5 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...