9 search results - page 1 / 2 » Expressive Power of Definite Clauses for Verifying Authentic... |
123
Voted
CSFW
2009
IEEE
16 years 17 days ago
2009
IEEE
174
Voted
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
In application domains such as medicine, where a large amount of data is gathered, a medical diagnosis and a better understanding of the underlying generating process is an aim. Re...
163
Voted
IJCAI
1989
15 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...
162
Voted
ETAI
2000
15 years 5 months ago
2000
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
159
Voted
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...