DC Field
Value
Language
dc.contributor.author
Saribatur Yaman, Zeynep Gözen
-
dc.contributor.author
Knorr, Matthias
-
dc.contributor.author
Goncalves, Ricardo
-
dc.contributor.author
Leite, Joao
-
dc.date.accessioned
2024-11-28T15:27:27Z
-
dc.date.available
2024-11-28T15:27:27Z
-
dc.date.issued
2024
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Saribatur Yaman, Z. G., Knorr, M., Goncalves, R., &#38; Leite, J. (2024). On Abstracting over the Irrelevant in Answer Set Programming. In <i>Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning</i> (pp. 654–664). https://doi.org/10.24963/kr.2024/61</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/204920
-
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.subject
Logic Programming
en
dc.subject
Abstraction
en
dc.subject
Generalization
en
dc.subject
Computational Complexity
en
dc.title
On Abstracting over the Irrelevant in Answer Set Programming
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
NOVA LINCS, NOVA University Lisbon, Portugal
-
dc.contributor.affiliation
NOVA LINCS, NOVA University Lisbon, Portugal
-
dc.contributor.affiliation
NOVA LINCS, NOVA University Lisbon, Portugal
-
dc.relation.isbn
978-1-956792-05-8
-
dc.description.startpage
654
-
dc.description.endpage
664
-
dc.relation.grantno
T 1315-N
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning
-
tuw.peerreviewed
true
-
tuw.project.title
Abstraktion für verständliches Schließen in der KI
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publisher.doi
10.24963/kr.2024/61
-
dc.description.numberOfPages
11
-
tuw.event.name
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
en
tuw.event.startdate
02-11-2024
-
tuw.event.enddate
08-11-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
VN
-
tuw.event.presenter
Knorr, Matthias
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
NOVA LINCS, NOVA University Lisbon, Portugal
-
crisitem.author.dept
NOVA LINCS, NOVA University Lisbon, Portugal
-
crisitem.author.dept
NOVA LINCS, NOVA University Lisbon, Portugal
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
T 1315-N
-
Appears in Collections:
Conference Paper
Show simple item record

Google ScholarTM

Check