Sciweavers

3515 search results - page 279 / 703
» On the semantics of Strategy Logic
Sort
View
FLAIRS
2006
15 years 9 months ago
Semantic Annotation of Reported Information in Arabic
In this article, we are presenting a semantic annotation tool for Arabic texts with a strategy adapted to the automatic location of reported information. The method used is that o...
Motasem Alrahabi, Amr Helmy Ibrahim, Jean-Pierre D...
HT
2005
ACM
16 years 1 months ago
Mind the semantic gap
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
David E. Millard, Nicholas Gibbins, Danius T. Mich...
ATAL
2005
Springer
15 years 9 months ago
A formal framework for agent interaction semantics
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
Shamimabi Paurobally, Jim Cunningham, Nicholas R. ...
REST
2010
ACM
15 years 9 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
LOPSTR
2009
Springer
16 years 2 months ago
LP with Flexible Grouping and Aggregates Using Modes
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
Marcin Czenko, Sandro Etalle