5198 search results - page 722 / 1040 » A Logic of Agent Programs |
182
click to vote
AGENTCL
2000
Springer
15 years 10 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...
211
Voted
MA
2000
Springer
15 years 10 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 ...
189
click to vote
LREC
2008
15 years 8 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...
194
click to vote
AAAI
2004
15 years 8 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...
168
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...