2766 search results - page 419 / 554 » Hybridizing a Logical Framework |
164
click to vote
WISE
2006
Springer
15 years 10 months 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...
135
click to vote
VEE
2005
ACM
15 years 9 months 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...
147
click to vote
CSL
2005
Springer
15 years 9 months 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...
110
click to vote
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
113
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...