Knowledge Representation, Reasoning and Declarative Problem Solving
From MaRDI portal
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
(12)- 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
- LARS: a logic-based framework for analytic reasoning over streams
- scientific article; zbMATH DE number 6606379 (Why is no real title available?)
- Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- scientific article; zbMATH DE number 7453141 (Why is no real title available?)
- scientific article; zbMATH DE number 7455723 (Why is no real title available?)
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Debugging non-ground ASP programs: technique and graphical tools
- Computationally hard problems for logic programs under answer set semantics
- 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)
