4595 search results - page 577 / 919 » Reasoning about Plans |
78
Voted
LILOG
1989
15 years 4 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
73
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
ABSTRACT - In this paperwe describe the design, implementation, and performance of an incremental join facility that has been added as an extension to the Starburst extensible DBMS...
128
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
103
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
110
click to vote
ICOST
2010
Springer
15 years 4 months ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...