Sciweavers

18 search results - page 4 / 4
» Formalization of psychological knowledge in answer set progr...
Sort
View
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
14 years 2 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
CORR
2007
Springer
127views Education» more  CORR 2007»
13 years 5 months ago
Attribute Exploration of Discrete Temporal Transitions
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
Johannes Wollbold
SEMWEB
2007
Springer
13 years 11 months ago
Extending Fuzzy Description Logics with a Possibilistic Layer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
Fernando Bobillo, Miguel Delgado, Juan Góme...