Springer Science and Business Media LLC
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
The expressiveness of locally stratified programs
Springer Science and Business Media LLC - Tập 15 - Trang 209-229 - 1995
This paper completes an investigation of the logical expressibility of finite, locally stratified, general logic programs. We show that every hyperarithmetic set can be defined by a suitably chosen locally stratified logic program (as a set of values of a predicate over its perfect model). This is an optimal result, since the perfect model of a locally stratified program is itself an implicitly de...... hiện toàn bộ
CROSBY: Financial data interpretation as model-based diagnosis
Springer Science and Business Media LLC - Tập 11 - Trang 511-524 - 1994
Analyzing the recent financial history of a firm is an important step in the annual audit cycle and in many other financial reasoning tasks. Auditors and other analysts performing this task have available to them a variety of mathematical models to fit to a set of historical and current period financial statement data. They also have expectations about the likelihoods and magnitudes of errors in t...... hiện toàn bộ
Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms
Springer Science and Business Media LLC - - Trang 1-9 - 2022
We prove a new property of dual hypergraphs and derive from it Nash-solvability of the corresponding (tight) game forms. This result is known since 1975, but its new proof is much simpler.
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs
Springer Science and Business Media LLC - Tập 48 Số 1-2 - Trang 1-14 - 2006
Computations on one-dimensional cellular automata
Springer Science and Business Media LLC - Tập 16 Số 1 - Trang 285-309 - 1996
The structure of the overhanging relations associated with some types of closure systems
Springer Science and Business Media LLC - Tập 49 - Trang 137-149 - 2007
Over many different kinds of cryptomorphisms equivalent with closure systems (and so with closure operators), we focus here on implication relations and the related overhanging relations, as introduced and axiomatized in a previous paper (Domenach and Leclerc, Math Soc Sci 47(3):349–366, 2004). In relation with data analysis motivations, we particularize the axioms on overhanging relations in orde...... hiện toàn bộ
Acronyms: identification, expansion and disambiguation
Springer Science and Business Media LLC - Tập 88 - Trang 517-532 - 2018
Acronyms—words formed from the initial letters of a phrase—are important for various natural language processing applications, including information retrieval and machine translation. While hand-crafted acronym dictionaries exist, they are limited and require frequent updates. We present a new machine-learning-based approach to automatically build an acronym dictionary from unannotated texts. This...... hiện toàn bộ
A boundary-sensitive approach to qualitative location
Springer Science and Business Media LLC - Tập 24 - Trang 93-114 - 1998
Reasoning about the location of regions in 2-dimensional space is necessarily based on finite approximations to such regions. These finite approximations are often derived by describing how a region (the figure) relates to a frame of reference (the ground). The frame of reference generally consists of regions, or cells, forming a partition of the space under consideration. This paper presents a ne...... hiện toàn bộ
Multi-valued autoepistemic logic
Springer Science and Business Media LLC - Tập 18 Số 2 - Trang 159-174 - 1996
Tổng số: 1,090
- 1
- 2
- 3
- 4
- 5
- 6
- 10