Bibliografie tematiche / Clauses de conflits

Letteratura scientifica selezionata sul tema "Clauses de conflits"

Autore: Grafiati

Pubblicato: 8 giugno 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Clauses de conflits".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Clauses de conflits":

Beausoleil, Gilles. "Recommandations arbitrales dans le Québec, 1950-1952". Relations industrielles 8, n. 2 (25 febbraio 2014): 204–29. http://dx.doi.org/10.7202/1022959ar.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Sommaire L'étude subséquente a surtout pour but d'analyser le contenu des recommandations arbitrales de juin 1950 à juin 1952. Comme les conflits sur la sécurité syndicale sont difficilement compréhensibles sans une connaissance de l'arrière-plan historique des problèmes syndicaux, l'auteur résume les principaux événements expliquant l'importance que les unions attachent à la sécurité syndicale. Il porte ensuite son attention sur les clauses les plus controversées parmi les clauses non-monétaires. L'analyse des clauses monétaires est surtout faite par voie de comparaisons avec les clauses moyennes des conventions collectives; l'auteur souligne cependant les limitations inévitables de ces comparaisons.

GAGNÉ, Diane. "Le mouvement syndical québécois face à la constitutionnalisation du droit du travail : naviguer en eau trouble… Des précaires chez les protégés!" Revue multidisciplinaire sur l'emploi, le syndicalisme et le travail 10, n. 2 (21 giugno 2017): 23–43. http://dx.doi.org/10.7202/1040293ar.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

À la recherche d’un nouvel équilibre en raison des présentes transformations du marché du travail, les réorganisations et la flexibilité se négocient en échange d’une protection accrue pour ceux qui restent. De sorte que prolifèrent de nouvelles formes d’emploi atypiques, pendant que la constitutionnalisation du droit du travail change le rapport à l’universalisme syndical. Cela étant, cet article veut faire la lumière sur certains impacts causés par la négociation des clauses de disparité de traitement dans les milieux de travail syndiqués. La discussion s’appuiera sur une revue de littérature juridique et historique, sur une quarantaine d’entretiens semi-dirigés réalisés à l’été 2011 et des relances téléphoniques. Il en ressort que certaines clauses de disparités de traitement permettraient (compte tenu de l’état actuel du droit) le contournement de la discrimination au sens de la Charte québécoise et l’évitement de processus juridiques longs et coûteux. Si bien que nous conclurons que ces clauses de disparité de traitement amènent dans les milieux de travail des problèmes de solidarité, d’adhésion syndicale, des conflits tant générationnels qu’idéologiques, beaucoup de non-dits, et cela, souvent au nom d’impératifs économiques.

Bonet, M. L., S. Buss e J. Johannsen. "Improved Separations of Regular Resolution from Clause Learning Proof Systems". Journal of Artificial Intelligence Research 49 (23 aprile 2014): 669–703. http://dx.doi.org/10.1613/jair.4260.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

This paper studies the relationship between resolution and conflict driven clause learning (CDCL) without restarts, and refutes some conjectured possible separations. We prove that the guarded, xor-ified pebbling tautology clauses, which Urquhart proved are hard for regular resolution, as well as the guarded graph tautology clauses of Alekhnovich, Johannsen, Pitassi, and Urquhart have polynomial size pool resolution refutations that use only input lemmas as learned clauses. For the latter set of clauses, we extend this to prove that a CDCL search without restarts can refute these clauses in polynomial time, provided it makes the right choices for decision literals and clause learning. This holds even if the CDCL search is required to greedily process conflicts arising from unit propagation. This refutes the conjecture that the guarded graph tautology clauses or the guarded xor-ified pebbling tautology clauses can be used to separate CDCL without restarts from general resolution. Together with subsequent results by Buss and Kolodziejczyk, this means we lack any good conjectures about how to establish the exact logical strength of conflict-driven clause learning without restarts.

Sosthène, Aka Koffi. "Conflits Autour De L’exploitation Halieutique Du Fleuve Comoé Et De Ses Affluents". European Scientific Journal, ESJ 13, n. 5 (28 febbraio 2017): 317. http://dx.doi.org/10.19044/esj.2017.v13n5p317.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The purpose of this article is to identify the conflicts arising from the exploitation of the Comoé River. Côte d'Ivoire has a dense hydrography which is distinguished by four main rivers of which the Comoé River (1160 km) is one of them. This river area, which has always been exploited by the various villages bordering it, is perceived by the latter as their property. Thus, they ensure customary management in accordance with marked territories. The immense benefits of this river to village communities sometimes give rise to tensions and conflicts. What are the causes of these different types of conflicts with regards to the Comoé River? In other words, what are the conditions for their gestation? The objective of this study is to reveal the conflicts surrounding the fisheries exploitation of the Comoé River and to propose solutions for a sustainable fishery. This study is based on desk research and land surveys. It appears from the above that the exploitation of the aquatic area of the Comoé River generates sporadic conflicts. These conflicts arise mainly because of a poor implementation of the clauses of the contract between indigenous and non-native fishers, dominated by the monthly fee and the unhealthy practices of the actors. The management of these oppositions of interests is ensured by a traditional regulation, coupled with that of the administration when the situation is of great magnitude.

