1588 search results - page 129 / 318 » On the Logic of Constitutive Rules |
195
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. An agent communication protocol specifies the rules of interaction governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as n...
174
click to vote
IJCAI
2007
15 years 7 months ago
2007
We define a translation from Weighted CSP to signed Max-SAT, and a complete resolution-style calculus for solving signed Max-SAT. Based on these results, we then describe an orig...
178
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
We report on experiments designed to highlight the strengths and weaknesses of an autonomous rule acquisition algorithm for the fuzzy controller of a simulated mobile robot. The a...
161
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
200
click to vote
AUSAI
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, I will show how a controlled natural language can be used to describe knowledge for the Semantic Web and discuss the formal properties of this language. At the firs...