Sciweavers

187 search results - page 29 / 38
» JADL - An Agent Description Language for Smart Agents
Sort
View
ISSTA
2009
ACM
14 years 10 days ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
EUMAS
2006
13 years 9 months ago
OWL-S for Describing Artifacts
Artifacts for Multi-Agent Systems have been defined as runtime entities providing some kind of function or service that agents can fruitfully exploit to achieve their individual o...
Rossella Rubino, Ambra Molesini, Enrico Denti
COOPIS
2002
IEEE
14 years 18 days ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
AAAI
1998
13 years 9 months ago
Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem
qYaditionally, constraint satisfaction problems(CSPs) are characterized using a finite set of constraints expressed within a common,shared constraint language. Whenreasoning acros...
Daniel J. Clancy, Benjamin Kuipers
BIRTHDAY
2006
Springer
13 years 11 months ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong