35 search results - page 3 / 7 » Path Constraints from a Modal Logic Point of View |
DAGSTUHL
2007
15 years 1 months ago
2007
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
92
Voted
DEON
2004
Springer
15 years 5 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...
84
Voted
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper addresses the following inspection problem: given a known workspace and a robot with vision capabilities compute a short path path for the robot such that each point on...
129
Voted
CL
1999
Springer
14 years 11 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
95
Voted
CORR
2006
Springer
14 years 11 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...