3891 search results - page 391 / 779 » A logic for strategic reasoning |
177
click to vote
EMISA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract: Group-oriented web information systems (GWISs) are web-based dataintensive systems that are used by a group of people in order to fulfill common tasks. In particular, th...
168
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
173
click to vote
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
131
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
131
click to vote
IJCAI
2003
15 years 8 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...