3776 search results - page 377 / 756 » Partition-Based Logical Reasoning |
118
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
141
Voted
EMISA
2004
Springer
15 years 10 months 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...
137
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
140
click to vote
LPNMR
2004
Springer
15 years 10 months 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...
DAGSTUHL
2008
15 years 6 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 ...