1814 search results - page 57 / 363 » Extended First-Order Logic |
144
Voted
ARGMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
114
click to vote
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
119
Voted
ICCD
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we make two major contributions: First, to enhance Boolean learning, we propose a new class of logic implications called extended forward implications. Using a nove...
116
Voted
CSR
2006
Springer
15 years 6 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
115
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...