![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
60. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.