Switch to: Citations

Add references

You must login to add references.
  1. Explanation in artificial intelligence: Insights from the social sciences.Tim Miller - 2019 - Artificial Intelligence 267 (C):1-38.
    Download  
     
    Export citation  
     
    Bookmark   155 citations  
  • Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Design and results of the Fifth Answer Set Programming Competition.Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca - 2016 - Artificial Intelligence 231 (C):151-181.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • RuleRS: a rule-based architecture for decision support systems.Mohammad Badiul Islam & Guido Governatori - 2018 - Artificial Intelligence and Law 26 (4):315-344.
    Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do not provide (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Semi-equilibrium models for paracoherent answer set programs.Giovanni Amendola, Thomas Eiter, Michael Fink, Nicola Leone & João Moura - 2016 - Artificial Intelligence 234 (C):219-271.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Ordered completion for logic programs with aggregates.Vernon Asuncion, Yin Chen, Yan Zhang & Yi Zhou - 2015 - Artificial Intelligence 224 (C):72-102.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Automatic construction of parallel portfolios via algorithm configuration.Marius Lindauer, Holger Hoos, Kevin Leyton-Brown & Torsten Schaub - 2017 - Artificial Intelligence 244 (C):272-290.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On the query complexity of selecting minimal sets for monotone predicates.Mikoláš Janota & Joao Marques-Silva - 2016 - Artificial Intelligence 233 (C):73-83.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An encompassing framework for Paraconsistent Logic Programs.João Alcântara, Carlos Viegas Damásio & Luís Moniz Pereira - 2005 - Journal of Applied Logic 3 (1):67-95.
    Download  
     
    Export citation  
     
    Bookmark   2 citations