1950 search results - page 225 / 390 » Lambda-Free Logical Frameworks |
187
click to vote
ECML
2007
Springer
16 years 23 days ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
184
click to vote
EPIA
2007
Springer
16 years 23 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
200
click to vote
WISE
2006
Springer
16 years 18 days ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
163
click to vote
VEE
2005
ACM
16 years 4 days ago
2005
ACM
Language mechanisms deserve language implementation effort. While this maxim has led to sophisticated support for language features specific to object-oriented, functional and lo...
178
click to vote
CSL
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...