Knowledge Representation, Reasoning and Declarative Problem Solving
DOI10.1017/CBO9780511543357zbMATH Open1192.68666MaRDI QIDQ3572044FDOQ3572044
Publication date: 8 July 2010
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)
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- LARS: a logic-based framework for analytic reasoning over streams
- Title not available (Why is that?)
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- Title not available (Why is that?)
- Title not available (Why is that?)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae
- Title not available (Why is that?)
- 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)