The multi-engine asp solver me-asp

, &
In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 484--487 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?Markus Hecher - 2022 - Artificial Intelligence 304 (C):103651.
Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
Domain expansion for ASP-programs with external sources.Thomas Eiter, Michael Fink, Thomas Krennwallner & Christoph Redl - 2016 - Artificial Intelligence 233 (C):84-121.
Vicious circle principle, aggregates, and formation of sets in ASP based languages.Michael Gelfond & Yuanlin Zhang - 2019 - Artificial Intelligence 275 (C):28-77.
RASP and ASP as a fragment of linear logic.Stefania Costantini & Andrea Formisano - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):49-74.
Forgetting in multi-agent modal logics.Liangda Fang, Yongmei Liu & Hans van Ditmarsch - 2019 - Artificial Intelligence 266 (C):51-80.
Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
The Configurable SAT Solver Challenge.Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos & Kevin Leyton-Brown - 2017 - Artificial Intelligence 243 (C):1-25.
What is answer set programming?Vladimir Lifschitz - unknown
The Novamente Artificial Intelligence Engine.Ben Goertzel & Cassio Pennachin - 2006 - In Ben Goertzel & Cassio Pennachin (eds.), Artificial General Intelligence. Springer Verlag. pp. 76-129.

Analytics

Added to PP
2014-01-28

Downloads
27 (#577,964)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references