Bourin, Monique. "Les homines de mansata en Bas-Languedoc (milieu du XIIe – milieu du XIVe siècle) : théorie, pratiques et résistances". Mélanges de l École française de Rome Moyen Âge 112, n. 2 (2000): 883–917. http://dx.doi.org/10.3406/mefr.2000.9073.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Le Bas-Languedoc n’a pas la réputation d’être terre de servitude. Si tel est le cas dans la région de Montpellier et plus à l’est, il en va autrement plus à l’ouest, mais la situation y est nuancée. Au XIIe siècle, rien dans le vocabulaire et les clauses ne semble distinguer une dépendance honorable d’autres formes de dépendance. À partir de la fin du XIIe siècle, la servitude y prend partout une forme réelle, définie comme un statut plus net ; le serfs sont dits homines de mansata. Les traces sont faibles dans la partie centrale où peu à peu le régime de l’emphytéose s’impose aux tenures serviles. Plus à l’ouest, la pression seigneuriale est plus nette, s’accentuant sans doute au XIVe siècle, mais c’est autour d’une restriction au droit de propriété, notamment au droit de transmettre en ligne indirecte que finit par s’organiser le statut et les conflits qu’il génère.

Krüger, Tom, Jan-Hendrik Lorenz e Florian Wörz. "Too much information: Why CDCL solvers need to forget learned clauses". PLOS ONE 17, n. 8 (26 agosto 2022): e0272967. http://dx.doi.org/10.1371/journal.pone.0272967.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Conflict-driven clause learning (CDCL) is a remarkably successful paradigm for solving the satisfiability problem of propositional logic. Instead of a simple depth-first backtracking approach, this kind of solver learns the reason behind occurring conflicts in the form of additional clauses. However, despite the enormous success of CDCL solvers, there is still only a limited understanding of what influences the performance of these solvers in what way. Considering different measures, this paper demonstrates, quite surprisingly, that clause learning (without being able to get rid of some clauses) can not only help the solver but can oftentimes deteriorate the solution process dramatically. By conducting extensive empirical analysis, we furthermore find that the runtime distributions of CDCL solvers are multimodal. This multimodality can be seen as a reason for the deterioration phenomenon described above. Simultaneously, it also gives an indication of why clause learning in combination with clause deletion is virtually the de facto standard of SAT solving, in spite of this phenomenon. As a final contribution, we show that Weibull mixture distributions can accurately describe the multimodal distributions. Thus, adding new clauses to a base instance has an inherent effect of making runtimes long-tailed. This insight provides an explanation as to why the technique of forgetting clauses is useful in CDCL solvers apart from the optimization of unit propagation speed.

Van Poecke, Thomas, Frank Verbruggen e Ward Yperman. "Terrorist offences and international humanitarian law: The armed conflict exclusion clause". International Review of the Red Cross 103, n. 916-917 (aprile 2021): 295–324. http://dx.doi.org/10.1017/s1816383121000321.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractWhile armed conflicts are principally governed by international humanitarian law (IHL), activities of members of non-State armed groups and their affiliates may also qualify as terrorist offences. After explaining why the concurrent application of IHL and criminal law instruments on terrorism causes friction, this article analyzes the chief mechanism for dissipating this friction: a clause excluding activities governed by IHL from the scope of criminal law instruments on terrorism. Such armed conflict exclusion clauses exist at the international, regional and national level. This article explains how an exclusion clause can best avoid friction between IHL and criminal law instruments on terrorism.

Lee, João Bosco. "Parecer: Conflito Cláusula Compromissória". Revista Brasileira de Arbitragem 8, Issue 30 (1 giugno 2011): 7–23. http://dx.doi.org/10.54648/rba2011017.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

ABSTRACT: The present legal opinion is about an arbitration procedure between a Brazilian and a German company that signed an offtake agreement and subsequently an agreement that turned official the avoidance of the contract and other provisions agreed between the parties, having both these contracts established two distinct arbitration clauses that differed as to the place of arbitration and number of arbitrators in the Tribunal. The object of the opinion was to determine which contract would rule the arbitration proposed by one of the parties, to deliberate about the pathology of the arbitration clause and the inconsistency between the two clauses, and to answer the question of which should prevail and about the possibility of one of the parties turning to the Brazilian Tribunals to request that the second party should sign the Arbitration Agreement.

Riddell, Troy Q., e F. L. Morton. "Reasonable Limitations, Distinct Society and the Canada Clause: Interpretive Clauses and the Competition for Constitutional Advantage". Canadian Journal of Political Science 31, n. 3 (settembre 1998): 467–93. http://dx.doi.org/10.1017/s0008423900009094.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractThis article connects the conflict in Canada over formal constitutional amendments—patriation (1982), the Meech Lake (1987) and the Charlottetown (1992) Accords—with constitutional litigation and interpretation. The authors posit that governments and organized social interests compete with and among themselves for constitutional advantage in both forums of constitutional modification, and that outcomes in each forum have predictable consequences for behaviour in the other. Specifically, they argue that conflicts over the “distinct society” (1987) and “Canada” (1992) clauses are best understood as predictable government attempts to regain constitutional resources lost to Charter-based interest groups during the framing of the “reasonable limitation” clause of the Canadian Charter of Rights and Freedoms (1980–1981) and its subsequent judicial operationalization—the “Oakestest” (1986).The conflicts over theses various “interpretative clauses” were not just about “symbolic Status” or “conflicting constitutional visions,” but about winning Charter cases and accumulating legal resources. The authors develop the corollary argument that “advocacy scholarship” has played a complementary role to litigation in “public interest” groups' use of the Charter to challenge government policies.

Purnamasari, Wulan, Elza Syarief e Rina S. Shahrullah. "The Conflict of Trade Secret Protection and Workers’ Rights in Non-Competition Clauses". SIGn Jurnal Hukum 5, n. 1 (31 luglio 2023): 168–81. http://dx.doi.org/10.37276/sjh.v5i1.273.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

