3468 search results - page 56 / 694 » An open logical framework |
123
click to vote
HT
1997
ACM
15 years 8 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...
134
click to vote
PROMAS
2004
Springer
15 years 9 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....
152
click to vote
ATAL
2004
Springer
15 years 8 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...
161
click to vote
IFM
2010
Springer
15 years 2 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 ...
140
Voted
LPNMR
2007
Springer
15 years 10 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...