3468 search results - page 56 / 694 » An open logical framework |
91
Voted
HT
1997
ACM
15 years 4 months ago
1997
ACM
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
95
Voted
PROMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
113
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
122
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
106
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...