This study aims to scrutinize the Non-Competition Clauses in employment contracts as a manifestation of trade secrets and understand how these clauses impact an individual’s right to choose employment. This study uses normative legal research with the statute and comparative approaches. The collected legal material is then qualitatively analyzed to describe the problem and answer study purposes. The results show that including Non-Competition Clauses in employment contracts by employers is a strategic measure to protect trade secrets from competitors. However, every contract must fulfill the requirements for the agreement’s validity subjectively and objectively. Non-Competition Clauses can potentially conflict with workers’ rights as regulated in Article 28D section (2) of the 1945 Constitution, Article 38 section (2) of Law Number 39 of 1999, and Article 31 of Law Number 13 of 2003, thereby violating the objective requirements of employment contracts based on Article 52 section (1) point d of Law Number 13 of 2003. Therefore, it recommended that relevant parties review and evaluate the implementation of Non-Competition Clauses in employment contracts in Indonesia. Before incorporating this clause into the employment contract, employers must consider the agreement’s validity requirements and workers’ rights. Furthermore, the employment contract should further explain the definition and scope of the Non-Competition Clause to avoid different interpretations. Meanwhile, the Government is recommended to create clear regulations concerning the legitimacy of Non-Competition Clauses in employment contracts. These regulations must consider the balance between protecting trade secrets and workers’ rights to employment and income. Lastly, Courts should prioritize protecting workers’ rights in resolving disputes related to breaches of the Non-Competition Clause, especially if employers cannot prove the workers have violated the company’s trade secrets.

Più fonti

Tesi sul tema "Clauses de conflits":

Barnaud, Caroline. "L'efficacité des clauses relatives aux litiges : l'influence de l'arbitrage sur la médiation". Versailles-St Quentin en Yvelines, 2009. http://www.theses.fr/2009VERS032S.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La réponse du droit aux défis et aux enjeux des sociétés contemporaines, la « texture philosophique qui entoure le droit », cet art de dépasser les oppositions, de concilier les contraires sont une dialectique fondatrice des clauses relatives aux litiges en général et de l’arbitrage en particulier. Si l’arbitrage, de nos jours, n’a plus à affirmer sa légitimité, le chemin de la valorisation des clauses relatives aux litiges dans leur ensemble semble être encore parfois semé d’embûche en ce que celles-ci ont émergé relativement récemment dans les catégories juridiques traditionnelles et ont multiplié les difficultés méthodologiques en se situant au carrefour de plusieurs problématiques. La vision adoptée pour en comprendre les enjeux doit donc être résolument transversale. Si toute la matière est guidée par un esprit d’efficacité, elle s’inscrit dans la recherche d’un cadre conceptuel qui s’insère également dans la promotion d’une transformation moderne du droit. L’efficacité des clauses relatives au litige doit donc être éprouvée par une recherche systémique de leur processus d’élaboration nécessairement conventionnel et par leur mise en œuvre effective, répondant au souci d’une justice conventionnelle efficace dans le maintien et la gestion du contrat et imposant la recherche d’une harmonisation de solutions. Entre justice et contrat, « processualisation du contrat » et « contractualisation du procès », la tension et l’ambivalence qui peut exister entre le caractère contractuel et processuel de la clause relative aux litiges, pouvait, de prime abord, présenter le risque de mécontenter tout le monde, mais au final, elle donne l’impression générale d’un nécessaire esprit de … conciliation
The response of the right to the challenges and to the challenges of contemporary societies, the « philosophical texture that surrounds the right », this art to exceed the oppositions of reconciling the contrary are a founder dialectic of case clauses in general and arbitration in particular. If the arbitration, nowadays, has more to say its legitimacy, the path of the appraisal of the clauses relating to the case as a whole seems to be still sometimes planted of problems in what they emerged relatively recently in the traditional legal categories and have multiplied the difficulties methodological standing at the crossroads of several issues. The vision adopted to understand issues must be resolutely cross. If the matter is guided by a spirit of efficiency, it fits in the search of a conceptual framework also inserts in the promotion of a modern transformation of the law. The effectiveness of the clauses relating to the dispute must therefore be proven by a systemic of search their process necessarily conventional development and by putting them in effective work, meet the need for an effective in conventional justice the maintenance and management of the contract and imposing the search for a harmonization of solutions. Between justice and contract, « processualisation of the contract » and « trial contracting » the ambivalence that may exist between the contractual character and processuel of the case clause could, at first glance, present the risk of annoy everyone, but in the end, it gives the overall impression of a necessary spirit of. . . Conciliation

Mansour, Mahran Riham. "Les clauses relatives aux litiges en droit français : aspects internes et internationaux". Paris 1, 2005. http://www.theses.fr/2005PA010256.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les clauses relatives aux litiges sont très appréciées et plus utilisées dans le monde des affaires surtout dans les affaires internationales. Ce monde est marqué par certaines caractéristiques, comme la rapidité et la confidentialité, qui nécessitent un règlement de litige adapté. Or, les juridictions ordinaires donnent souvent des décisions inadaptées à ces relations d'affaires et ses décisions sont toujours imprévisibles. Pour ces raisons, les professionnels préfèrent écarter la solution judiciaire de leurs litiges ou, au moins, l'adapter à leurs besoins par l'insertion de ces clauses. Toutes ces clauses sont soumises au respect des obligations générales de validité des conventions. Elles doivent respecter l'ordre public et être appliquées de bonne foi. La liberté contractuelle joue plus aisément dans le cas des clauses donnant une alternative à la solution judiciaire (1ère partie) que dans les clauses visant à organiser le règlement judiciaire du litige (2ème partie).

