1239 search results - page 63 / 248 » Control Generation for Logic Programs |
71
Voted
IJCAI
1993
15 years 3 months ago
1993
Our experience in the IDAS natural language generation project has shown us that IDAS'S KLONE-like classifier, originally built solely to hold a domain knowledge base, could ...
137
click to vote
FAC
2010
14 years 11 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
156
click to vote
SIGSOFT
2006
ACM
15 years 8 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
132
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
123
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...