Sciweavers

2139 search results - page 213 / 428
» Connecting language to the world
Sort
View
AML
2010
118views more  AML 2010»
14 years 11 months ago
The modal logic of continuous functions on the rational numbers
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
Philip Kremer
CORR
2010
Springer
150views Education» more  CORR 2010»
14 years 11 months ago
Don't 'have a clue'? Unsupervised co-learning of downward-entailing operators
Researchers in textual entailment have begun to consider inferences involving downward-entailing operators, an interesting and important class of lexical items that change the way...
Cristian Danescu-Niculescu-Mizil, Lillian Lee
AML
2006
87views more  AML 2006»
14 years 11 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
JAL
2008
83views more  JAL 2008»
14 years 11 months ago
Objective Bayesian probabilistic logic
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
Jon Williamson
INTEGRATION
2007
91views more  INTEGRATION 2007»
14 years 11 months ago
VHDL-AMS based modeling and simulation of mixed-technology microsystems: a tutorial
This tutorial paper describes different approaches to modeling and simulation of mixed-technology microsystems that consist of electrical circuits connected to subsystems describe...
Pavel V. Nikitin, C.-J. Richard Shi