279 search results - page 22 / 56 » Determinacy Inference for Logic Programs |
157
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
In this paper we propose a method for inferring invariants for loops in Java programs. An example of a simple while loop is used throughout the paper to explain our approach. The m...
164
Voted
SEMCO
2007
IEEE
16 years 13 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
178
click to vote
DLOG
2003
15 years 7 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
166
click to vote
AROBOTS
1998
15 years 5 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
150
Voted
WCRE
2007
IEEE
16 years 12 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...