Markov logic Networks (MLNs) are a prominent statistical relational model that have been proposed as a unifying framework for statistical relational learning. As part of this unification, their authors proposed method...
详细信息
We present the first tableau method with an EXPTIME (optimal) complexity for checking satisfiability of a knowledge base in the description logic SHOQ, which extends ALC with transitive roles, hierarchies of roles, no...
详细信息
We present the first tableau method with an EXPTIME (optimal) complexity for checking satisfiability of a knowledge base in the description logic SHOQ, which extends ALC with transitive roles, hierarchies of roles, nominals and quantified number restrictions. The complexity is measured using binary representation for numbers. Our procedure is based on global caching and integer linear feasibility checking.
For many tasks in fields like computer vision, computational biology and information extraction, popular probabilistic inference methods have been devised mainly for propositional models that contain only unary and pa...
详细信息
For a globally sustainable evolving world of business, effects of international regulations and government's pressure on companies in auto industry are increasing. Policies which are decided in order to reduce man...
详细信息
For a globally sustainable evolving world of business, effects of international regulations and government's pressure on companies in auto industry are increasing. Policies which are decided in order to reduce many negative effects are getting stricter to be sensitive about reverse logistics and recycle management of their own products. To take future generations into account, to be more careful about environment and at least but not less important, to decrease various costs cause trouble, companies have to care about every processes of each product they have been sending out of the forward supply chain. Unfortunately, forward supply chain is not enough itself to control after sale product is named as End of Life Vehicles (ELV). Sun et. al (2011) proposed a Reuse Trader Construction to fill this gap in auto industry reverse logistic structure. This study aims to represent selections and changes on constructions expressed in Sun et. al (2011), regarding to several policy scenarios accordance with possible real case regulations of government.
We study the expressive power of fragments of inclusion and independence logic defined either by restricting the number of universal quantifiers or the arity of inclusion and independence atoms in formulas. Assuming t...
详细信息
In this paper, we introduce prefixed tableau systems for logics combining Artemov's logic of proofs, which is introduced in order to explore combinatorial structure of proofs, and the logic of provability (strong ...
详细信息
ISBN:
(数字)9783642405372
ISBN:
(纸本)9783642405365
In this paper, we introduce prefixed tableau systems for logics combining Artemov's logic of proofs, which is introduced in order to explore combinatorial structure of proofs, and the logic of provability (strong provability), which has been studied as a logic of formal provability (provability and truth) in arithmetic for decades. Such joint logics have already been studied, but no cut-free tableau systems for these logics have been available in the literature so far. We show the admissibility of cut for these systems via semantic completeness for cut-free prefixed tableau systems for these logics.
Performing test case generation by symbolic execution on large programs becomes quickly impracticable due to the path explosion problem. A common limitation that this problem poses is the generation of unnecessarily l...
详细信息
This paper examines the benefits of a mixed integer-based (MIP) scheduler for secondary resources in a parallel machine work center problem. Such problems are typical in the lithography area of the semiconductor indus...
详细信息
This paper examines the benefits of a mixed integer-based (MIP) scheduler for secondary resources in a parallel machine work center problem. Such problems are typical in the lithography area of the semiconductor industry, for example. An abstract simulation model is derived from this parallel machine work center problem. In this model the secondary resources can be stored in a machine or in a central storage. The products also have dedication matrices, which means, not all products are allowed on all machines. This is an assignment problem, in which secondary resources and products have to be assigned to the machines in a dynamic context. In case of these difficulties the benefit of a mixed integer based capacity planner for secondary resources is tested for the work center problem. The goal is to minimize the number of moves for the secondary resources and to balance the work load over all machines. The simulation is done with a benchmark study, which is orientated on real data.
This study identifies the effect of the programming context, external to the company, on the advertising effectiveness in terms of memorization. An experiment with 630 students, manipulates the variables related to th...
详细信息
ISBN:
(纸本)9780986041914
This study identifies the effect of the programming context, external to the company, on the advertising effectiveness in terms of memorization. An experiment with 630 students, manipulates the variables related to the external context programming, measured by emotions, involvement, attention and appreciation of the TV program. The advertising effectiveness was measured by the global memorization. It was built from an ACP polychoric on five indicators of memorization. The results show that, contrary to the findings of some previous studies, the external programming context has no effect on memorization of the TV advertising.
Galliwasp is a goal-directed implementation of answer set programming. Unlike other answer set solvers, Galliwasp computes partial answer sets which are provably extensible to full answer sets. Galliwasp can execute a...
详细信息
暂无评论