Filters








80,036 Hits in 3.7 sec

Simple Conditionals with Constrained Right Weakening

Giovanni Casini, Thomas Meyer, Ivan Varzinczak
2019 Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence  
It turns out that the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy the property of Right Weakening.  ...  In this paper we introduce and investigate a very basic semantics for conditionals that can be used to define a broad class of conditional reasoning.  ...  In contrast, when constraining (RW) we deal with conditional transitivity on the effect (on the right).  ... 
doi:10.24963/ijcai.2019/226 dblp:conf/ijcai/CasiniMV19 fatcat:2x7vnaed35ccvbkjefadizdope

Constrained Consequence

Katarina Britz, Johannes Heidema, Ivan Varzinczak
2011 Logica Universalis  
We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties.  ...  infra-classical reasoning demands (beyond α |= β) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence •α with  ...  In a separate paper we are investigating, beyond the constrained conditional, other constrained connectives: negation, conjunction, and disjunction induced by different choices of the weakening operator  ... 
doi:10.1007/s11787-011-0037-2 fatcat:rhyhphnboveqjimcwjl4rgmtze

Redundancy criteria for constrained completion

Christopher Lynch, Wayne Snyder
1995 Theoretical Computer Science  
We also provide a rigorous analysis of the problem with completing sets of equations with initial constraints.  ...  This paper studies completion in the case of equations with constraints consisting of first-order formulae over equations, disequations, and an irreducibility predicate.  ...  In CCP we do not weaken the conclusion or the left premise, so that we can only eliminate some instances of the right premise.  ... 
doi:10.1016/0304-3975(94)00274-6 fatcat:4s4tn65nznbvfgigdkdeshtdf4

Redundancy criteria for constrained completion [chapter]

Christopher Lynch, Wayne Snyder
1993 Lecture Notes in Computer Science  
We also provide a rigorous analysis of the problem with completing sets of equations with initial constraints.  ...  This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate.  ...  One way to deal with this situation would be to weaken the constraint fx gx x 6 = hb as we sometimes need to weaken the constraint on a simpli er. Unfortunately, this is not sound.  ... 
doi:10.1007/3-540-56868-9_2 fatcat:3prdghsaarhtblpjzgcb5gm2ju

Constraining fault constitutive behavior with slip and stress heterogeneity

B. T. Aagaard, T. H. Heaton
2008 Journal of Geophysical Research  
Heaton (2008), Constraining fault constitutive behavior with slip and stress heterogeneity,  ...  We explore features of rupture dynamics that (1) lead to slip heterogeneity in earthquake ruptures and (2) maintain these conditions following rupture, so that the stress field is compatible with the generation  ...  In this study, we use a simple fault constitutive model that blends the classic slip-weakening friction model with the restrengthening present in slip-plus-rate-weakening friction, while including some  ... 
doi:10.1029/2006jb004793 fatcat:qa3fj6zyyjazbebk2t4yskggbu

Page 1639 of Mathematical Reviews Vol. , Issue 88c [page]

1988 Mathematical Reviews  
Starting with a relaxed problem, we show how derivative decomposabil- ity yields a simple solution procedure.  ...  Gordan and Motzkin type alternative theorems are presented for functions satisfying the “symmetrical Fuchssteiner and Konig’s conditions” which demand a weakened convexlikeness in the first 90C Mathematical  ... 

Page 4074 of Mathematical Reviews Vol. , Issue 93g [page]

1993 Mathematical Reviews  
The authors prove first- and second-order optimality conditions for an optimization problem where the essential objective is the com- posite of a convex function with a smooth mapping under certain qualifications  ...  It is a very nice result with many applications.  ... 

Sufficient conditions for cut elimination with complexity analysis

João Rasga
2007 Annals of Pure and Applied Logic  
The obtained upper bound is parameterized by a quantity related with the calculus.  ...  Moreover the conditions are such that there is an algorithm for checking if they are satisfied by a sequent calculus.  ...  Moreover the author thanks all the colleagues that contributed with useful comments and suggestions.  ... 
doi:10.1016/j.apal.2007.08.001 fatcat:aslpnaics5fihfkra4pz5ocbne

Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features [chapter]

Thomas H. Kolbe
1998 Lecture Notes in Computer Science  
To cope with disturbances caused by occlusions and noise, we distinguish between the unobservability of a) relations between object parts and b) object parts themselves.  ...  Whereas other approaches for solving over-constrained problems suggest to reduce the relaxation of a variable to the relaxation of its incident constraints, we argue that both cases have to be treated  ...  Cremers, Wolfgang Förstner, Gerd Gröger and Ingo Petzold who helped with many discussions and critical comments to develop these ideas. We thank the DFG for supporting our work.  ... 
doi:10.1007/3-540-49481-2_22 fatcat:n2o3zslam5hktoh4qbvxvw5f4q

