<div class="csl-bib-body">
<div class="csl-entry">Simkus, M., & Eiter, T. (2007). FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols. In N. Dershowitz & A. Voronkov (Eds.), <i>Logic for Programming, Artificial Intelligence, and Reasoning</i> (pp. 514–530). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-540-75560-9_37</div>
</div>
-
dc.identifier.isbn
9783540755609
-
dc.identifier.isbn
9783540755586
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/51914
-
dc.publisher
Springer Lecture Notes in Computer Science
-
dc.title
FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Logic for Programming, Artificial Intelligence, and Reasoning
-
dc.relation.isbn
978-3-540-75558-6
-
dc.relation.doi
10.1007/978-3-540-75560-9
-
dc.description.startpage
514
-
dc.description.endpage
530
-
dc.type.category
Full-Paper Contribution
-
dc.publisher.place
4790
-
tuw.booktitle
Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 4790)
-
tuw.container.volume
4790
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
LNCS 4790
-
tuw.book.chapter
37
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-03 - Forschungsbereich Knowledge Based Systems
-
tuw.publisher.doi
10.1007/978-3-540-75560-9_37
-
dc.description.numberOfPages
17
-
tuw.event.name
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
