2585 search results - page 233 / 517 » Automating Coherent Logic |
153
click to vote
LPNMR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
170
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
177
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
139
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
144
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...