Vasalou, Evangelia. "Les conflits d’obligations internationales devant la Cour européenne des droits de l’homme". Electronic Thesis or Diss., Université Paris-Panthéon-Assas, 2024. http://www.theses.fr/2024ASSA0005.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ayant comme axe principal la jurisprudence de la Cour EDH, la présente thèse est centrée sur les conflits entre la CEDH et les autres obligations internationales incombant aux États parties. L’approche de la Cour EDH témoigne de la nécessité de cohérence en droit et de l’harmonisation des conflits d’obligations. Visant à harmoniser les éventuelles contrariétés la Cour de Strasbourg ne s’est pas interrogée sur les causes de ces conflits. L’objet de cette thèse consiste ainsi à rechercher s’il y a des règles juridiques aptes à aménager les conflictualités en amont en générant pour les États l’obligation d’élaborer des normes créant des obligations concordantes. En outre, l’étude se fixe pour objectif de systématiser les cas des conflits entre la CEDH et les autres obligations internationales dans les affaires portées devant la Cour EDH, afin de mettre en relief les conditions d’émergence de ces conflits et de s’interroger sur les moyens de leur gestion. Une grande partie de la réflexion va au-delà de la critique de l’efficacité des moyens d’harmonisation employés par la jurisprudence strasbourgeoise pour proposer des solutions permettant d’éviter les conflits. L’analyse de l’applicabilité des moyens de résolution des conflits s’inscrit dans le cadre de la gestion des conflits dans lesquels sont impliquées les obligations issues de la CEDH. Dans ce contexte, la thèse met l’accent sur les moyens de résolution des conflits qui pourraient être appliqués dans le futur, dans l’hypothèse où la Cour EDH reconnaitrait explicitement une situation de conflit entre la CEDH et une autre obligation internationale
This thesis explores the question of conflicts between the ECHR and other international obligations for State parties by focusing on the case law of the ECtHR. The ECtHR's approach reflects the need for consistency in law and harmonisation of conflicting obligations. Setting the objective of harmonising potential conflicts, the Court of Strasbourg did not raise the question about the causes of those conflicts. This thesis seeks to examine whether there are any legal rules that could prevent conflicts by obliging States to establish norms that createcompatible obligations. In addition, the study aims to systematise conflicts between the ECHR and other international obligations in cases which were lodged with the ECtHR, in order to highlight the conditions of emergence of these conflicts and to examine the means of their coordination. The overarching theme of the study goes beyond the criticism of the effectiveness of the means of harmonisation applied by the case-law of the Court of Strasbourg, proposing solutions for the avoidance of conflicts. The analysis of the applicability of the means of conflict resolution is part of the management of conflicts in which the obligations of the ECHRare involved. In this context, the thesis delves into the means of conflict resolution that could be applied in the future, should the ECtHR explicitly recognise a situation of conflict between the ECHR and another international obligation

Le, Pape Claude. "Des systèmes d'ordonnancement flexibles et opportunistes". Paris 11, 1988. http://www.theses.fr/1988PA112108.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les chercheurs en intelligence artificielle veulent déterminer comment un système informatique doit être organisé pour qu'un comportement intelligent en émerge. La première partie de cette thèse montre comment des techniques qu'ils ont développées peuvent être utilisées pour résoudre des problèmes d'ordonnancement Quatre systèmes d'ordonnancement à court terme, appelés SOJA, ISIS, OPIS et SONIA, y sont présentés. De façon réciproque, l'étude des problèmes d'ordonnancement nous permet d'étudier des situations dans lesquelles un système doit faire preuve d'un minimum d’intelligence. Il faut en effet sélectionner des heuristiques et des algorithmes de recherche adaptés au problème à résoudre. Ll faut aussi réaliser un compromis entre l'intérêt et le coût de la mise en œuvre de diverses techniques de propagation. La deuxième partie de cette thèse est consacrée à la mise en œuvre d'un système adaptable de propagation de contraintes. Ce système est utilisé pour tester et pour comparer différents compromis entre (1) le fait qu'une propagation importante d'informations permet de détecter longtemps à l'avance les conséquences néfastes de l'évolution d'un atelier de fabrication et d'éviter de longues explorations d'espaces vides de solution et (2) la nécessité de limiter la propagation parce qu'il s'agit d'une activité très coûteuse en temps de calcul
Artificial Intelligence researchers are interested in determining how physical symbol systems must be organized to exhibit general intelligence. The first part of the thesis shows how various techniques they developed can be used to solve job-shop scheduling problems. Four knowledge-based scheduling systems, SOJA, ISIS, OPIS and SONIA, are concisely presented. Reciprocally, scheduling problems provide examples of situations in which scheduling systems need to give proof of intelligence. Indeed, the efficiency of a scheduling system is increased when it identifies the most distinctive characteristics of a scheduling problem and selects heuristics and search procedures accordingly. Similarly, it is often suitable to make constraint propagation and consistency checking strategi. Es vary from one problem to another and from one sub-problem to another. The second part of the thesis is concerned with the design and the implementation of a "flexible" propagation system. The "flexibility" of the system enables the definition and the comparison of various compromises among the cost and the helpfulness of using constraint propagation techniques

