5482 search results - page 28 / 1097 » Logic Programming and Databases |
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
ICALP
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
ENTCS
2006
13 years 11 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
ICDE
2004
IEEE
15 years 7 days ago
2004
IEEE
ARGMAS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...