An Achilles' Heel of Term-Resolution

AuthID
 P-00M-YMC
2
Author(s)
4
Editor(s)
Oliveira,E;Gama,J;Vale,Z;Cardoso,HL
Document Type
Proceedings Paper
Year published
2017
Published
in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017) in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743
Volume: 10423, Pages: 670-680 (11)
Conference
18Th Epia Conference on Artificial Intelligence (Epia), Date: SEP 05-08, 2017, Location: Univ Porto, Fac Engn, Porto, PORTUGAL, Sponsors: EPIA, Univ Porto, Artificial Intelligence & Comp Sci Lab, INESC TEC, Lab Artificial Intelligence & Decis Support, Inst Engn Polytechn Porto, Intelligent Engn & Comp Adv Innovat & Dev Res Grp, Host: Univ Porto, Fac Engn
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/686732
Crossref®3
Unpaywall®
Google Scholar®
Publication Identifiers
Dblp: conf/epia/JanotaM17
Scopus: 2-s2.0-85028965784
Unpaywall: 10.1007/978-3-319-65340-2_55
Wos: WOS:000452455800055
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.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service