Knowledge Representation, Reasoning and Declarative Problem Solving
From MaRDI portal
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Cited in
(12)- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- LARS: a logic-based framework for analytic reasoning over streams
- Pinpointing axioms in ontologies via ASP
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Argumentation-based semantics for logic programs with first-order formulae
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- scientific article; zbMATH DE number 7455723 (Why is no real title available?)
- Debugging non-ground ASP programs: technique and graphical tools
- scientific article; zbMATH DE number 6606379 (Why is no real title available?)
- Computationally hard problems for logic programs under answer set semantics
- Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
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)
