Publications

Approved Models for Normal Logic Programs

AuthID
P-004-DV8

Author(s)

Pereira, LM

Pinto, AM

Editor(s)

Dershowitz, N; Voronkov, A

Document Type

Proceedings Paper

Year published

2007

Published

in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, ISSN: 0302-9743

Volume: 4790, Pages: 454-468 (15)

Conference

14Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Date: OCT 15-19, 2007, Location: Yerevan, ARMENIA

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/145256

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-75560-9_33

DBLP: conf/lpar/PereiraP07

SCOPUS: 2-s2.0-38149125474

Wos: WOS:000251785100033

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Approved Models for Normal Logic Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Approved Models for Normal Logic Programs

Useful Links

Get Help