Huchet, Guillaume. "La clause de médiation". Lyon 3, 2007. https://scd-resnum.univ-lyon3.fr/out/theses/2007_out_huchet_g.pdf.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La clause de médiation est une stipulation qui a pour objet le règlement amiable des conflits apparaissant au cours de la vie d'un contrat. En ce sens, les parties contractantes s'obligent lors de la survenance d'un différend à mettre en oeuvre préalablement à toute action en justice, un processus de médiation, afin de trouver sous l'égide d'un médiateur une solution amiable. La clause de médiation est une stipulation originale, car elle a un objet duel à la fois contractuel et processuel. Elle comporte en effet un engagement de ne pas agir en justice et une obligation de négocier. Pour permettre une négociation utile, la clause de médiation suspend le droit d'action de chacune des parties. Toute action en justice exercée au mépris de cet engagement entraîne le prononcé d'une fin de non-recevoir ; l'action est dite prématurée. L'obligation de négocier peut se définir comme l'obligation par laquelle les parties s'engagent dans un premier temps à mettre en place le processus de médiation par la désignation d'un médiateur puis à conclure un protocole de mission. Elles devront ensuite s'efforcer de négocier, dans un esprit de bonne foi et de loyauté, une éventuelle solution amiable. Le processus de médiation prendra alors fin soit par la conclusion d'un accord de conciliation, généralement une transaction, soit par le constat d'un échec permettant alors aux parties de retrouver leur liberté d'agir en justice
The clause of mediation is a clause of a contract which has for matter, during execution contract, to settle the conflict out of court. Contracting parties are obliged during the emergence of a dispute to implement, before any suit, a process of mediation in order to conclude an amicable agreement. The clause of mediation is an original stipulation, because it has a duel object: contractual and "processuel". It indeed contains a commitment not to act in justice and an obligation to negotiate. To allow a useful negotiation, the clause of mediation is forbidden to act on court for each contracting parties. Any suit exercised in defiance of this commitment entails the pronouncement of an objection; the action is said premature. The obligation to negotiate can define itself as the obligation by which contracting parties undertake at first to set up the process of mediation by the designation of a mediator then to conclude a protocol of mission. They will have to make best efforts to negotiate, with loyalty and fairness, a possible amicable issue. The success of the mediation process is when contracting parties conclude a conciliation agreement, generally a compromise. The failure of the mediation process allows each contracting parties to act in a court of law in order to end up the dispute

Huchet, Guillaume Ouerdane-Aubert de Vincelles Carole. "La clause de médiation". Lyon : Université Lyon 3, 2008. http://thesesbrain.univ-lyon3.fr/sdx/theses/lyon3/2007/huchet_g.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Demtchinsky, Nicolas. "La clause de conciliation". Paris 13, 2008. http://www.theses.fr/2008PA131012.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Dans un contexte de développement des Modes Alternatifs de Règlement des Conflits, la conciliation a su s’imposer comme un système efficace de régulation juridique. La clause de conciliation permet aux parties d’anticiper le règlement des différends qui pourraient survenir, en les contraignant, préalablement à toute action en justice, à mettre en place un processus de conciliation afin de négocier les termes d’une solution amiable. Originale par sa forme, cette clause doit pouvoir être identifiée par sa singularité à l’égard des autres clauses de règlements amiables, permettant à ses éventuels usagers d’en comprendre le sens afin de pouvoir en soigner la rédaction, condition essentielle à son effectivité. Par sa finalité, la clause de conciliation permet de multiples avantages, tels que la facilité de son accès, son moindre coût et le gain de temps qu’elle met à la disposition des parties l’insérant dans le contrat, elle permet encore de préserver de bons rapports entre deux parties tels que cela peut être nécessaire dans le cadre de relations commerciales. Ce domaine, marqué par une réalité économique très concrète, a ainsi pu mettre à profit ce mode de résolution des conflits depuis un certain nombre d’années. Si ces atouts dans la résolution des conflits sont à opposer aux reproches souvent adressés à la justice étatique, la conciliation ne prétend pas pour autant à la remplacer, mais au contraire à la compléter. L’efficacité de cette clause a pu être critiquée, considérée comme relative, du fait de son exécution soumise à la bonne volonté des parties, posant la question de la sanction de sa non-application. Lui manifestant du même coup son accord de principe, la Cour de Cassation, dans une décision du 14 février 2003 prise en Chambre Mixte, est venue affirmer la dualité de son régime juridique, entre contrat et procès, restaurant ainsi sa force obligatoire, sanctionnant son non respect par l’irrecevabilité de l’action en justice
Alternative Dispute Resolutions are being more and more used. Therefore, conciliation is now seen as a good way to regulate conflicts. The conciliation clause is a tool that enables the parties to anticipate the resolution of conflicts that could happen. It obligates the parties to set up a conciliation process in order to find a friendly agreement, and it is only if this process fails that they can go to court. This clause is quite original, and should be distinguished from all the other types of friendly agreements in order to help its users to understand in what it consists exactly. That way, they will know how to write it, which is compulsory. The conciliation clause has many advantages such as its easy access, its low cost, the little time it takes. It is also a good way for its users to maintain a good relationship. Since a certain number of years, the economic field has benefited from this clause. Those advantages are to be opposed to the criticizes that are made against the state justice. Nevertheless, the aim of the conciliation is not to take the place of state justice, but to complement it. Yet, the efficiency of the clause has been criticized because its implementation depends on the parties, which has raised the question of the sanctions that should be taken in case of its unimplementation. The Cassation Court has given its agreement of principle to the clause of conciliation thanks to a decision taken on February 14th 2003 by the Mixt Chamber, and has given to it a compulsory force , which sustains its jurdical status. And this Court has decided that a tough sanction should by taken in case of its unimplementation

