899 search results - page 35 / 180 » A CTL-Based Logic for Program Abstractions |
SBIA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
145
click to vote
PODS
1991
ACM
15 years 5 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
129
click to vote
KI
1990
Springer
15 years 6 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
109
click to vote
LPNMR
2004
Springer
15 years 7 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...
109
click to vote
AAAI
1994
15 years 3 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...