Found 17 Documents (Results 1–17)
Logic, languages, and rules for web data extraction and reasoning over data. (English) Zbl 1485.68088
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 27-47 (2017).
Recent advances in Datalog\(^\pm \). (English) Zbl 1358.68054
Faber, Wolfgang (ed.) et al., Reasoning web. Web logic rules. 11th international summer school 2015, Berlin, Germany, July 31 – August 4, 2015. Tutorial lectures. Cham: Springer (ISBN 978-3-319-21767-3/pbk; 978-3-319-21768-0/ebook). Lecture Notes in Computer Science 9203, 193-217 (2015).
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. (English) Zbl 1308.68113
Reviewer: Udo Hahn (Jena)
Datalog and its extensions for semantic web databases. (English) Zbl 1251.68088
Eiter, Thomas (ed.) et al., Reasoning web. Semantic technologies for advanced query answering. 8th international summer school 2012, Vienna, Austria, September 3–8, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33157-2/pbk). Lecture Notes in Computer Science 7487, 54-77 (2012).
Monadic Datalog and the expressive power of languages for web information extraction. (English) Zbl 1316.68045
Linear time Datalog and branching time logic. (English) Zbl 0979.68060
Minker, Jack (ed.), Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 597, 443-467 (2000).
On the complexity of single-rule datalog queries. (English) Zbl 0944.68052
Ganzinger, Harald (ed.) et al., Logic for programming and automated reasoning. 6th international conference, LPAR ’99, Tbilisi, Georgia, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1705, 201-222 (1999).
A non-ground realization of the stable and well-founded semantics. (English) Zbl 0872.68108
MSC:
68Q55
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. (English) Zbl 0883.03015
Selective inheritance of attribute values in relational databases. (English) Zbl 0767.68031
MSC:
68P15
Datalog: A self-contained tutorial. II. (English) Zbl 0875.68365
Program. Comput. Softw. 17, No. 5, 242-257 (1991) and Programmirovanie 1991, No. 5 9-31 (1991).
Filter Results by …
Document Type
- Journal Articles (12)
- Collection Articles (5)
all
top 5
Author
- Gottlob, Georg (17)
- Pieris, Andreas (4)
- Eiter, Thomas (2)
- Koch, Christoph T. (2)
- Leone, Nicola (2)
- Papadimitriou, Christos Harilaos (2)
- Veith, Helmut (2)
- Ceri, Stefano (1)
- Grädel, Erich (1)
- Gurevich, Yuri (1)
- Lukasiewicz, Thomas (1)
- Manna, Marco (1)
- Marcus, Sherry (1)
- Martinez, Maria Vanina (1)
- Morak, Michael (1)
- Nerode, Anil (1)
- Orsi, Giorgio (1)
- Pichler, Reinhard (1)
- Salzer, Gernot (1)
- Schrefl, Michael (1)
- Simari, Gerardo I. (1)
- Šimkus, Mantas (1)
- Stumptner, Markus (1)
- Subrahmanian, V. S. (1)
- Tanca, Letizia (1)
- Wei, Fang (1)
all
top 5
Serial
- Artif. Intell. (2)
- Theor. Comput. Sci. (2)
- Ann. Pure Appl. Logic (2)
- Discrete Appl. Math. (1)
- Program. Comput. Softw. (1)
- Inf. Comput. (1)
- Ann. Math. Artif. Intell. (1)
- J. ACM (1)
- ACM Trans. Comput. Log. (1)