Posocco, Laurent. "La clause compromissoire : contribution à l'étude sur l'arbitrabilité des litiges". Toulouse 1, 2011. http://www.theses.fr/2011TOU10070.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Cette thèse apporte une contribution à la définition de l'objet de la clause compromissoire. Celui-ci appréhende l'ensemble du procès. Il embrasse la totalité de la résolution de l'antagonisme. De la description de l'objet, elle déduit un certain nombre de propriétés de la clause compromissoire qui motivent son cantonnement. Sont ainsi découverts les critères guidant la compromissibilité des hypothèses de litiges et qui relèvent soit de la préservation de l'accès au juge, soit de la disponibilité du pouvoir de sanctionner. En outre, la démonstration s'appuie sur une lecture nouvelle de l'article 2059 du Code civil qui lui permet de justifier tous les cas de compromissibilité. L'appréciation de certains critères de compromissibilité connait cependant un assouplissement commandé par la vie des affaires. Ainsi, sera déduite une qualité attachée à la clause compromissoire : celle de sa permanence
The thesis offers a contribution to the definition of the arbitration clause’s object. It is involved in the whole lawsuit. It embraces the entire resolution of the antagonism. From the object’s description, it deduces some attributes of the arbitration clause which explain the borders. Criteria guiding the arbitration possibilities from hypothesis litigation are discovering: they come from the conservation of the access to the judge, or from the availability of the power of sanction. Moreover, the demonstration is based on a new lecture of the article 2059 of the Civil Code justifying all arbitration cases. Assessment of specific arbitration possibilities criteria goes with a relaxation because of the business affairs. So, it appears that a quality is attached to the arbitration clause: her permanence

Ward, Jeffrey Alan. "Answer set programming with clause learning". Connect to this title online, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1092840020.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Thesis (Ph. D.)--Ohio State University, 2004.
Title from first page of PDF file. Document formatted into pages; contains xv, 170 p. : ill. Advisors: Timothy J. Long and John S. Schlipf, Department of Computer Science and Engineering. Includes bibliographical references (p. 165-170).

Stingl, Harald. "Forum selection in the conflict of laws /". Wien : Verlag Österreich, 2001. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=009337363&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Clauses de conflits":

International Congress of Comparative Law (14th 1994 Athens, Greece). Les clauses d'exception en matière de conflits de lois et de conflits de juridictions, ou, le principe de proximité: XIVe congrès international de droit comparé = Exception clauses in conflicts of laws and conflicts of jurisdictions, or, the principle of proximity : XIVth International Congress of Comparative Law. Dordrecht: M. Nijhoff Publishers, 1994.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Marcel, Fontaine. Drafting international contracts: Analysis of contract clauses. Ardsley, NY: Transnational Publishers, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Fontaine, Marcel. Drafting international contracts: An analysis of contract clauses. Leiden: Martinus Nijhoff Pub., 2009.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Marcel, Fontaine. Drafting international contracts: An analysis of contract clauses. Leiden: Martinus Nijhoff Pub., 2009.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Marcel, Fontaine. Droit des contrats internationaux: Analyse et redaction de clauses. 2^a ed. Paris: Forum Européen de la Communication, 2003.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Lupoi, Michele Angelo. Conflitti transnazionali di giurisdizioni. Milano: A. Giuffrè, 2002.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Werlauff, Erik. International contracts: The UNIDROIT principles as an alternative to clauses on governing law. Copenhagen, Denmark: Ex Tuto Publishing, 2013.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rasmussen-Bonne, Hans-Eric. Alternative Rechts- und Forumswahlklauseln: Eine vergleichende Darstellung. Frankfurt am Main: P. Lang, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rutgers, Jacobien W. International reservation of title clauses: A study of Dutch, French, and German private international law in the light of European law. The Hague: T.M.C. Asser Press, 1999.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Fabri, Hélène Ruiz. La jurisprudence de l'OMC: The Case-law of the WTO 1999-1. Leiden [etc.]: Martinus Nijhoff Publishers, 2007.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Clauses de conflits":

Reeves, Joseph E., Marijn J. H. Heule e Randal E. Bryant. "Preprocessing of Propagation Redundant Clauses". In Automated Reasoning, 106–24. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractThe propagation redundant (PR) proof system generalizes the resolution and resolution asymmetric tautology proof systems used by conflict-driven clause learning (CDCL) solvers. PR allows short proofs of unsatisfiability for some problems that are difficult for CDCL solvers. Previous attempts to automate PR clause learning used hand-crafted heuristics that work well on some highly-structured problems. For example, the solver SaDiCaL incorporates PR clause learning into the CDCL loop, but it cannot compete with modern CDCL solvers due to its fragile heuristics. We present PReLearn, a preprocessing technique that learns short PR clauses. Adding these clauses to a formula reduces the search space that the solver must explore. By performing PR clause learning as a preprocessing stage, PR clauses can be found efficiently without sacrificing the robustness of modern CDCL solvers. On a large portion of SAT competition benchmarks we found that preprocessing with PReLearn improves solver performance. In addition, there were several satisfiable and unsatisfiable formulas that could only be solved after preprocessing with PReLearn. PReLearn supports proof logging, giving a high level of confidence in the results.

Haifani, Fajar, e Christoph Weidenbach. "Semantic Relevance". In Automated Reasoning, 208–27. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_13.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractA clause C is syntactically relevant in some clause set N, if it occurs in every refutation of N. A clause C is syntactically semi-relevant, if it occurs in some refutation of N. While syntactic relevance coincides with satisfiability (if C is syntactically relevant then $$N\setminus \{C\}$$ N \ { C } is satisfiable), the semantic counterpart for syntactic semi-relevance was not known so far. Using the new notion of a conflict literal we show that for independent clause sets N a clause C is syntactically semi-relevant in the clause set N if and only if it adds to the number of conflict literals in N. A clause set is independent, if no clause out of the clause set is the consequence of different clauses from the clause set.Furthermore, we relate the notion of relevance to that of a minimally unsatisfiable subset (MUS) of some independent clause set N. In propositional logic, a clause C is relevant if it occurs in all MUSes of some clause set N and semi-relevant if it occurs in some MUS. For first-order logic the characterization needs to be refined with respect to ground instances of N and C.

