2501 search results - page 52 / 501 » Logics with Rank Operators |
90
Voted
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
103
Voted
CAEPIA
2009
Springer
15 years 1 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...
91
Voted
WSC
1998
15 years 2 months ago
1998
This paper presents the analysis of the optimization for the production of precast pieces in a workshop with the help of simulation to obtain several working alternatives. The mai...
107
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
109
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...