Record link: 
http://hdl.handle.net/20.500.12708/167640
-
Title: 
FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols
en
Citation: 
Eiter, T., & Šimkus, M. (2010). FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols. ACM Transactions on Computational Logic, 11(2), 1–50. https://doi.org/10.1145/1656242.1656249
-
Publisher DOI: 
10.1145/1656242.1656249
-
Publication Type: 
Article - Original Research Article
en
Language: 
English
-
Authors: 
Eiter, Thomas 
Šimkus, Mantas 
-
Organisational Unit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Journal: 
ACM Transactions on Computational Logic 
-
ISSN: 
1529-3785
-
Date (published): 
22-Jan-2010
-
Number of Pages: 
50
-
Publisher: 
ASSOC COMPUTING MACHINERY
-
Peer reviewed: 
Yes
-
Keywords: 
Theoretical Computer Science; General Computer Science; Computational Mathematics; Logic
-
Project title: 
Reasoning in Hybrid Knowledge Bases (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
ONOTRULE - ONTOlogies meet business RULEs 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
Mathematik, Informatik
-
Appears in Collections:
Article

Show full item record

Page view(s)

114
checked on Nov 22, 2023

Google ScholarTM

Check