4401 search results - page 60 / 881 » Computing with Default Logic |
101
Voted
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
110
click to vote
CIE
2006
Springer
15 years 6 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
151
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
110
click to vote
CIDR
2003
15 years 4 months ago
2003
This paper surveys distributed computing techniques used in the implementation of BEA WebLogic Server. It discusses how application servers provide a distributed transactional inf...
154
click to vote
JAIR
2008
15 years 2 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...