Knowledge Representation, Reasoning and Declarative Problem Solving
From MaRDI portal
Publication:3572044
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cited in
(11)- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- LARS: a logic-based framework for analytic reasoning over streams
- Debugging non-ground ASP programs: technique and graphical tools
- scientific article; zbMATH DE number 6606379 (Why is no real title available?)
- Argumentation-based semantics for logic programs with first-order formulae
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Computationally hard problems for logic programs under answer set semantics
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- scientific article; zbMATH DE number 7455723 (Why is no real title available?)
- Pinpointing axioms in ontologies via ASP
This page was built for publication: Knowledge Representation, Reasoning and Declarative Problem Solving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3572044)
