745 research outputs found
Weekly report for R.V. Polarstern expedition ANT-XXIII/2, report no. 6 (01.01.2006), english version
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
We analyse the expressiveness of the two-valued semantics of abstract
argumentation frameworks, normal logic programs and abstract dialectical
frameworks. By expressiveness we mean the ability to encode a desired set of
two-valued interpretations over a given propositional signature using only
atoms from that signature. While the computational complexity of the two-valued
model existence problem for all these languages is (almost) the same, we show
that the languages form a neat hierarchy with respect to their expressiveness.Comment: Proceedings of the 15th International Workshop on Non-Monotonic
Reasoning (NMR 2014
Weekly report for R.V. Polarstern expedition ANT-XXIII/2, report no. 4 (18.12.2005), english version
Motion picture camera for optical pyrometry Patent
Filter arrangement for controlling light intensity in motion picture camera used in optical pyrometr
Implementing Default and Autoepistemic Logics via the Logic of GK
The logic of knowledge and justified assumptions, also known as logic of
grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for
nonmonotonic reasoning. To date, it has been used to embed in it default logic
(propositional case), autoepistemic logic, Turner's logic of universal
causation, and general logic programming under stable model semantics. Besides
showing the generality of GK as a logic for nonmonotonic reasoning, these
embeddings shed light on the relationships among these other logics. In this
paper, for the first time, we show how the logic of GK can be embedded into
disjunctive logic programming in a polynomial but non-modular translation with
new variables. The result can then be used to compute the extension/expansion
semantics of default logic, autoepistemic logic and Turner's logic of universal
causation by disjunctive ASP solvers such as claspD(-2), DLV, GNT and cmodels.Comment: Proceedings of the 15th International Workshop on Non-Monotonic
Reasoning (NMR 2014
Light intensity modulator controller Patent
Modulating and controlling intensity of light beam from high temperature source by servocontrolled rotating cylinder
- …