Sciweavers

219 search results - page 22 / 44
» A Possibilistic Extension of Description Logics
Sort
View
ATAL
2009
Springer
14 years 14 days ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
IJMSO
2006
105views more  IJMSO 2006»
13 years 7 months ago
A framework for context-sensitive metadata description
Recent expectations regarding the new generation of Web strongly depend on the success of Semantic Web technology. Resource Description Framework (RDF) is a basis for an explicit a...
Oleksiy Khriyenko, Vagan Y. Terziyan
DSVIS
2001
Springer
14 years 9 days ago
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
Kris Luyten, Karin Coninx
AAAI
2010
13 years 9 months ago
A General Game Description Language for Incomplete Information Games
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
Michael Thielscher
EACL
2003
ACL Anthology
13 years 9 months ago
Describing Syntax with Star-Free Regular Expressions
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
Anssi Yli-Jyrä