1017 search results - page 21 / 204 » Higher-Order Logic Programming Languages with Constraints: A... |
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
IJSSE
2011
14 years 4 months ago
2011
The Extensible Markup Language is susceptible to security breaches because it does not incorporate methods to protect the information it encodes. Our work presented in this paper f...
PPDP
1999
Springer
15 years 1 months ago
1999
Springer
108
click to vote
CL
1999
Springer
14 years 9 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...
EACL
1989
ACL Anthology
14 years 10 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...