Knowledge Representation, Reasoning and Declarative Problem Solving

DOI10.1017/CBO9780511543357zbMath1192.68666MaRDI QIDQ3572044

Chitta R. Baral

Publication date: 8 July 2010

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items

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, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Argumentation-Based Semantics for Logic Programs with First-Order Formulae, Pinpointing axioms in ontologies via ASP, Unnamed Item, Unnamed Item, Unnamed Item, Debugging Non-ground ASP Programs: Technique and Graphical Tools