We develop a criterion for coalition formation among goal-directed agents, the indecomposable do-ut-des property. The indecomposable do-ut-des property refines the do-ut-des proper...
Guido Boella, Luigi Sauro, Leendert W. N. van der ...
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
M-commerce is one of the ways IT can significantly contribute to boosting economy of the developing countries. M-commerce project has a high potential in the developing countries ...
Olga Yugay, Aleksey Semyonov, Il Seok Ko, Sarvar R...
Abstract. A workflow-driven ontology is an ontology that encodes disciplinespecific knowledge in the form of concepts and relationships and that facilitates the composition of serv...
Ann Q. Gates, G. Randy Keller, Leonardo Salayandia...
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...