3658 search results - page 431 / 732 » The logic of proofs, semantically |
155
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
184
click to vote
MIDDLEWARE
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
198
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems. In ...
186
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
191
click to vote
IEEESCC
2005
IEEE
16 years 9 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...