Sciweavers

7213 search results - page 30 / 1443
» Automated model grouping
Sort
View
116
Voted
LOPSTR
2009
Springer
15 years 9 months ago
LP with Flexible Grouping and Aggregates Using Modes
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
Marcin Czenko, Sandro Etalle
DLOG
2009
15 years 9 days ago
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...
Felix Distel
151
Voted
ISBI
2004
IEEE
16 years 3 months ago
Automated Interpretation of Subcellular Location Patterns
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
Robert F. Murphy
117
Voted
CADE
2008
Springer
16 years 2 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs