1670 search results - page 95 / 334 » On Skolemization in constructive theories |
182
click to vote
CDC
2008
IEEE
16 years 26 days ago
2008
IEEE
— We present a family of metrics for power spectra based on the Monge-Kantorivic transportation distances. These metrics are constructed so that distances reduce with additive an...
153
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
149
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
152
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
153
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...