Sciweavers

711 search results - page 93 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
FM
1999
Springer
93views Formal Methods» more  FM 1999»
14 years 1 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine
UML
2005
Springer
14 years 2 months ago
Representing and Applying Design Patterns: What Is the Problem?
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
Hafedh Mili, Ghizlane El-Boussaidi
TLT
2008
149views more  TLT 2008»
13 years 9 months ago
Control Your eLearning Environment: Exploiting Policies in an Open Infrastructure for Lifelong Learning
Abstract-- Nowadays, people are in need for continuous learning in order to keep up to date or to be upgraded in their job. An infrastructure for life-long learning requires contin...
Juri Luca De Coi, Philipp Kärger, Arne Wolf K...
LPNMR
2005
Springer
14 years 2 months ago
Some Logical Properties of Nonmonotonic Causal Theories
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
Marek J. Sergot, Robert Craven
LREC
2008
112views Education» more  LREC 2008»
13 years 10 months ago
Linguistic Structure and Bilingual Informants Help Induce Machine Translation of Lesser-Resourced Languages
Producing machine translation (MT) for the many minority languages in the world is a serious challenge. Minority languages typically have few resources for building MT systems. Fo...
Christian Monson, Ariadna Font Llitjós, Vam...