1076 search results - page 23 / 216 » Operations on proofs and labels |
KR
2004
Springer
14 years 27 days ago
2004
Springer
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
APAL
2005
13 years 7 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
DIAGRAMS
2004
Springer
14 years 28 days ago
2004
Springer
A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from sc...
SMC
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper presents a new method for dealing with fuzzy group decision-making problems based on interval linguistic labels. We propose the interval linguistic labels ordered weight...
ENTCS
2002
13 years 7 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...