189 search results - page 3 / 38 » Similarity-Guided Clause Generalization |
COLING
1992
13 years 7 months ago
1992
An arbitrary definite clause grammar can be transforaled into a so-called Generalized Greibach Normal Form (GGNF), a generalization of the classical Greibach Normat Form (GNF) for...
AAAI
2004
13 years 7 months ago
2004
We have recently proposed augmenting clauses in a Boolean database with groups of permutations, the augmented clauses then standing for the set of all clauses constructed by actin...
IJCAI
1989
13 years 7 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
TABLEAUX
1992
Springer
13 years 9 months ago
1992
Springer
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...