1143 search results - page 198 / 229 » Prospective Logic Agents |
167
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
198
click to vote
MA
2000
Springer
15 years 9 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
172
click to vote
LREC
2008
15 years 7 months ago
2008
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...
175
click to vote
AAAI
2004
15 years 7 months ago
2004
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...
207
click to vote
LANMR
2004
15 years 7 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...