9 search results - page 1 / 2 » Expressive Power of Definite Clauses for Verifying Authentic... |
CSFW
2009
IEEE
13 years 11 months ago
2009
IEEE
IEAAIE
2005
Springer
13 years 10 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...
IJCAI
1989
13 years 6 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...
ETAI
2000
13 years 4 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...
POPL
1997
ACM
13 years 8 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...