1937 search results - page 224 / 388 » Rule Based Updates on Simple Knowledge Bases |
149
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
132
click to vote
MOMM
2006
ACM
15 years 10 months ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
130
click to vote
ARGMAS
2004
Springer
15 years 9 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
133
click to vote
COLING
1990
15 years 5 months ago
1990
This paper describes the general architecture of generation in the ACORDproject. The central module of this architecture is a planning component, which allows to plan single sente...
157
click to vote
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...