3239 search results - page 242 / 648 » A Logical Process Calculus |
152
Voted
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
152
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
168
click to vote
PVLDB
2010
15 years 3 months ago
2010
Ontology-based data access is a powerful form of extending database technology, where a classical extensional database (EDB) is enhanced by an ontology that generates new intensio...
164
Voted
EUSFLAT
2009
15 years 2 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
122
click to vote
TBILLC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...