4555 search results - page 300 / 911 » Deductive Algorithmic Knowledge |
116
Voted
IJCAI
2007
15 years 4 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
134
click to vote
MOBIMEDIA
2007
15 years 4 months ago
2007
In this paper we simulate an authorization and delegation system using knowledge based technology. This proposal is part of a visual tool that is intended to be an implementation ...
157
click to vote
STAIRS
2008
15 years 4 months ago
2008
The success of the Semantic Web depends both on the definition of ontologies used to represent the knowledge as on the annotations performed of the web contents. As manual approach...
120
click to vote
AAAI
2006
15 years 4 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
126
Voted
AIPS
2003
15 years 4 months ago
2003
This paper presents a novel idea, which combines Planning, Machine Learning and Knowledge-Based techniques. It is concerned with the development of an adaptive planning system tha...