4401 search results - page 60 / 881 » Computing with Default Logic |
ACSC
2006
IEEE
14 years 14 days ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
CIE
2006
Springer
14 years 14 days ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
DALT
2009
Springer
14 years 4 days 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 ...
CIDR
2003
13 years 10 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...
JAIR
2008
13 years 8 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...