Sciweavers

1894 search results - page 39 / 379
» Towards Mobile Reasoning
Sort
View
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 6 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
EIS
2011
253views ECommerce» more  EIS 2011»
14 years 6 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
ICTAI
2007
IEEE
15 years 6 months ago
Knowledge Representation and Reasoning for Perceptual Anchoring
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
Jonas Melchert, Silvia Coradeschi, Amy Loutfi
ATAL
2008
Springer
15 years 1 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
IJIT
2004
15 years 1 months ago
"Intuition" Operator: Providing Genomes with Reason
In this contribution, the use of a new genetic operator is proposed. The main advantage of using this operator is that it is able to assist the evolution procedure to converge fast...
Grigorios N. Beligiannis, Georgios A. Tsirogiannis...