Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207MaRDI QIDQ5473979zbMATH OpenOpenAlexFDO

Authors Jia-Huai You, Li Yan Yuan, Curtis Onuczko, Guohua Liu

Publication date 23 June 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11546207

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Logic Programming
• No more ``Partial and ``Full Looking Ahead
• Experimenting with Look-Back Heuristics for Hard ASP Programs
• Lookahead-Based SMT Solving
• On the Integration of Singleton Consistencies and Look-Ahead Heuristics

Cited in

(3)

• Lookahead-Based SMT Solving
• Logic Programming
• On the relation among answer set solvers

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5473979)