![Logic programming / Logic in computer science / Non-classical logic / Mathematical optimization / Stable model semantics / Answer set programming / Fuzzy logic / NP / Computational complexity theory / Theoretical computer science / Applied mathematics / Complexity classes Logic programming / Logic in computer science / Non-classical logic / Mathematical optimization / Stable model semantics / Answer set programming / Fuzzy logic / NP / Computational complexity theory / Theoretical computer science / Applied mathematics / Complexity classes](https://www.pdfsearch.io/img/c711416799b11604c07b556120fb7e35.jpg)
| Document Date: 2012-01-17 09:39:13 Open Document File Size: 264,21 KBShare Result on Facebook
City Vrije Universiteit Brussel / / Company SIAM Journal / BP / Cambridge University Press / / Country Belgium / / Currency pence / / / Facility Ghent University / / IndustryTerm Web Reasoning / linear graph algorithms / computing / continuous systems / least solution / immediate consequence operator / least solutions / / Organization Cambridge University / Ghent University / Research Foundation / / Person De Cock / / Position General / head / M. General / / PublishedMedium SIAM Journal on Computing / Theoretical Computer Science / / Technology linear graph algorithms / Fuzzy Logic / /
SocialTag |