default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Jörg H. Siekmann 2005
- Dieter Hutter, Werner Stephan:
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 2605, Springer 2005, ISBN 3-540-25051-4 - Dieter Hutter
, Werner Stephan:
A Portrait of a Scientist: Logic, AI and Politics. 1-13
Logic and Deduction
- Peter B. Andrews:
Some Reflections on Proof Transformations. 14-29 - Alessandro Armando, Luca Compagna, Silvio Ranise:
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation. 30-45 - Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. 46-58 - Howard Barringer, Dov M. Gabbay, John Woods:
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. 59-98 - Christoph Beierle, Gabriele Kern-Isberner:
Footprints of Conditionals. 99-119 - Wolfgang Bibel:
Time for Thinking Big in AI. 120-131 - Dimitri Chubarov, Andrei Voronkov:
Solving First-Order Constraints over the Monadic Class. 132-138 - Manfred Kerber:
From MKRP to Omega. 139-153 - Manfred Schmidt-Schauß:
Decidable Variants of Higher-Order Unification. 154-168 - Wilfried Sieg, Saverio Cittadini:
Normal Natural Deduction Proofs (in Non-classical Logics). 169-191 - Claus-Peter Wirth:
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! 192-203 - Larry Wos:
The Flowering of Automated Reasoning. 204-227
Applications of Logics
- Franz Baader, Ian Horrocks, Ulrike Sattler:
Description Logics as Ontology Languages for the Semantic Web. 228-248 - Peter Baumgartner, Ulrich Furbach:
Living Books, Automated Deduction and Other Strange Things. 249-267 - Johan van Benthem:
An Essay on Sabotage and Obstruction. 268-276 - Christoph Benzmüller, Andreas Meier, Volker Sorge:
Bridging Theorem Proving and Mathematical Knowledge Retrieval. 277-296 - Leonard Bolc:
Formal Description of Natural Languages: An HPSG Grammar of Polish. 297-320 - Mateja Jamnik, Alan Bundy:
Psychological Validity of Schematic Proofs. 321-341 - Armin Fiedler:
Natural Language Proof Explanation. 342-363 - Erica Melis:
Why Proof Planning for Maths Education and How?. 364-378
Formal Methods and Security
- Bernd Krieg-Brückner:
Towards MultiMedia Instruction in Safe and Secure Systems. 379-395 - Manfred Broy:
The Impact of Models in Software Development. 396-406 - Dieter Hutter, Serge Autexier:
Formal Software Development in MAYA. 407-432 - Deepak Kapur, Paliath Narendran, Lida Wang:
A Unification Algorithm for Analysis of Protocols with Blinded Signatures. 433-451 - Heiko Mantel, Axel Schairer:
Exploiting Generic Aspects of Security Models in Formal Developments. 452-475 - Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock:
Verification Support Environment. 476-493
Agents and Planning
- Marco Benedetti, Luigia Carlucci Aiello:
SAT-Based Cooperative Planning: A Proposal. 494-513 - Michael Beetz:
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots. 514-527 - Jim Doran:
Agents with Exact Foreknowledge. 528-542 - Klaus Fischer:
Self-organisation in Holonic Multiagent Systems. 543-563
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-18 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
