12774 search results - page 306 / 2555 » A Framework for Proof Systems |
167
click to vote
LOGCOM
2006
15 years 6 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
173
click to vote
AAAI
1990
15 years 8 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
151
Voted
NOMS
2006
IEEE
16 years 22 days ago
2006
IEEE
—Network identity management system, in theory, is conceived as the solution to many identity-related issues burgeoning day-to-day. These issues, which need to be addressed, rang...
173
Voted
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
169
click to vote
ICFEM
1997
Springer
15 years 11 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...