25 search results - page 2 / 5 » On the Difference between Bridge Rules and Lifting Axioms |
IEEESCC
2007
IEEE
13 years 11 months ago
2007
IEEE
Web rule languages with the ability to cover various types of rules have been recently emerged to make interactions between web resources and broker agents possible. The chance of...
TYPES
1998
Springer
13 years 9 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
IV
2007
IEEE
13 years 11 months ago
2007
IEEE
Classifications of visualization are often based on technical criteria, and leave out artistic ways of visualizing information. Understanding the differences between information ...
DALT
2006
Springer
13 years 9 months ago
2006
Springer
Ontologies play a key role in agent communication and the emerging Semantic Web to define a vocabulary of concepts and their relationships. Different agents and web services may us...
ICFCA
2007
Springer
13 years 9 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...