Effectively Reasoning about Infinite Sets in Answer Set Programming.
V. Marek, и J. Remmel. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, том 6565 из Lecture Notes in Computer Science, стр. 131-147. Springer, (2011)
Please choose a person to relate this publication to
To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.
You can add a new person with the name "Remmel, Jeffrey B.", or you can "Remmel, Jeffrey B." with a person entry that is so far only been referred to by another name (such as a former name or an alias name).
Helfen Sie Ihrer Community mit Ihrer Entscheidung.
Ihre Entscheidung über die Person, die mit der Publikation assoziiert werden soll, kann in unserem System gespeichert werden, sodass andere Benutzer diese Entscheidung nicht erneut treffen müssen. Möchten Sie Ihre Entscheidung speichern?