5198 search results - page 709 / 1040 » A Logic of Agent Programs |
302
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
165
Voted
CIMCA
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes a Rule Based Service Level Agreement language called RBSLA which is based on RuleML. With this language SLAs can be implemented in a machine readable syntax w...
171
click to vote
IDEAL
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we present PRICES, an efficient algorithm for mining association rules, which first identifies all large itemsets and then generates association rules. Our approach ...
166
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
518
Voted
IJVR
2008
15 years 6 months ago
2008
We are exploring a new application of virtual and augmented reality for a novel direction in human-computer interaction named `cultural computing', which aims to provide a new...