1943 search results - page 116 / 389 » Ordering Default Theories |
178
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
193
click to vote
FOIS
2006
15 years 8 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
187
click to vote
ENTCS
2006
15 years 6 months ago
2006
Organizational models have been recently used in agent theory for modeling coordination in open systems and to ensure social order in multi-agent system applications. In this pape...
208
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
185
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—Earlier sensor network MAC protocols focus on energy conservation in low-duty cycle applications, while some recent applications involve real-time high-data-rate signals. This m...