Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

AvDieter Hutter,Werner Stephan

Häftad, Engelska, 2005

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Produktinformation

Utgivningsdatum:2005-02-23
Mått:155 x 233 x 32 mm
Vikt:867 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:570
Upplaga:2005
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540250517

Utforska kategorier

Informationsteknik: allmänt inom Data och IT

Innehållsförteckning

A Portrait of a Scientist: Logic, AI and Politics.- A Portrait of a Scientist: Logic, AI and Politics.- Logic and Deduction.- Some Reflections on Proof Transformations.- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.- Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.- Footprints of Conditionals.- Time for Thinking Big in AI.- Solving First-Order Constraints over the Monadic Class.- From MKRP to ?MEGA.- Decidable Variants of Higher-Order Unification.- Normal Natural Deduction Proofs (in Non-classical Logics).- History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!.- The Flowering of Automated Reasoning.- Applications of Logics.- Description Logics as Ontology Languages for the Semantic Web.- Living Books, Automated Deduction and Other Strange Things.- An Essay on Sabotage and Obstruction.- Bridging Theorem Proving and Mathematical Knowledge Retrieval.- Formal Description of Natural Languages: An HPSG Grammar of Polish.- Psychological Validity of Schematic Proofs.- Natural Language Proof Explanation.- Why Proof Planning for Maths Education and How?.- Formal Methods and Security.- Towards MultiMedia Instruction in Safe and Secure Systems.- The Impact of Models in Software Development.- Formal Software Development in MAYA.- A Unification Algorithm for Analysis of Protocols with Blinded Signatures.- Exploiting Generic Aspects of Security Models in Formal Developments.- Verification Support Environment.- Agents and Planning.- SAT-Based Cooperative Planning: A Proposal.- Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots.-Agents with Exact Foreknowledge.- Self-organisation in Holonic Multiagent Systems.

Mer från samma författare

Del 56

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Inbunden, 2005

1 864 kr

Security in Pervasive Computing

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

Häftad, 2004

571 kr

Security in Pervasive Computing

Dieter Hutter, Markus Ullmann

Häftad, 2005

571 kr

Security in Pervasive Computing

Markus Ullmann, Dieter Hutter

E-bok

2005

739 kr

Mechanizing Mathematical Reasoning

Werner Stephan, Dieter Hutter

E-bok

2011

1 427 kr

Security in Pervasive Computing

Markus Ullmann, Werner Stephan, Gunter Muller, Dieter Hutter

E-bok

2004

739 kr

Applied Formal Methods - FM-Trends 98

Markus Ullmann, Paolo Traverso, Werner Stephan, Dieter Hutter

E-bok

2007

739 kr

Applied Formal Methods - FM-Trends 98

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Häftad, 1999

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Security in Pervasive Computing

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

Häftad, 2004

571 kr

Security in Pervasive Computing

Markus Ullmann, Werner Stephan, Gunter Muller, Dieter Hutter

E-bok

2004

739 kr

Applied Formal Methods - FM-Trends 98

Markus Ullmann, Paolo Traverso, Werner Stephan, Dieter Hutter

E-bok

2007

739 kr

Applied Formal Methods - FM-Trends 98

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Häftad, 1999

571 kr

Mechanizing Mathematical Reasoning

Werner Stephan, Dieter Hutter

E-bok

2011

1 427 kr

Del 56

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Inbunden, 2005

1 864 kr

Security in Pervasive Computing

Dieter Hutter, Markus Ullmann

Häftad, 2005

571 kr

Security in Pervasive Computing

Markus Ullmann, Dieter Hutter

E-bok

2005

739 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

AvDieter Hutter,Werner Stephan

Häftad, Engelska, 2005

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2005-02-23
Mått:155 x 233 x 32 mm
Vikt:867 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:570
Upplaga:2005
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540250517

Utforska kategorier

Informationsteknik: allmänt inom Data och IT

Innehållsförteckning

A Portrait of a Scientist: Logic, AI and Politics.- A Portrait of a Scientist: Logic, AI and Politics.- Logic and Deduction.- Some Reflections on Proof Transformations.- Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.- SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.- Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.- Footprints of Conditionals.- Time for Thinking Big in AI.- Solving First-Order Constraints over the Monadic Class.- From MKRP to ?MEGA.- Decidable Variants of Higher-Order Unification.- Normal Natural Deduction Proofs (in Non-classical Logics).- History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!.- The Flowering of Automated Reasoning.- Applications of Logics.- Description Logics as Ontology Languages for the Semantic Web.- Living Books, Automated Deduction and Other Strange Things.- An Essay on Sabotage and Obstruction.- Bridging Theorem Proving and Mathematical Knowledge Retrieval.- Formal Description of Natural Languages: An HPSG Grammar of Polish.- Psychological Validity of Schematic Proofs.- Natural Language Proof Explanation.- Why Proof Planning for Maths Education and How?.- Formal Methods and Security.- Towards MultiMedia Instruction in Safe and Secure Systems.- The Impact of Models in Software Development.- Formal Software Development in MAYA.- A Unification Algorithm for Analysis of Protocols with Blinded Signatures.- Exploiting Generic Aspects of Security Models in Formal Developments.- Verification Support Environment.- Agents and Planning.- SAT-Based Cooperative Planning: A Proposal.- Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots.-Agents with Exact Foreknowledge.- Self-organisation in Holonic Multiagent Systems.

Mer från samma författare

Del 56

Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Inbunden, 2005

1 864 kr

Security in Pervasive Computing

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

Häftad, 2004

571 kr

Security in Pervasive Computing

Dieter Hutter, Markus Ullmann

Häftad, 2005

571 kr

Security in Pervasive Computing

Markus Ullmann, Dieter Hutter

E-bok

2005

739 kr

Mechanizing Mathematical Reasoning

Werner Stephan, Dieter Hutter

E-bok

2011

1 427 kr

Security in Pervasive Computing

Markus Ullmann, Werner Stephan, Gunter Muller, Dieter Hutter

E-bok

2004

739 kr

Applied Formal Methods - FM-Trends 98

Markus Ullmann, Paolo Traverso, Werner Stephan, Dieter Hutter

E-bok

2007

739 kr

Applied Formal Methods - FM-Trends 98

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Häftad, 1999

571 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr