Logic Programming

DOI10.1007/B99475zbMath1104.68376OpenAlexW2523427404MaRDI QIDQ5313200

Esra Erdem, Martin Wong

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

Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

The Design of the Sixth Answer Set Programming Competition

Uses Software

• Cmodels

This page was built for publication: Logic Programming