1144 search results - page 146 / 229 » Logic programming for combinatorial problems |
172
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
NGITS
1997
Springer
15 years 6 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
142
click to vote
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
135
click to vote
DALT
2003
Springer
15 years 7 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
128
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...