9 search results - page 1 / 2 » Expressive Power of Definite Clauses for Verifying Authentic... |
67
Voted
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
105
click to vote
IEAAIE
2005
Springer
15 years 4 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
15 years 4 days 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
14 years 10 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
15 years 2 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...