相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Team-building with answer set programming in the Gioia-Tauro seaport
F. Ricca et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2012)
Detecting inconsistencies in large biological networks with answer set programming
Martin Gebser et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2011)
A self-adaptive multi-engine solver for quantified Boolean formulas
Luca Pulina et al.
CONSTRAINTS (2009)
FURIA: an algorithm for unordered fuzzy rule induction
Jens Huehn et al.
DATA MINING AND KNOWLEDGE DISCOVERY (2009)
Olex: Effective Rule Learning for Text Categorization
Pasquale Rullo et al.
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (2009)
OntoDLV: An ASP-based System for Enterprise Ontologies
Francesco Ricca et al.
JOURNAL OF LOGIC AND COMPUTATION (2009)
Inferring phylogenetic trees using answer set programming
Daniel R. Brooks et al.
JOURNAL OF AUTOMATED REASONING (2007)
The DLV system for knowledge representation and reasoning
Nicola Leone et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2006)
Extending and implementing the stable model semantics
P Simons et al.
ARTIFICIAL INTELLIGENCE (2002)
Logic programming and knowledge representation - The A-Prolog perspective
M Gelfond et al.
ARTIFICIAL INTELLIGENCE (2002)
Algorithm portfolios
CP Gomes et al.
ARTIFICIAL INTELLIGENCE (2001)