Sciweavers

148 search results - page 14 / 30
» Towards a consistent logical framework for ontological analy...
Sort
View
PROMAS
2004
Springer
15 years 2 months ago
OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
Virginia Dignum, Javier Vázquez-Salceda, Fr...
ATAL
2004
Springer
15 years 1 months ago
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
Virginia Dignum, Javier Vázquez-Salceda, Fr...
PATAT
2004
Springer
138views Education» more  PATAT 2004»
15 years 2 months ago
Semantic Components for Timetabling
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
Nele Custers, Patrick De Causmaecker, Peter Demees...
NMR
2004
Springer
15 years 2 months ago
Towards higher impact argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
Anthony Hunter
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 3 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer