Sciweavers

15754 search results - page 144 / 3151
» Programs are Knowledge Bases
Sort
View
ICC
2007
IEEE
104views Communications» more  ICC 2007»
15 years 10 months ago
Capacity-Based Uplink Scheduling Using Long-Term Channel Knowledge
Abstract—In the multi-user MIMO uplink channel, the presence of multiple receive antennas enables the base station to serve a number of users simultaneously, thus increasing over...
Bernd Bandemer, Samuli Visuri
NMR
2004
Springer
15 years 9 months ago
Consistency-based approaches to merging knowledge bases: preliminary report
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
James P. Delgrande, Torsten Schaub
AI
2008
Springer
15 years 2 months ago
MEBN: A language for first-order Bayesian knowledge bases
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
Kathryn B. Laskey
CORR
2011
Springer
186views Education» more  CORR 2011»
14 years 11 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
FQAS
2004
Springer
104views Database» more  FQAS 2004»
15 years 9 months ago
Logic-Based Integration of Query Answering and Knowledge Discovery
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
Marcelo A. T. Aragão, Alvaro A. A. Fernande...