LEADER 03316oam 2200445Ka 450 001 9910260644903321 005 20160803105141.0 035 $a(CKB)2670000000263650 035 $a(OCoLC)827013085 035 $a(OCoLC-P)827013085 035 $a(MaCbMITP)2122 035 $a(PPN)259165875 035 $a(EXLCZ)992670000000263650 100 $a20130208d1994 uy 0 101 0 $aeng 135 $aurcnu---unuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aConstraint-based reasoning /$fedited by Eugene C. Freuder and Alan K. Mackworth 210 $aCambridge, Mass. $cMIT Press$d1994 215 $a1 online resource (403 pages) $cillustrations 300 $a"A Bradford book." 300 $aReprinted from Artificial intelligence, volume 58, numbers 1-3, 1992. 311 $a0-262-28844-3 330 $aConstraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware.Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages.Contents :- Introduction, E. C. Freuder, A. K. Mackworth.- The Logic of Constraint Satisfaction, A. K. Mackworth.- Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace.- Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen.- Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas.- Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird.- Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain.- Structure Identification in Relational Data, R. Dechter, J. Pearl.- Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey.- Reasoning about Qualitative Temporal Information, P. van Beek.- A Geometric Constraint Engine, G. A. Kramer.- A Theory of Conflict Resolution in Planning, Q. Yang.A Bradford Book. 606 $aConstraints (Artificial intelligence) 606 $aReasoning 610 $aCOMPUTER SCIENCE/Artificial Intelligence 615 0$aConstraints (Artificial intelligence) 615 0$aReasoning. 676 $a006.3 701 $aFreuder$b Eugene C$01207762 701 $aMackworth$b Alan K$0305375 801 0$bOCoLC-P 801 1$bOCoLC-P 906 $aBOOK 912 $a9910260644903321 996 $aConstraint-based reasoning$92786361 997 $aUNINA LEADER 03898nam 22005895 450 001 9910154285103321 005 20230124201039.0 010 $a9780226275994 010 $a022627599X 024 7 $a10.7208/9780226275994 035 $a(CKB)4340000000022388 035 $a(MiAaPQ)EBC4761017 035 $a(StDuBDS)EDZ0001621513 035 $a(DE-B1597)524486 035 $a(OCoLC)965543745 035 $a(DE-B1597)9780226275994 035 $a(Perlego)1852618 035 $a(EXLCZ)994340000000022388 100 $a20191022d2017 fg 101 0 $aeng 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aPolitical Philosophy and the Challenge of Revealed Religion /$fHeinrich Meier 210 1$aChicago : $cUniversity of Chicago Press, $d[2017] 210 4$dİ2017 215 $a1 online resource (211 pages) 300 $aTranslation of: Politische Philosophie und die Herausforderung der Offenbarungsreligion. 300 $aIncludes index. 311 08$a9780226275857 311 08$a022627585X 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tContents -- $tPreface -- $tNote on Translation -- $tNote on Citations -- $tI. Why Political Philosophy? -- $tII. The Renewal of Philosophy and the Challenge of Revealed Religion: On the Intention of Leo Strauss's Thoughts on Machiavelli -- $tIII. The Right of Politics and the Knowledge of the Philosopher: On the Intention of Jean-Jacques Rousseau's Du contrat social -- $tAppendix: Leo Strauss, Thoughts on Machiavelli: The Headings -- $tIndex of Names 330 $aHeinrich Meier's guiding insight in Political Philosophy and the Challenge of Revealed Religion is that philosophy must prove its right and its necessity in the face of the claim to truth and demand obedience of its most powerful opponent, revealed religion. Philosophy must rationally justify and politically defend its free and unreserved questioning, and, in doing so, turns decisively to political philosophy. In the first of three chapters, Meier determines four intertwined moments constituting the concept of political philosophy as an articulated and internally dynamic whole. The following two chapters develop the concept through the interpretation of two masterpieces of political philosophy that have occupied Meier's attention for more than thirty years: Leo Strauss's Thoughts on Machiavelli and Jean-Jacques Rousseau's Social Contract. Meier provides a detailed investigation of Thoughts on Machiavelli, with an appendix containing Strauss's original manuscript headings for each of his paragraphs. Linking the problem of Socrates (the origin of political philosophy) with the problem of Machiavelli (the beginning of modern political philosophy), while placing between them the political and theological claims opposed to philosophy, Strauss's most complex and controversial book proves to be, as Meier shows, the most astonishing treatise on the challenge of revealed religion. The final chapter, which offers a new interpretation of the Social Contract, demonstrates that Rousseau's most famous work can be adequately understood only as a coherent political-philosophic response to theocracy in all its forms. 606 $aPolitical science$xPhilosophy 606 $aPhilosophy and religion 606 $aPolitical theology 606 $aReligion and politics 615 0$aPolitical science$xPhilosophy. 615 0$aPhilosophy and religion. 615 0$aPolitical theology. 615 0$aReligion and politics. 676 $a320.01 700 $aMeier$b Heinrich, $0269390 701 $aBerman$b Robert$048362 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910154285103321 996 $aPolitical Philosophy and the Challenge of Revealed Religion$92060361 997 $aUNINA