Sciweavers

800 search results - page 13 / 160
» Towards a formalization of budgets
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
ATAL
2004
Springer
15 years 3 months ago
Towards a Formalization of Teamwork with Resource Constraints
Despite the recent advances in distributed MDP frameworks for reasoning about multiagent teams, these frameworks mostly do not reason about resource constraints, a crucial issue i...
Praveen Paruchuri, Milind Tambe, Fernando Ord&oacu...
ECAI
2000
Springer
15 years 2 months ago
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
Nicola Guarino, Christopher A. Welty
WADT
1999
Springer
15 years 2 months ago
Towards an Evolutionary Formal Software-Development Using CASL
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...