Direct entropy determination and application to artificial spin ice

Paul E. Lammert, Xianglin Ke, Jie Li, Cristiano Nisoli, David M. Garand, Vincent H. Crespi, Peter Schiffer
2010 Nature Physics  
Here, we demonstrate a conditional-probability technique to calculate entropy densities of translation-invariant states on lattices using limited configuration data on small clusters, and apply it to arrays  ...  The simple cluster-estimate S( )/| | using the five-island di-vertex (Fig. 2 legend) provides a very poor bound compared with our conditioning technique.  ...  All rights reserved. NATURE PHYSICS DOI: 10.1038/NPHYS1728  ... 
doi:10.1038/nphys1728 fatcat:m6dxl6wh5rdkhoabmeoz4el5ly

Shifting Inequality and Recovery of Sparse Signals

T.T. Cai, Lie Wang, Guangwu Xu
2010 IEEE Transactions on Signal Processing  
The analysis is surprisingly simple and elementary, while leads to strong results.  ...  In particular, it is shown that the sparse recovery problem can be solved via'1 minimization under weaker conditions than what is known in the literature.  ...  This simple analysis requires a condition on the RIP that is weaker than other conditions on the RIP used in the literature.  ... 
doi:10.1109/tsp.2009.2034936 fatcat:oiaxng3g75efhhgvfcc6t35qbm

Which Dynamic Rupture Parameters Can Be Estimated from Strong Ground Motion and Geodetic Data?

Sophie Peyrat, Kim B. Olsen, Ra�l Madariaga
2004 Pure and Applied Geophysics  
In other words, it is not always possible to separate strength drop and the slip-weakening distance using rupture modeling, in agreement with the conclusions by GUATTERI and SPUDICH (2000) .  ...  For this purpose we have generated three dynamic models of the Landers earthquake using a single, vertical, planar fault with heterogeneity in either the initial stress, the yield stress, or the slip-weakening  ...  Here we use the simple slip-weakening law T ðDÞ ¼ ðT u À T f Þ 1 À D D c þ T f D D c T f D > D c ( ; ð1Þ where T u is the yield stress, T f is the kinematic friction at high slip and D c is the slipweakening  ... 
doi:10.1007/s00024-004-2555-9 fatcat:tuqsno6bgfashb6t44tw7sddry

Which Dynamic Rupture Parameters Can Be Estimated from Strong Ground Motion and Geodetic Data? [chapter]

Sophie Peyrat, Kim B. Olsen, Raúl Madariaga
2004 Computational Earthquake Science Part II  
In other words, it is not always possible to separate strength drop and the slip-weakening distance using rupture modeling, in agreement with the conclusions by GUATTERI and SPUDICH (2000) .  ...  For this purpose we have generated three dynamic models of the Landers earthquake using a single, vertical, planar fault with heterogeneity in either the initial stress, the yield stress, or the slip-weakening  ...  Here we use the simple slip-weakening law T ðDÞ ¼ ðT u À T f Þ 1 À D D c þ T f D D c T f D > D c ( ; ð1Þ where T u is the yield stress, T f is the kinematic friction at high slip and D c is the slipweakening  ... 
doi:10.1007/978-3-0348-7875-3_4 fatcat:mc2d7kwgwvh7bijesvhsk2cufa

Component Service Promotion: Contracts, Mechanisms and Safety [chapter]

Pascal André, Gilles Ardourel, Mohamed Messabihi
2012 Lecture Notes in Computer Science  
We illustrate the approach (specification and verification) with the Kmelia component language. The composite designer has multiple and sometimes conflicting goals:  ...  In this article we will study different kinds of promotion of services equipped with contracts, their usefulness, as well as their safety by considering appropriate proof obligations.  ...  A service is more than a simple operation; it has pre/post-conditions and a behaviour described with a labelled transition system (LTS).  ... 
doi:10.1007/978-3-642-27269-1_9 fatcat:o5qithmi65csjnhuvu2ygz56yy

The dependence of traction evolution on the earthquake source time function adopted in kinematic rupture models

Alessio Piatanesi
2004 Geophysical Research Letters  
We propose that source time functions compatible with earthquake dynamics should be used to infer the traction time history.  ...  We compute the temporal evolution of traction by solving the elasto-dynamic equation and by using the slip velocity history as a boundary condition on the fault plane.  ...  Right panels show the resulting slip weakening behaviors in dimensional units. The arrows depict the estimated value of the critical slip weakening distance.  ... 
doi:10.1029/2003gl019225 fatcat:54pqinmwd5al5mvs45uvhjztoy
« Previous Showing results 1 — 15 out of 80,036 results