Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/167640
-
Titel: 
FDNC: Decidable nonmonotonic Disjunctive Logic Programs with Function Symbols
en
Zitat: 
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
-
Verlags-DOI: 
10.1145/1656242.1656249
-
Publikationstyp: 
Artikel - Forschungsartikel
de
Sprache: 
Englisch
-
Autor_innen: 
Eiter, Thomas 
Šimkus, Mantas 
-
Organisations­einheit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
-
Zeitschrift: 
ACM Transactions on Computational Logic 
-
ISSN: 
1529-3785
-
Datum (veröffentlicht): 
22-Jan-2010
-
Umfang: 
50
-
Verlag: 
ASSOC COMPUTING MACHINERY
-
Peer Reviewed: 
Ja
-
Keywords: 
Theoretical Computer Science; General Computer Science; Computational Mathematics; Logic
-
Projekttitel: 
Reasoning in Hybrid Knowledge Bases (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
ONOTRULE - ONTOlogies meet business RULEs 
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Article

Zur Langanzeige

Seiten Aufrufe

115
aufgerufen am 22.11.2023

Google ScholarTM

Check