3572 search results - page 164 / 715 » Nominal Logic Programming |
114
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
102
Voted
SYNASC
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we apply integer programming (IP) based techniques to the problem of delay balancing in wave-pipelined circuits. The proposed approach considers delays, as well as f...
82
Voted
PADL
2001
Springer
15 years 5 months ago
2001
Springer
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
106
click to vote
ATAL
1999
Springer
15 years 5 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
116
click to vote
ASP
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...