Sciweavers

820 search results - page 30 / 164
» Action Languages
Sort
View
CAISE
2001
Springer
14 years 24 days ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
FUZZIEEE
2007
IEEE
14 years 5 days ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
ISMIS
2003
Springer
14 years 1 months ago
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
Christel Kemke
LPAR
2005
Springer
14 years 1 months ago
Programming Cognitive Agents in Defeasible Logic
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...
MATES
2005
Springer
14 years 1 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer