4266 search results - page 543 / 854 » A Framework for Defining Logics |
167
Voted
VEE
2005
ACM
16 years 11 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...
190
click to vote
CSL
2005
Springer
16 years 10 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...
141
click to vote
SEMWEB
2005
Springer
16 years 8 days 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...
144
Voted
CAISE
2004
Springer
16 years 6 days 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...
186
click to vote
DILS
2004
Springer
16 years 6 days ago
2004
Springer
An abundance of biological data sources contain data on classes of scientific entities, such as genes and sequences. Logical relationships between scientific objects are implemen...