Sciweavers

546 search results - page 86 / 110
» An Action Semantics for MML
Sort
View
IUI
1997
ACM
13 years 11 months ago
Automating a Classification Task Based on an Augmented Thesaurus
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
Eunok Paek, Hye-Jeong Jeon
DALT
2006
Springer
13 years 10 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...
ICPW
2007
13 years 8 months ago
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
Adrian Paschke, Harold Boley, Alexander Kozlenkov,...
SEBD
2003
148views Database» more  SEBD 2003»
13 years 8 months ago
MuSIQUE: A Multi-System Image Querying User Interface
Current image retrieval systems do not provide users with adequate interfaces able to reduce the semantic gap existing between the high-level semantics of images (as perceived by t...
Ilaria Bartolini, Paolo Ciaccia
SLP
1994
89views more  SLP 1994»
13 years 8 months ago
Signed Logic Programs
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
Hudson Turner