Sciweavers

2000 search results - page 20 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
SLOGICA
2010
135views more  SLOGICA 2010»
15 years 18 hour ago
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...
Brian Hill, Francesca Poggiolesi
IPM
2010
128views more  IPM 2010»
15 years 3 months ago
A knowledge-rich approach to identifying semantic relations between nominals
This paper describes a supervised, knowledge-intensive approach to the automatic identification of semantic relations between nominals in English sentences. The system employs di...
Roxana Girju, Brandon Beamer, Alla Rozovskaya, A. ...
CORR
2012
Springer
209views Education» more  CORR 2012»
14 years 1 months ago
Aggregation in Probabilistic Databases via Knowledge Compilation
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
Robert Fink, Larisa Han, Dan Olteanu
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 5 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
HICSS
2006
IEEE
180views Biometrics» more  HICSS 2006»
15 years 11 months ago
Knowledge Dynamics in Regional Economies: A Research Framework
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
Ramon O'Callaghan, Rafel Andreu