Industrial information integration—A literature review 2006–2015
Y Chen - Journal of industrial information integration, 2016 - Elsevier
In the last few years, Industrial Information Integration Engineering (IIIE) has attracted much
attention by the information and communications technology (ICT) community. However …
attention by the information and communications technology (ICT) community. However …
[HTML][HTML] Methods for solving reasoning problems in abstract argumentation–a survey
Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …
Intelligence. Besides providing a core formalism for many advanced argumentation systems …
Multi-shot ASP solving with clingo
M Gebser, R Kaminski, B Kaufmann… - Theory and Practice of …, 2019 - cambridge.org
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
[BOEK][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) …
Clingo= ASP+ control: Preliminary report
M Gebser, R Kaminski, B Kaufmann… - arxiv preprint arxiv …, 2014 - arxiv.org
We present the new ASP system clingo 4. Unlike its predecessors, being mere monolithic
combinations of the grounder gringo with the solver clasp, the new clingo 4 series offers …
combinations of the grounder gringo with the solver clasp, the new clingo 4 series offers …
[BOEK][B] Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach
M Gelfond, Y Kahl - 2014 - books.google.com
Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …
declarative programming, and the design of knowledge-intensive software systems capable …
[BOEK][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 …
[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 …
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 …
[BOEK][B] Handbook of knowledge representation
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …