2448 search results - page 270 / 490 » The Octahedron Abstract Domain |
191
click to vote
CCL
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
141
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. Goal creation is an important consideration for an agent that is required to behave autonomously in a real-world domain. This paper describes an agent that is directed, n...
229
Voted
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
190
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
181
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: Coupling of metamodeling architectures and ontologies for domain descriptions is widely discussed in information system engineering research groups. Here we present the f...