Publications

CMMUS: A Tool for Circumscription-Based Mus Membership Testing

AuthID
P-002-Z39

Author(s)

Janota, M

Marques Silva, J

Editor(s)

Delgrande,JP;Faber,W

Document Type

Proceedings Paper

Year published

2011

Published

in LOGIC PROGRAMMING AND NONMONOTONIC REASONING in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 6645, Pages: 266-271 (6)

Conference

11Th International Conference on Logic Programming and Nonmonotonic Reasoning (Lpnmr), Date: MAY 16-19, 2011, Location: Vancouver, CANADA, Sponsors: Artificial Intelligence Journal, Pacific Inst Math Sci (PIMS), Assoc Log Programming (ALP), Simon Fraser Univ, Host: Univ Calabria

Indexing