4401 search results - page 24 / 881 » Computing with Default Logic |
LPKR
1997
Springer
14 years 23 days ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
CSL
2006
Springer
14 years 9 days ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
LCN
2005
IEEE
14 years 2 months ago
2005
IEEE
An ’Internet Protocol’ (IP) network established over Bluetooth affords higher practical throughput compared to the ‘Synchronous Connection Oriented’ (SCO) physical link al...
AMAI
2006
Springer
13 years 8 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
CSDA
2010
13 years 8 months ago
2010
In this paper, we consider a default strategy for fully Bayesian model determination for GLMMs. We address the two key issues of default prior specification and computation. In pa...