5671 search results - page 86 / 1135 » A Semantic Approach to Interpolation |
NMR
2004
Springer
14 years 1 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
CAISE
2001
Springer
14 years 6 days ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...
SECPERU
2006
IEEE
14 years 1 months ago
2006
IEEE
To assess the trustworthiness of the information published in the World Wide Web referrals are often employed. This is due to the fact that most information sources are visited on...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
CIA
2004
Springer
14 years 1 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...