3994 search results - page 507 / 799 » A Linear Logical Framework |
180
click to vote
VEE
2005
ACM
16 years 26 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...
162
click to vote
SEMWEB
2005
Springer
16 years 24 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...
164
click to vote
CAISE
2004
Springer
16 years 21 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...
206
click to vote
DILS
2004
Springer
16 years 21 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...
241
click to vote
NMR
2004
Springer
16 years 20 days ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...