Sciweavers

2672 search results - page 161 / 535
» Hybridizing Concept Languages
Sort
View
ATAL
2008
Springer
15 years 5 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
122
Voted
FLAIRS
2006
15 years 4 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
114
Voted
FINTAL
2006
15 years 7 months 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...
129
Voted
WEBDB
2000
Springer
120views Database» more  WEBDB 2000»
15 years 7 months 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...
121
Voted
LATA
2010
Springer
15 years 10 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