4737 search results - page 247 / 948 » The LOGIC negotiation model |
209
click to vote
CLIMA
2010
15 years 8 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
174
click to vote
COLING
2008
15 years 8 months ago
2008
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
274
click to vote
ENTCS
2006
15 years 7 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
171
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
190
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
Appeared in: Dekker (Ed.) Proceedings of the 12th Amsterdam Colloquium (AC'99). Institute for Logic, Language and Computation, 1999, pages 43