3773 search results - page 156 / 755 » Logical Reasoning |
166
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
121
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
147
Voted
TARK
2009
Springer
15 years 10 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
115
Voted
SLOGICA
2008
15 years 3 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...
121
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Considering different implication operators, such as Lukasiewicz, G¨odel or product implication in the same logic program, naturally leads to the allowance of several a...