9 search results - page 1 / 2 » Expressive Power of Definite Clauses for Verifying Authentic... |
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
IEAAIE
2005
Springer
13 years 12 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 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...
ETAI
2000
13 years 6 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 10 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...