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
Annals of Mathematics and Artificial Intelligence
Erschienen in: Annals of Mathematics and Artificial Intelligence 2-4/2007

01.12.2007

Complexity results for answer set programming with bounded predicate arities and implications

verfasst von: Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran

Erschienen in: Annals of Mathematics and Artificial Intelligence | Ausgabe 2-4/2007

Einloggen

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

search-config
loading …
Vorheriger Artikel Model checking multi-agent systems with logic based Petri nets
Nächster Artikel A three-valued semantics for querying and repairing inconsistent databases

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 "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

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
Metadaten
Titel
Complexity results for answer set programming with bounded predicate arities and implications
verfasst von
Thomas Eiter
Wolfgang Faber
Michael Fink
Stefan Woltran
Publikationsdatum
01.12.2007
Verlag
Springer Netherlands
Erschienen in
Annals of Mathematics and Artificial Intelligence / Ausgabe 2-4/2007
Print ISSN: 1012-2443
Elektronische ISSN: 1573-7470
DOI
https://doi.org/10.1007/s10472-008-9086-5

Weitere Artikel der Ausgabe 2-4/2007

Annals of Mathematics and Artificial Intelligence 2-4/2007 Zur Ausgabe

OriginalPaper

Preface

OriginalPaper

Model checking multi-agent systems with logic based Petri nets

OriginalPaper

A three-valued semantics for querying and repairing inconsistent databases

OriginalPaper

On look-ahead heuristics in disjunctive logic programming

OriginalPaper

Computing most probable worlds of action probabilistic logic programs: scalable estimation for 1030,000 worlds

OriginalPaper

Enhancing DLV instantiator by backjumping techniques

Premium Partner

    Bildnachweise