Sciweavers

4212 search results - page 237 / 843
» Rights Expression Languages
Sort
View
IJAR
2008
129views more  IJAR 2008»
15 years 6 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...
JAR
2007
90views more  JAR 2007»
15 years 6 months ago
A Tableau Decision Procedure for SHOIQ
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
Ian Horrocks, Ulrike Sattler
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 6 months ago
Causality and Counterfactuals in the Situation Calculus
Structural causal models offer a popular framework for exploring causal concepts. However, due to their limited expressiveness, structural models have difficulties coping with su...
Mark Hopkins, Judea Pearl
EMNLP
2009
15 years 4 months ago
Classifier Combination for Contextual Idiom Detection Without Labelled Data
We propose a novel unsupervised approach for distinguishing literal and non-literal use of idiomatic expressions. Our model combines an unsupervised and a supervised classifier. T...
Linlin Li, Caroline Sporleder
CISIS
2010
IEEE
16 years 1 months ago
A Multidimensional Array Slicing DSL for Stream Programming
—Stream languages offer a simple multi-core programming model and achieve good performance. Yet expressing data rearrangement patterns (like a matrix block decomposition) in thes...
Pablo de Oliveira Castro, Stéphane Louise, ...