local completeness
Recently Published Documents

TOTAL DOCUMENTS

24
(FIVE YEARS 3)

H-INDEX

7
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LCDD: Detecting Business Process Drifts Based on Local Completeness

2020 ◽  
pp. 1-1
Author(s):  
Leilei Lin ◽  
Lijie Wen ◽  
Li Lin ◽  
Jisheng Pei ◽  
Hedong Yang
Keyword(s):  
Business Process ◽  
Local Completeness

scholarly journals Local completeness, Pareto efficiency and Mackey Bishop-Phelps cones

2019 ◽  
Vol 6 (1) ◽  
pp. 19-25
Author(s):  
Elvio Accinelli ◽  
◽  
Armando García
Keyword(s):  
Pareto Efficiency ◽  
Local Completeness

ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS

2015 ◽  
Vol 8 (2) ◽  
pp. 296-305 ◽  
Author(s):  
NISSIM FRANCEZ
Keyword(s):  
Natural Deduction ◽  
Proof System ◽  
Logical Constants ◽  
Local Completeness ◽  
Definition Of ◽  
The Impact

AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

CPL+: An improved approach for evaluating the local completeness of event logs

2014 ◽  
Vol 114 (11) ◽  
pp. 607-610 ◽  
Author(s):  
Hedong Yang ◽  
Lijie Wen ◽  
Jianmin Wang ◽  
Raymond K. Wong
Keyword(s):  
Event Logs ◽  
Local Completeness

Local completeness and Pareto optimization

2010 ◽  
Vol 73 (4) ◽  
pp. 1098-1100 ◽  
Author(s):  
C. Bosch ◽  
A. Garcia
Keyword(s):  
Pareto Optimization ◽  
Local Completeness
Load More ...
Sign in / Sign up

Export Citation Format

Share Document