2067 search results - page 90 / 414 » Logics of propositional control |
109
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...
113
click to vote
CSL
2003
Springer
15 years 7 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
131
click to vote
AAAI
2008
15 years 4 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
119
click to vote
CLIMA
2011
14 years 1 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
100
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...