Logic Programming

DOI10.1007/b99475zbMath1104.68379OpenAlexW2523427404MaRDI QIDQ5313201

Li Yan Yuan, Jia-Huai You, Xiu-Mei Jia

Publication date: 26 August 2005

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

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

Mathematics Subject Classification ID

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

Uses Software

• GOLOG
• Smodels
• CPlan

This page was built for publication: Logic Programming