Sciweavers

2672 search results - page 161 / 535
» Hybridizing Concept Languages
Sort
View
ATAL
2008
Springer
13 years 11 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff
FLAIRS
2006
13 years 10 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
FINTAL
2006
14 years 25 days ago
Analysis of EU Languages Through Text Compression
In this article, we are studying the differences between the European languages using statistical and unsupervised methods. The analysis is conducted in different levels of languag...
Kimmo Kettunen, Markus Sadeniemi, Tiina Lindh-Knuu...
WEBDB
2000
Springer
120views Database» more  WEBDB 2000»
14 years 22 days ago
Quilt: An XML Query Language for Heterogeneous Data Sources
The World Wide Web promises to transform human society by making virtually all types of information instantly available everywhere. Two prerequisites for this promise to be realiz...
Donald D. Chamberlin, Jonathan Robie, Daniela Flor...
LATA
2010
Springer
14 years 4 months ago
Three Learnable Models for the Description of Language
Abstract. Learnability is a vital property of formal grammars: representation classes should be defined in such a way that they are learnable. One way to build learnable represent...
Alexander Clark