default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSusanne Biundo-Stephan
Susanne Biundo
Person information
- affiliation: Ulm University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j14]Pascal Bercher
, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford:
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. 42(1): 83-85 (2021)- [j13]Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35(3): 367-375 (2021) - [j12]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35(3): 391-396 (2021) - [c78]Conny Olz, Susanne Biundo, Pascal Bercher:
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI 2021: 11903-11912 - [e6]Susanne Biundo, Minh Do, Robert Goldman, Michael Katz, Qiang Yang, Hankz Hankui Zhuo:
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021. AAAI Press 2021, ISBN 978-1-57735-867-1 [contents] - 2020
- [j11]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67: 835-880 (2020) - [c77]Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo:
On Succinct Groundings of HTN Planning Problems. AAAI 2020: 9775-9784 - [c76]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford:
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI 2020: 9883-9891 - [c75]Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo:
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020: 343-347 - [c74]Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker:
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI 2020: 585-594 - [c73]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Plan Repair via Model Transformation. KI 2020: 88-101
2010 – 2019
- 2019
- [j10]Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32(1): 31-57 (2019) - [c72]Gregor Behnke, Daniel Höller, Susanne Biundo:
Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning. AAAI 2019: 7520-7529 - [c71]Gregor Behnke, Daniel Höller, Susanne Biundo:
Finding Optimal Solutions in HTN Planning - A SAT-based Approach. IJCAI 2019: 5500-5508 - [c70]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019: 6171-6175 - [i3]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
Hierarchical Planning in the IPC. CoRR abs/1909.04405 (2019) - [i2]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR abs/1911.05499 (2019) - 2018
- [j9]Gregor Behnke, Susanne Biundo:
X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism. Inteligencia Artif. 21(62): 75-90 (2018) - [c69]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. AAAI Workshops 2018: 607-613 - [c68]Gregor Behnke, Daniel Höller, Susanne Biundo:
totSAT - Totally-Ordered Hierarchical Planning Through SAT. AAAI 2018: 6110-6118 - [c67]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018: 114-122 - [c66]Gregor Behnke, Daniel Höller, Susanne Biundo:
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. ICTAI 2018: 73-80 - [c65]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. ICTAI 2018: 466-473 - [c64]Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018: 5805-5807 - [c63]Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker:
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS 2018: 405-410 - [c62]Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker:
Evaluating Knowledge-Based Assistance for DIY. MuC (Workshopband) 2018 - 2017
- [c61]Gregor Behnke, Daniel Höller, Susanne Biundo:
This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems. ICAPS 2017: 20-28 - [c60]Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo:
Help me make a dinner! Challenges when assisting humans in action planning. ICCT 2017 - [c59]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Sloth - The interactive workout planner. ICCT 2017: 1-6 - [c58]Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT 2017: 1-6 - [c57]Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo:
An Admissible HTN Planning Heuristic. IJCAI 2017: 480-488 - [p7]Susanne Biundo, Andreas Wendemuth:
An Introduction to Companion-Technology. Companion Technology 2017: 1-15 - [p6]Thomas Geier, Susanne Biundo:
Multi-level Knowledge Processing in Cognitive Technical Systems. Companion Technology 2017: 17-36 - [p5]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning. Companion Technology 2017: 79-100 - [p4]Felix Richter, Susanne Biundo:
Addressing Uncertainty in Hierarchical User-Centered Planning. Companion Technology 2017: 101-121 - [p3]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo:
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology 2017: 123-144 - [p2]Thilo Hörnle, Michael Tornow, Frank Honold, Reinhard Schwegler, Ralph Heinemann, Susanne Biundo, Andreas Wendemuth:
Companion-Systems: A Reference Architecture. Companion Technology 2017: 449-469 - [p1]Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo:
Advanced User Assistance for Setting Up a Home Theater. Companion Technology 2017: 485-491 - [e5]Susanne Biundo, Andreas Wendemuth:
Companion Technology - A Paradigm Shift in Human-Technology Interaction. Cognitive Technologies, Springer 2017, ISBN 978-3-319-43664-7 [contents] - 2016
- [j8]Susanne Biundo, Daniel Höller, Pascal Bercher:
Special Issue on Companion Technologies. Künstliche Intell. 30(1): 5-9 (2016) - [j7]Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher:
Companion-Technology: An Overview. Künstliche Intell. 30(1): 11-20 (2016) - [j6]Susanne Biundo, Andreas Wendemuth:
Companion-Technology for Cognitive Technical Systems. Künstliche Intell. 30(1): 71-75 (2016) - [c56]Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha:
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS 2016: 20-28 - [c55]Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo:
Change the Plan - How Hard Can That Be? ICAPS 2016: 38-46 - [c54]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016: 158-165 - [c53]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI 2016: 225-233 - [c52]Michael Glodek, Georg Layher, Heiko Neumann, Susanne Biundo, Günther Palm:
On Stacking Probabilistic Temporal Models with Bidirectional Information Flow. Probabilistic Graphical Models 2016: 195-206 - 2015
- [j5]Michael Glodek, Frank Honold, Thomas Geier, Gerald Krell, Florian Nothdurft, Stephan Reuter, Felix Schüssel, Thilo Hörnle, Klaus Dietmayer, Wolfgang Minker, Susanne Biundo, Michael Weber, Günther Palm, Friedhelm Schwenker:
Fusion paradigms in cognitive technical systems for human-computer interaction. Neurocomputing 161: 17-37 (2015) - [c51]Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo:
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI 2015: 4264-4265 - [c50]Gregor Behnke, Daniel Höller, Susanne Biundo:
On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015: 25-33 - [c49]Felix Richter, Thomas Geier, Susanne Biundo:
Believing in POMDPs. ISCT 2015: 25-30 - [c48]Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT 2015: 43-48 - [c47]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT 2015: 79-83 - [c46]Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller:
Integrating Ontologies and Planning for Cognitive Systems. Description Logics 2015 - [c45]Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo:
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015: 1442-1449 - [c44]Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker:
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference 2015: 344-353 - [c43]Thomas Geier, Felix Richter, Susanne Biundo:
Locally Conditioned Belief Propagation. UAI 2015: 296-305 - [e4]Susanne Biundo-Stephan, Andreas Wendemuth, Enrico Rukzio:
Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), September 23rd-25th, Ulm University, Germany. Ulm University 2015 [contents] - 2014
- [c42]Pascal Bercher, Susanne Biundo, Thomas Geier, Thilo Hoernle, Florian Nothdurft, Felix Richter, Bernd Schattenberg:
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. ICAPS 2014 - [c41]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Language Classification of Hierarchical Planning Problems. ECAI 2014: 447-452 - [c40]Thomas Geier, Felix Richter, Susanne Biundo:
Conditioned Belief Propagation Revisited. ECAI 2014: 1011-1012 - [c39]Frank Honold, Pascal Bercher, Felix Richter, Florian Nothdurft, Thomas Geier, Roland Barth, Thilo Hoernle, Felix Schüssel, Stephan Reuter, Matthias Rau, Gregor Bertrand, Bastian Seegebarth, Peter Kurzok, Bernd Schattenberg, Wolfgang Minker, Michael Weber, Susanne Biundo-Stephan:
Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems. Intelligent Environments 2014: 378-381 - [c38]Pascal Bercher, Shawn Keen, Susanne Biundo:
Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS 2014: 35-43 - 2013
- [c37]Michael Glodek, Thomas Geier, Susanne Biundo, Friedhelm Schwenker, Günther Palm:
Recognizing User Preferences Based on Layered Activity Recognition and First-Order Logic. ICTAI 2013: 648-653 - [c36]Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo:
On Delete Relaxation in Partial-Order Causal-Link Planning. ICTAI 2013: 674-681 - [c35]Pascal Bercher, Thomas Geier, Susanne Biundo:
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI 2013: 1-12 - 2012
- [c34]Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo:
Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI 2012: 1763-1769 - [c33]Bastian Seegebarth, Felix Müller, Bernd Schattenberg, Susanne Biundo:
Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations. ICAPS 2012 - [c32]Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo:
Exploiting Expert Knowledge in Factored POMDPs. ECAI 2012: 606-611 - [c31]Pascal Bercher, Susanne Biundo:
A Heuristic for Hybrid Planning with Preferences. FLAIRS 2012 - [c30]Thomas Geier, Susanne Biundo, Stephan Reuter, Klaus Dietmayer:
Track-Person Association Using a First-Order Probabilistic Model. ICTAI 2012: 844-851 - [c29]Thomas Geier, Stephan Reuter, Klaus Dietmayer, Susanne Biundo:
Goal-Based Person Tracking Using a First-Order Probabilistic Model. BMA 2012: 18-25 - [i1]Susanne Biundo-Stephan, Hans Werner Guesgen, Joachim Hertzberg, Stephen Marsland:
Interpreting Observed Action (Dagstuhl Seminar 12491). Dagstuhl Reports 2(12): 1-16 (2012) - 2011
- [j4]Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg:
Advanced user assistance based on AI planning. Cogn. Syst. Res. 12(3-4): 219-236 (2011) - [j3]Susanne Biundo, Julien Bidot, Bernd Schattenberg:
Planning in the Real World. Inform. Spektrum 34(5): 443-454 (2011) - [c28]Andreas Wendemuth, Susanne Biundo:
A Companion Technology for Cognitive Technical Systems. COST 2102 Training School 2011: 89-103 - [c27]Susanne Biundo, Dietmar F. Rösner, Harald C. Traue, Andreas Wendemuth:
Workshop: Companion-Systeme und Mensch-Companion-Interaktion. GI-Jahrestagung 2011: 235 - [c26]Thomas Geier, Susanne Biundo:
Approximate Online Inference for Dynamic Markov Logic Networks. ICTAI 2011: 764-768 - [c25]Felix Müller, Susanne Biundo:
HTN-Style Planning in Relational POMDPs Using First-Order FSCs. KI 2011: 216-227 - [c24]Mohamed Elkawkagy, Susanne Biundo:
Hybrid Multi-agent Planning. MATES 2011: 16-28 - 2010
- [j2]Susanne Biundo, Andreas Wendemuth:
Von kognitiven technischen Systemen zu Companion-Systemen. Künstliche Intell. 24(4): 335-339 (2010) - [c23]Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo:
Landmarks in Hierarchical Planning. ECAI 2010: 229-234 - [c22]Julien Bidot, Susanne Biundo, Tobias Heinroth, Wolfgang Minker, Florian Nothdurft, Bernd Schattenberg:
Verbal Plan Explanations for Hybrid Planning. MKWI 2010: 2309-2320
2000 – 2009
- 2009
- [c21]Bernd Schattenberg, Julien Bidot, Sascha Geßler, Susanne Biundo:
A Framework for Interactive Hybrid Planning. KI 2009: 17-24 - 2008
- [c20]Julien Bidot, Bernd Schattenberg, Susanne Biundo:
Plan Repair in Hybrid Planning. KI 2008: 169-176 - 2007
- [j1]Bernd Schattenberg, Steffen Balzer, Susanne Biundo:
Realizing Hybrid Planning Systems as Modern Software Environments. Künstliche Intell. 21(1): 16-22 (2007) - [c19]Bernd Schattenberg, Julien Bidot, Susanne Biundo:
On the Construction and Evaluation of Flexible Plan-Refinement Strategies. KI 2007: 367-381 - 2006
- [b3]Susanne Biundo, Volker Claus, Heinrich C. Mayr:
Was ist Informatik? - unser Positionspapier. Gesellschaft für Informatik e.V. 2006, pp. 1-39 - [c18]Bernd Schattenberg, Steffen Balzer, Susanne Biundo:
Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems. ICAPS 2006: 422-425 - [c17]Bernd Schattenberg, Susanne Biundo:
A Unifying Framework for Hybrid Planning and Scheduling. KI 2006: 361-373 - 2005
- [c16]Bernd Schattenberg, Andreas Weigl, Susanne Biundo:
Hybrid Planning Using Flexible Strategies. KI 2005: 249-263 - [e3]Susanne Biundo, Karen L. Myers, Kanna Rajan:
Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), June 5-10 2005, Monterey, California, USA. AAAI 2005, ISBN 1-57735-220-3 [contents] - 2004
- [e2]Susanne Biundo, Thom W. Frühwirth, Günther Palm:
KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science 3238, Springer 2004, ISBN 3-540-23166-8 [contents] - 2002
- [c15]Bernd Schattenberg, Susanne Biundo:
On the Identification and Use of Hierarchical Resources in Planning and Scheduling. AIPS 2002: 263-273 - 2000
- [e1]Susanne Biundo, Maria Fox:
Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings. Lecture Notes in Computer Science 1809, Springer 2000, ISBN 3-540-67866-2 [contents]
1990 – 1999
- 1997
- [c14]Susanne Biundo, Werner Stephan:
System Assistance in Structured Domain Model Development. IJCAI 1997: 1240-1245 - 1996
- [c13]Werner Stephan, Susanne Biundo:
Deduction-Based Refinement Planning. AIPS 1996: 213-220 - [c12]Susanne Biundo, Werner Stephan:
Modeling Planning Domains Systematically. ECAI 1996: 599-603 - 1995
- [c11]Werner Stephan, Susanne Biundo:
Multilevel Refinement Planning in an Interval-Based Temporal Logic. EPIA 1995: 483-487 - 1994
- [c10]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
The System PH. PuK 1994: 155 - 1993
- [c9]Werner Stephan, Susanne Biundo:
A New Logical framework for Deductive Planning. IJCAI 1993: 32-38 - [c8]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
PHI - A Logic-Based Tool for Intelligent Help Systems. IJCAI 1993: 460-466 - [c7]Werner Stephan, Susanne Biundo:
A New Logical Framework for deductive Planning. PuK 1993: 27-38 - [c6]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul:
PHI - A Logica-Based Tool for Intelligent Help Systems. PuK 1993: 39-50 - 1992
- [b2]Susanne Biundo:
Automatische Synthese rekursiver Programme als Beweisverfahren. Karlsruhe Institute of Technology, Germany, Informatik-Fachberichte 302, Springer 1992, ISBN 3-540-55300-2, pp. 1-259 - [b1]Susanne Biundo:
Automatische Synthese rekursiver Programme als Beweisverfahren. Karlsruhe University, Germany, 1992 - [c5]Susanne Biundo, Dietmar Dengler, Jana Koehler:
Deductive Planning and Plan Reuse in a Command Language Environment. ECAI 1992: 628-632 - 1991
- [c4]Mathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger:
Integrated Plan Generation and Recognition - A Logic-Based Approach. Wissensbasierte Systeme 1991: 266-277
1980 – 1989
- 1988
- [c3]Susanne Biundo:
Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool. ECAI 1988: 553-558 - 1986
- [c2]Susanne Biundo, Birgit Hummel, Dieter Hutter, Christoph Walther:
The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674 - [c1]Susanne Biundo:
A Synthesis System Mechanizing Proofs by Induction. ECAI 1986: 287-296
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST 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:
