Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

9. Conclusion

verfasst von : Vladimir Lifschitz

Erschienen in: Answer Set Programming

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The discussion of answer set programming in this book is incomplete in three ways. First, it says almost nothing about the algorithms that answer set solvers use to find stable models, about what happens “under the hood.” Section 3.​4 is, in fact, the only place where the operation of answer set solvers is discussed in any detail. The algorithms implemented in Smodels are described in Chaps. 3 and 4 of the doctoral dissertation of one of its designers (Simons, Extending and implementing the stable model semantics. Ph.D. Thesis, Helsinki University of Technology, 2000). You can learn about the operation of clingo from Chaps. 4 and 6 of the book (Gebser et al. Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning. Morgan and Claypool Publishers, 2012) written by members of the Potassco team.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Dynamic Systems
Nächstes Kapitel Correction to: Propositional Programs and Minimal Models
Literatur
4.
Evgenii Balai, Michael Gelfond, and Yuanlin Zhang. Towards Answer Set Programming with sorts. In Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 135–147, 2013.
5.
Marcello Balduccini. CR-models: an inference engine for CR-Prolog. In Proceedings of the Eighteenth International Conference on Logic Programming and Nonmonotonic Reasoning, pages 18–30, 2005.
6.
Marcello Balduccini. ASP with non-Herbrand partial functions: a language and system for practical use. Theory and Practice of Logic Programming, 13:547–561, 2013.MathSciNetCrossRef
7.
Marcello Balduccini and Michael Gelfond. Logic programs with consistency-restoring rules. In Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 2003.
8.
Marcello Balduccini and Yuliya Lierler. Constraint answer set solver EZCSP and why integration schemas matter. Theory and Practice of Logic Programming, 17:462–515, 2017.MathSciNetCrossRef
9.
Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, and Torsten Schaub. Clingcon: The next generation. Theory and Practice of Logic Programming, 17:408–461, 2017.MathSciNetCrossRef
11.
Michael Bartholomew and Joohyung Lee. Stable models of formulas with intensional functions. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning, pages 2–12, 2012.
14.
Gerhard Brewka. Logic programming with ordered disjunction. In Proceedings of the Eighteenth National Conference on Artificial Intelligence, pages 100–105, 2003.
15.
Gerhard Brewka, James Delgrande, Javier Romero, and Torsten Schaub. asprin: Customizing answer set preferences without a headache. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pages 1467–1474, 2015.
17.
Pedro Cabalar. Functional Answer Set Programming. Theory and Practice of Logic Programming, 11:203–234, 2011.MathSciNetCrossRef
21.
Baral Chitta, Michael Gelfond, and Nelson Rushton. Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming, 9:57–144, 2009.MathSciNetCrossRef
29.
Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, and Peter Schüller. A model building framework for Answer Set Programming with external computations. Theory and Practice of Logic Programming, 16(4):418–464, 2016.MathSciNetCrossRef
31.
Esra Erdem, Michael Gelfond, and Nicola Leone. Applications of Answer Set Programming. AI Magazine, 37:53–68, 2016.CrossRef
36.
Andreas Falkner, Gerhard Friedrich, Konstantin Schekotihin, Richard Taupe, and Erich Teppan. Industrial applications of Answer Set Programming. Künstliche Intelligenz, 32:165–176, 2018.CrossRef
45.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers, 2012.CrossRef
47.
Martin Gebser, Max Ostrowski, and Torsten Schaub. Constraint answer set solving. In Proceedings of 25th International Conference on Logic Programming (ICLP), pages 235–249. Springer, 2009.
67.
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, and Torsten Schaub. Clingo goes linear constraints over reals and integers. Theory and Practice of Logic Programming, 17:872–888, 2017.MathSciNetCrossRef
112.
Patrik Simons. Extending and Implementing the Stable Model Semantics. PhD thesis, Helsinki University of Technology, 2000.
Metadaten
Titel
Conclusion
verfasst von
Vladimir Lifschitz
Copyright-Jahr
2019
Buch
Answer Set Programming

Print ISBN: 978-3-030-24657-0

Electronic ISBN: 978-3-030-24658-7

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-030-24658-7_9

Premium Partner

    Bildnachweise