Sciweavers

471 search results - page 49 / 95
» Computational complexity: a conceptual perspective
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
ECAL
2007
Springer
14 years 3 months ago
Protolanguages That Are Semi-holophrastic
There is an ongoing debate about whether the words in the first languages spoken by humans expressed single concepts or complex holophrases. A computer model was used to investigat...
Mike Dowman
ISCOPE
1998
Springer
14 years 1 months ago
An Object-Oriented Collection of Minimum Degree Algorithms
The multiple minimum degree (MMD) algorithm and its variants have enjoyed 20+ years of research and progress in generating ll-reducing orderings for sparse, symmetric positive de n...
Gary Kumfert, Alex Pothen
EDBTW
2006
Springer
14 years 16 days ago
A Calculus for Propagating Semantic Annotations Through Scientific Workflow Queries
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
Shawn Bowers, Bertram Ludäscher
GRAMMARS
1998
111views more  GRAMMARS 1998»
13 years 8 months ago
Quantitative Comparison of Languages
From the perspective of the linguist, the theory of formal languages serves as an abstract model to address issues such as complexity, learnability, information content, etc. which...
András Kornai