Leidinger, Hendrik, e Christoph Weidenbach. "SCL(EQ): SCL for First-Order Logic with Equality". In Automated Reasoning, 228–47. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_14.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractWe propose a new calculus SCL(EQ) for first-order logic with equality that only learns non-redundant clauses. Following the idea of CDCL (Conflict Driven Clause Learning) and SCL (Clause Learning from Simple Models) a ground literal model assumption is used to guide inferences that are then guaranteed to be non-redundant. Redundancy is defined with respect to a dynamically changing ordering derived from the ground literal model assumption. We prove SCL(EQ) sound and complete and provide examples where our calculus improves on superposition.

Kullmann, Oliver, e Ankit Shukla. "Transforming Quantified Boolean Formulas Using Biclique Covers". In Tools and Algorithms for the Construction and Analysis of Systems, 372–90. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_23.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractWe introduce the global conflict graph of DQCNFs (dependency quantified conjunctive normal forms), recording clashes between clauses on such universal variables on which all existential variables depend (called “global variables”). The biclique covers of this graph correspond to the eligible clause-slices of the DQCNF which consider only the global variables. We show that all such slices yield satisfiability-equivalent variations. This opens the possibility to realise this slice using as few global variables as possible. We give basic theoretical results and first supporting experimental data.

Bryant, Randal E., e Marijn J. H. Heule. "Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver". In Automated Deduction – CADE 28, 433–49. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_25.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractExisting proof-generating quantified Boolean formula (QBF) solvers must construct a different type of proof depending on whether the formula is false (refutation) or true (satisfaction). We show that a QBF solver based on ordered binary decision diagrams (BDDs) can emit a single dual proof as it operates, supporting either outcome. This form consists of a sequence of equivalence-preserving clause addition and deletion steps in an extended resolution framework. For a false formula, the proof terminates with the empty clause, indicating conflict. For a true one, it terminates with all clauses deleted, indicating tautology. Both the length of the proof and the time required to check it are proportional to the total number of BDD operations performed. We evaluate our solver using a scalable benchmark based on a two-player tiling game.

Kullmann, Oliver. "The Combinatorics of Conflicts between Clauses". In Theory and Applications of Satisfiability Testing, 426–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24605-3_32.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Laitinen, Tero, Tommi Junttila e Ilkka Niemelä. "Conflict-Driven XOR-Clause Learning". In Theory and Applications of Satisfiability Testing – SAT 2012, 383–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31612-8_29.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rutgers, Jacobien W. "The Influence of European Law on the Conflict Rules Governing a Reservation of Title Clause". In International Reservation of Title Clauses, 167–206. The Hague: T.M.C. Asser Press, 1999. http://dx.doi.org/10.1007/978-90-6704-457-8_4.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Van Gelder, Allen. "Generalized Conflict-Clause Strengthening for Satisfiability Solvers". In Theory and Applications of Satisfiability Testing - SAT 2011, 329–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21581-0_26.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Hay, Peter. "Forum-Selection and Choice-of-Law Clauses in American Conflicts Law". In In Memory of Michael Gruson, 195–212. Berlin, New York: de Gruyter Recht, 2009. http://dx.doi.org/10.1515/9783899496833.195.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Clauses de conflits":

Osama, Muhammad, e Anton Wijs. "Multiple Decision Making in Conflict-Driven Clause Learning". In 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, 2020. http://dx.doi.org/10.1109/ictai50040.2020.00035.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Hebrard, Emmanuel, e George Katsirelos. "Conflict Directed Clause Learning for Maximum Weighted Clique Problem". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/183.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The maximum clique and minimum vertex cover problems are among Karp's 21 NP-complete problems, and have numerous applications: in combinatorial auctions, for computing phylogenetic trees, to predict the structure of proteins, to analyse social networks, and so forth. Currently, the best complete methods are branch & bound algorithms and rely largely on graph colouring to compute a bound. We introduce a new approach based on SAT and on the "Conflict-Driven Clause Learning" (CDCL) algorithm. We propose an efficient implementation of Babel's bound and pruning rule, as well as a novel dominance rule. Moreover, we show how to compute concise explanations for this inference. Our experimental results show that this approach is competitive and often outperforms the state of the art for finding cliques of maximum weight.

Majalawa, Vie’an Huzair, Putranto Hadi Utomo, Tri Atmojo Kusmayadi e Diari Indriati. "Conflict driven clause learning approach for satisfiability modulo theory". In THE THIRD INTERNATIONAL CONFERENCE ON MATHEMATICS: Education, Theory and Application. AIP Publishing, 2021. http://dx.doi.org/10.1063/5.0039296.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Gocht, Stephan, Ruben Martins, Jakob Nordström e Andy Oertel. "Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract)." In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/716.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However, the fact that SAT proof logging is performed in conjunctive normal form (CNF) clausal format means that it has not been possible to extend guarantees of correctness to the use of SAT solvers for more expressive combinatorial paradigms, where the first step is an unverified translation of the input to CNF. In this work, we show how cutting-planes-based reasoning can provide proof logging for solvers that translate pseudo-Boolean (a.k.a. 0-1 integer linear) decision problems to CNF and then run CDCL. We are hopeful that this is just a first step towards providing a unified proof logging approach that will extend to maximum satisfiability (MaxSAT) solving and pseudo-Boolean optimization in general.

