4573 search results - page 669 / 915 » Automated Reasoning |
111
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
121
click to vote
LICS
2009
IEEE
15 years 10 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. ...
128
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
126
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
127
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...