3624 search results - page 255 / 725 » Abstract Algebraic Logic |
169
click to vote
LPNMR
2004
Springer
15 years 12 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...
195
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
163
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
165
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
I give a `totality space' model for linear logic [4], detaking an abstract view of computations on a datatype. The model has similarities with both the coherence space model ...
148
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Manufacturing disturbances are inevitable in the fabrication of integrated circuits. These disturbances will result in variations in the delay speci cations of manufactured circui...