Jayathilaka, R. D. W. W., e K. G. A. S. Waidyasekara. "Contractual implications related to the construction industry in pandemic situations: A review of case laws". In 10th World Construction Symposium. Building Economics and Management Research Unit (BEMRU), University of Moratuwa, 2022. http://dx.doi.org/10.31705/wcs.2022.21.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

COVID-19 catastrophe has created various complications related to the construction industry. Conflicts arise between parties to the contract and among the majority of stakeholders. A successful contractual implication can manage the contractual challenges arising within construction job sites. The most common contractual provisions for the situation are Force Majeure and Changes in Legislation clauses in standard conditions of contracts. Sufficiency of the available remedies under the provisions applicable to COVID-19 or any other pandemics is a current talking point in the construction industry. Following questions are addressed to manage these unprecedented situation-related contractual conflicts: ‘what are the contractual challenges faced by the construction industry?’, ‘what are the most applicable contractual provisions to a pandemic situation?’, ‘what are the pandemic-related guidelines applicable to the construction industry?’, and ‘what are the available legal cases to use in a pandemic situation?’ The questions were discussed by carefully analysing existing literature referring to Case Laws. Future researchers are encouraged to suggest appropriate strategies for contractual challenges to facilitate the construction stakeholders to prepare them for future pandemics.

Le Berre, Daniel, Pierre Marquis, Stefan Mengel e Romain Wallon. "On Irrelevant Literals in Pseudo-Boolean Constraint Learning". In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/160.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Learning pseudo-Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict-driven clause learning solvers. In this paper, we show that PB constraints derived using cutting planes may contain irrelevant literals, i.e., literals whose assigned values (whatever they are) never change the truth value of the constraint. Such literals may lead to infer constraints that are weaker than they should be, impacting the size of the proof built by the solver, and thus also affecting its performance. This suggests that current implementations of PB solvers based on cutting planes should be reconsidered to prevent the generation of irrelevant literals. Indeed, detecting and removing irrelevant literals is too expensive in practice to be considered as an option (the associated problem is NP-hard).

Đorđević, Slavko. "Merodavno pravo za ugovor o distribuciji u međunarodnom privatnom pravu Srbije". In XVI Majsko savetovanje. University of Kragujevac, Faculty of Law, 2020. http://dx.doi.org/10.46793/upk20.075dj.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

In this paper author analyses the conflict-of-law regime for cross-border distribution contracts in Serbian private international law. The study begins with the characterisation of distribution contract and its delimitation form other similar contracts in Serbian legal system, such as a sale contract, franchising contract and agency contract. It continues with the analysis of conflict-of-law rules of Serbian PIL Act which have to be applied to distribution contract, where the attention is given to the choice of law rule of Art. 19 of Serbian PIL Act and to the hard conflict-of law rule for innominate contracts contained in Art. 20 point 20 of Serbian PIL Act which may be derogated by special escape clause (Art. 20 sentence 1 of Serbian PIL Act). This hard conflict-of-law rule is heavily criticised because it deviates from the principle of characteristic performance which has been established in hard conflict- of-law rules of Art. 20 point 1-19 that apply to nominate contracts. Finally, author analyses the issue of determining applicable law for formal validity of distribution contract as well as the application of overriding mandatory rules which directly affect the cross-border distribution contracts.

Böhm, Benjamin, Tomáš Peitl e Olaf Beyersdorff. "QCDCL with Cube Learning or Pure Literal Elimination - What is Best?" In Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/ijcai.2022/248.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Quantified conflict-driven clause learning (QCDCL) is one of the main approaches for solving quantified Boolean formulas (QBF). We formalise and investigate several versions of QCDCL that include cube learning and/or pure-literal elimination, and formally compare the resulting solving models via proof complexity techniques. Our results show that almost all of the QCDCL models are exponentially incomparable with respect to proof size (and hence solver running time), pointing towards different orthogonal ways how to practically implement QCDCL.

Bogaerts, Bart, e Antonius Weinzierl. "Exploiting Justifications for Lazy Grounding of Answer Set Programs". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/240.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Answer set programming (ASP) is an established knowledge representation formalism. Lazy grounding avoids the so-called grounding bottleneck of ASP by interleaving grounding and solving; this technique was recently extended to work with conflict-driven clause learning. Unfortunately, it often happens that such a lazy grounding ASP system, at the fixpoint of the evaluation, arrives at an assignment that contains literals that are true but unjustified. The system then is unable to determine the actual causes of the situation and falls back to chronological backtracking, potentially wasting an exponential amount of time. In this paper, we show how top-down query mechanisms can be used to analyze the situation, learn a new clause or nogood, and backjump further in the search tree. Contributions include a rephrasing of lazy grounding in terms of justifications and algorithms to construct relevant justifications without grounding. Initial experiments indicate that the newly developed techniques indeed allow for an exponential speed-up.

Blanchette, Jasmin Christian, Mathias Fleury e Christoph Weidenbach. "A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/667.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

We developed a formal framework for SAT solving using the Isabelle/HOL proof assistant. Through a chain of refinements, an abstract CDCL (conflict-driven clause learning) calculus is connected to a SAT solver that always terminates with correct answers. The framework offers a convenient way to prove theorems about the SAT solver and experiment with variants of the calculus. Compared with earlier verifications, the main novelties are the inclusion of the CDCL rules for forget, restart, and incremental solving and the use of refinement.