[图书][B] Answer set solving in practice
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
[PDF][PDF] Potassco: The Potsdam answer set solving collection
M Gebser, B Kaufmann, R Kaminski, M Ostrowski… - Ai …, 2011 - Citeseer
Potassco: The Potsdam Answer Set Solving Collection Page 1 AI Communications 24 (2011)
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …
[图书][B] Answer set programming
V Lifschitz - 2019 - cdn.aaai.org
Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …
difficult search problems. As an outgrowth of research on the use of nonmonotonic …
Conflict-driven answer set solving: From theory to practice
We introduce an approach to computing answer sets of logic programs, based on concepts
successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in …
successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in …
Answer set planning: a survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …
that is, solutions to planning problems, that transform a given state of the world to another …
Systematic drug repurposing through text mining
LB Tari, JH Patel - Biomedical Literature Mining, 2014 - Springer
Drug development remains a time-consuming and highly expensive process with high
attrition rates at each stage. Given the safety hurdles drugs must pass due to increased …
attrition rates at each stage. Given the safety hurdles drugs must pass due to increased …
Answer set programming for procedural content generation: A design space approach
AM Smith, M Mateas - … on Computational Intelligence and AI in …, 2011 - ieeexplore.ieee.org
Procedural content generators for games produce artifacts from a latent design space. This
space is often only implicitly defined, an emergent result of the procedures used in the …
space is often only implicitly defined, an emergent result of the procedures used in the …
Discovering drug–drug interactions: a text-mining and reasoning approach based on properties of drug metabolism
Motivation: Identifying drug–drug interactions (DDIs) is a critical process in drug
administration and drug development. Clinical support tools often provide comprehensive …
administration and drug development. Clinical support tools often provide comprehensive …
Improving bit-blasting for nonlinear integer constraints
Nonlinear integer constraints are common and difficult in the verification and analysis of
software/hardware. SMT (QF_NIA) generalizes such constraints, which is a boolean …
software/hardware. SMT (QF_NIA) generalizes such constraints, which is a boolean …
[PDF][PDF] Answer set programming via mixed integer programming
G Liu, T Janhunen, I Niemela - Thirteenth International Conference on …, 2012 - cdn.aaai.org
Answer set programming is a programming paradigm where a given problem is formalized
as a logic program whose answer sets correspond to the solutions to the problem. In this …
as a logic program whose answer sets correspond to the solutions to the problem. In this …