Sciweavers

4622 search results - page 93 / 925
» Foundations of Information Theory
Sort
View
TPHOL
1997
IEEE
15 years 2 months ago
Type Classes and Overloading in Higher-Order Logic
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
Markus Wenzel
ESAW
2006
Springer
15 years 1 months ago
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down"
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
Maarten Sierhuis
FOMI
2008
14 years 11 months ago
The Business of Ontology calls for a Formal Pragmatics
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
Hans Akkermans
TCS
2008
14 years 9 months ago
Lambda calculus with patterns
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
Jan Willem Klop, Vincent van Oostrom, Roel C. de V...
FOCM
2010
97views more  FOCM 2010»
14 years 8 months ago
Self-Concordant Barriers for Convex Approximations of Structured Convex Sets
We show how to approximate the feasible region of structured convex optimization problems by a family of convex sets with explicitly given and efficient (if the accuracy of the ap...
Levent Tunçel, Arkadi Nemirovski