1933 search results - page 75 / 387 » A Dynamic Theory of Ontology |
IJCAI
2007
13 years 11 months ago
2007
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
DBPL
2003
Springer
14 years 3 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
COMMA
2008
13 years 11 months ago
2008
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
IAT
2009
IEEE
14 years 4 months ago
2009
IEEE
Training systems with intelligent virtual agents provide an effective means to train people for complex, dynamic tasks like crisis management or firefighting. Virtual agents pro...