3595 search results - page 139 / 719 » Roles of Program Extension |
135
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...
173
click to vote
DEXAW
2003
IEEE
15 years 9 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
143
click to vote
ISORC
2002
IEEE
15 years 9 months ago
2002
IEEE
Monitoring is a widely-used technique to check assumptions about the real-time behavior of a system, debug the code, or enforce the system to react if certain deadlines are passed...
131
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
137
click to vote
ASIAN
1999
Springer
15 years 8 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...