Sciweavers

10568 search results - page 116 / 2114
» Computer Intelligence and Formalization
Sort
View
ARGMAS
2004
Springer
15 years 3 months ago
Some Preliminary Steps Towards a Meta-theory for Formal Inter-agent Dialogues
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...
Simon Parsons, Peter McBurney, Michael Wooldridge
AGENTCL
2003
Springer
15 years 3 months ago
The Mechanics of Some Formal Inter-agent Dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines in detail what locutions are...
Simon Parsons, Peter McBurney, Michael Wooldridge
ATAL
1997
Springer
15 years 1 months ago
A Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, David Kinny, Michael Luck, Michael...
GECCO
2007
Springer
153views Optimization» more  GECCO 2007»
15 years 4 months ago
Analyzing the effects of module encapsulation on search space bias
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
Ozlem O. Garibay, Annie S. Wu
AAAI
2007
15 years 7 days ago
Partial Matchmaking using Approximate Subsumption
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
Heiner Stuckenschmidt