8th International Conference on Automated Deduction [[electronic resource] ] : Oxford, England, July 27- August 1, 1986. Proceedings / / edited by Jörg H. Siekmann

• Record Nr.: UNISA996465940003316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986
• ISBN: 3-540-39861-9
• Edizione: [1st ed. 1986.]
• Descrizione fisica: 1 online resource (XII, 716 p.)
• Collana: Lecture Notes in Computer Science, , 0302-9743 ; ; 230
• Disciplina: 511.3
• Soggetti: Mathematical logic; Artificial intelligence; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Artificial Intelligence
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Connections and higher-order logic -- Commutation, transformation, and termination -- Full-commutation and fair-termination in equational (and combined) term-rewriting systems -- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations -- Proving termination of associative commutative rewriting systems by rewriting -- Relating resolution and algebraic completion for Horn logic -- A simple non-termination test for the Knuth-Bendix method -- A new formula for the execution of categorical combinators -- Proof by induction using test sets -- How to prove equivalence of term rewriting systems without induction -- Sufficient completeness, term rewriting systems and ”anti-unification” -- A new method for establishing refutational completeness in theorem proving -- A theory of diagnosis from first principles -- Some contributions to the logical analysis of circumscription -- Modal theorem proving -- Computational aspects of three-valued logic -- Resolution and quantified epistemic logics -- A commonsense theory of nonmonotonic reasoning -- Negative paramodulation -- The ; heuristics and experimental results of a new hyperparamodulation: HL-resolution -- ECR: An equality conditional resolution proof procedure -- Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning -- Formulation of induction formulas in verification of prolog programs -- Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities -- An interactive verification system based on dynamic logic -- What you always wanted to know about clause graph resolution -- Parallel theorem proving with connection graphs -- Theory links in semantic graphs -- Abstraction using generalization functions -- An improvement of deduction plans: Refutation plans -- Controlling deduction with proof condensation and heuristics -- Nested resolution -- Mechanizing constructive proofs -- Implementing number theory: An experiment with Nuprl -- Parallel algorithms for term matching -- Unification in combinations of collapse-free theories with disjoint sets of function symbols -- Combination of unification algorithms -- Unification in the data structure sets -- NP-completeness of the set unification and matching problems -- Matching with distributivity -- Unification in boolean rings -- Some relationships between unification, restricted unification, and matching -- A classification of many-sorted unification problems -- Unification in many-sorted equational theories -- Classes of first order formulas under various satisfiability definitions -- Diamond formulas in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover: Implementation by an extended prolog compiler -- Paths to high-performance automated theorem proving -- Purely functional implementation of a logic -- Causes for events: Their computation and applications -- How to clear a block: Plan formation in situational logic -- Deductive synthesis of sorting programs -- The TPS theorem proving system -- Trspec: A term rewriting based system for algebraic specifications -- Highly parallel inference machine -- Automatic theorem proving in the ISDV system -- The karlsruhe induction theorem proving system -- Overview of a theorem-prover for a computational logic -- GEO-prover — A geometry theorem prover developed at UT -- The markgraf karl refutation procedure (MKRP) -- The J-machine: Functional programming with combinators -- The illinois prover: A general purpose resolution theorem prover -- Theorem proving systems of the Formel project -- The passau RAP system: Prototyping algebraic specifications using conditional narrowing -- RRL: A rewrite rule laboratory -- A geometry theorem prover based on Buchberger's algorithm -- REVE a rewrite rule laboratory -- ITP at argonne national laboratory -- Autologic at university of victoria -- Thinker -- The KLAUS automated deduction system -- The KRIPKE automated theorem proving system -- SHD-prover at university of texas at austin.

The Jews and the nation [[electronic resource] ] : revolution, emancipation, state formation, and the liberal paradigm in America and France / / Frederic Cople Jaher

• Record Nr.: UNINA9910778136303321
• Autore: Jaher Frederic Cople
• Pubbl/distr/stampa: Princeton, N.J., : Princeton University Press, c2002
• ISBN: 1-282-15761-2; 9786612157615; 1-4008-2526-1
• Edizione: [Course Book]
• Descrizione fisica: 1 online resource (304 p.)
• Disciplina: 944/.004924
• Soggetti: Jews - France - History - 18th century; Jews - Emancipation - France; Minorities - Legal status, laws, etc - France - History; National characteristics, French; Jews - United States - History - 18th century; Liberalism - United States - History; Minorities - Legal status, laws, etc - United States - History; Multiculturalism; France Politics and government 18th century; France Social conditions 18th century; France Ethnic relations; France History Philosophy; United States Politics and government 18th century; United States Social conditions To 1865; United States History Philosophy
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references (p. 239-284) and index.
• Nota di contenuto: Frontmatter -- CONTENTS -- PREFACE -- PART I. Introduction -- PART II. The Account -- PART III. Conclusion -- NOTES -- INDEX
• Sommario/riassunto: This book is the first systematic comparison of the civic integration of Jews in the United States and France--specifically, from the two ; countries' revolutions through the American republic and the Napoleonic era (1775-1815). Frederic Jaher develops a vehicle for a broader and uniquely rich analysis of French and American nation-building and political culture. He returns grand theory to historical scholarship by examining the Jewish encounter with state formation and Jewish acquisition of civic equality from the perspective of the "paradigm of liberal inclusiveness" as formulated by Alexis de Tocqueville and Louis Hartz. Jaher argues that the liberal paradigm worked for American Jews but that France's illiberal impulses hindered its Jewish population in acquiring full civic rights. He also explores the relevance of the Tocqueville-Hartz theory for other marginalized groups, particularly blacks and women in France and America. However, the experience of these groups suggests that the theory has its limits. A central issue of this penetrating study is whether a state with democratic-liberal pretensions (America) can better protect the rights of marginalized enclaves than can a state with authoritarian tendencies (France). The Tocqueville-Hartz thesis has become a major issue in political science, and this book marks the first time it has been tested in a historical study. The Jews and the Nation returns a unifying theory to a discipline fragmented by microtopical scholarship.