Search results for "DATALOG"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract).	SEBD	2009	DBLP BibTeX RDF
14	Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen, Christoph Quix, Martin Staudt 0001	Metamodelling with Datalog and Classes: ConceptBase at the Age of 21.	ICOODB	2009	DBLP DOI BibTeX RDF
14	Ajay Khoche, Jay Katz, Sauro Landini, Kochen Liao, Neetu Agrawal, Glenn Plowman, Songlin Zuo, Liyang Lai, John Rowe, Thomas Zanon	STDF Memory Fail Datalog Standard.	VTS	2009	DBLP DOI BibTeX RDF
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Tractable Query Answering over Ontologies with Datalog+/-.	Description Logics	2009	DBLP BibTeX RDF
14	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	Defining Datalog in Rewriting Logic.	LOPSTR	2009	DBLP DOI BibTeX RDF
14		Query, Datalog.	Encyclopedia of GIS	2008	DBLP DOI BibTeX RDF
14		Datalog, SQL.	Encyclopedia of GIS	2008	DBLP DOI BibTeX RDF
14	María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva	DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.	PROLE	2008	DBLP DOI BibTeX RDF
14	Torsten Stüber, Heiko Vogler	Weighted monadic datalog.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
14	Andreas Blass, Yuri Gurevich	Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog	CoRR	2008	DBLP BibTeX RDF
14	Manuel Bodirsky, Víctor Dalmau	Datalog and Constraint Satisfaction with Infinite Templates	CoRR	2008	DBLP BibTeX RDF
14	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Monadic Datalog over Finite Structures with Bounded Treewidth	CoRR	2008	DBLP BibTeX RDF
14	Andreas Blass, Yuri Gurevich	Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog.	Bull. EATCS	2008	DBLP BibTeX RDF
14	Sergio Greco, Luigi Palopoli 0001, Nicola Leone, Pasquale Rullo, Domenico Saccà	Logic Programming in DataLog: A Long Tour from Theory to Practice.	Il Milione	2008	DBLP BibTeX RDF
14	Paolo Atzeni, Giorgio Gianforme	Inheritance and Polymorphism in Datalog: an experience in Model Management.	EJC	2008	DBLP DOI BibTeX RDF
14	David Bednárek	Extending Datalog to cover XQuery.	ITAT	2008	DBLP BibTeX RDF
14	Ismail Khalil Ibrahim, Mohamed Ali Feki, Gabriele Kotsis	A Datalog Model for Context Reasoning in Pervasive Environments.	ISPA	2008	DBLP DOI BibTeX RDF
14	Ajay Khoche, Phil Burlison, John Rowe, Glenn Plowman	A Tutorial on STDF Fail Datalog Standard.	ITC	2008	DBLP DOI BibTeX RDF
14	Elnar Hajiyev	Datalog as a pointcut language.		2008	RDF
14	Goetz Schwandtner	Datalog on infinite structures. (PDF / PS)		2008	RDF
14	Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez	A New Proposal for Debugging Datalog Programs.	WFLP@RDP	2007	DBLP DOI BibTeX RDF
14	Marianne Winslett	Boon Thau Loo speaks out: on his SIGMOD dissertation award, better networking through datalog, life as an assistant professor, and more.	SIGMOD Rec.	2007	DBLP DOI BibTeX RDF
14	László Egri, Benoît Larose, Pascal Tesson	Symmetric Datalog and Constraint Satisfaction Problems in Logspace.	Electron. Colloquium Comput. Complex.	2007	DBLP BibTeX RDF
14	Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante	Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator).	J. Algorithms	2007	DBLP DOI BibTeX RDF
14	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Efficient Datalog Abduction through Bounded Treewidth.	AAAI	2007	DBLP BibTeX RDF
14	Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Extending Datalog for Matchmaking in P2P E-Marketplaces.	SEBD	2007	DBLP BibTeX RDF
14	Jan Frederik Forst, Thomas Roelleke, Anastasios Tombros	Modelling a Summarisation Logic in Probabilistic Datalog.	LWA	2007	DBLP BibTeX RDF
14	Ágnes Achs	From Fuzzy - to Bipolar - Datalog.	EUSFLAT Conf. (2)	2007	DBLP BibTeX RDF
14	Jianfeng Du, Yi-Dong Shen	Partitioning ABoxes Based on Converting DL to Plain Datalog.	Description Logics	2007	DBLP BibTeX RDF
14	Warren Shen, AnHai Doan, Jeffrey F. Naughton, Raghu Ramakrishnan 0001	Declarative Information Extraction Using Datalog with Embedded Extraction Predicates.	VLDB	2007	DBLP BibTeX RDF
14	Makoto Kanazawa	Parsing and Generation as Datalog Queries.	ACL	2007	DBLP BibTeX RDF
14	Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis	A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs.	Fundam. Informaticae	2006	DBLP BibTeX RDF
14	Henrik Nottelmann, Norbert Fuhr	Adding Probabilities and Rules to Owl Lite Subsets Based on Probabilistic Datalog.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2006	DBLP DOI BibTeX RDF
14	Eugénie Foustoucos, Irène Guessarian	Complexity of Monadic inf-datalog. Application to temporal logic	CoRR	2006	DBLP BibTeX RDF
14	Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau	Integrating Datalog with OWL: Exploring the AL-log Approach.	ICLP	2006	DBLP DOI BibTeX RDF
14	Riccardo Rosati 0001	DL+log: Tight Integration of Description Logics and Disjunctive Datalog.	KR	2006	DBLP BibTeX RDF
14	Antonella Guzzo, Domenico Saccà	Semi-Inflationary DATALOG: A declarative database language with procedural features.	AI Commun.	2005	DBLP BibTeX RDF
14	Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian	On relating CTL to Datalog	CoRR	2005	DBLP BibTeX RDF
14	Víctor Dalmau	Linear Datalog and Bounded Path Duality of Relational Structures	CoRR	2005	DBLP BibTeX RDF
14	Víctor Dalmau	Linear datalog and bounded path duality of relational structures.	Log. Methods Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Sergio Greco, Ester Zumpano	Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries.	Encyclopedia of Database Technologies and Applications	2005	DBLP DOI BibTeX RDF
14	Sergio Greco, Ester Zumpano	Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries.	Encyclopedia of Database Technologies and Applications	2005	DBLP DOI BibTeX RDF
14	Gergely Lukácsy, Zsolt Nagy	Open World Reasoning in Datalog.	ICLP	2005	DBLP DOI BibTeX RDF
14	Ullrich Hustadt, Boris Motik	Description Logics and Disjunctive Datalog - The Story so Far.	Description Logics	2005	DBLP BibTeX RDF
14	Elisa Bertino, Barbara Catania, Roberta Gori	Enhancing the expressive power of the U-Datalog language	CoRR	2004	DBLP BibTeX RDF
14	Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho	Generalization of ZYT-linearizability for bilinear datalog programs.	Inf. Comput.	2004	DBLP DOI BibTeX RDF
14	Jan Maluszynski, Aida Vitória	Toward Rough Datalog: Embedding Rough Sets in Prolog.	Rough-Neural Computing: Techniques for Computing with Words	2004	DBLP BibTeX RDF
14	Christian Mancas, Simona Dragomir	Matbase datalog¬ subsystem meta-catalog conceptual design.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
14	Piero A. Bonatti	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
14	Siegfried Nijssen, Joost N. Kok	Ideal Refinement of Datalog Clauses Using Primary Keys.	ECAI	2004	DBLP BibTeX RDF
14	Vincenzino Lio, Gerald Pfeifer	Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV.	SEBD	2004	DBLP BibTeX RDF
14	Gerd Stumme	Iceberg Query Lattices for Datalog.	LWA	2004	DBLP BibTeX RDF
14	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reducing SHIQ-Description Logic to Disjunctive Datalog Programs.	KR	2004	DBLP BibTeX RDF
14	Mengchi Liu	Extending Datalog with Declarative Updates.	J. Intell. Inf. Syst.	2003	DBLP DOI BibTeX RDF
14	Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni	Linearisability on datalog programs.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati	On temporal logic versus datalog.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
14	Sergio Greco, Carlo Zaniolo	Greedy Algorithms in Datalog	CoRR	2003	DBLP BibTeX RDF
14	Georg Gottlob, Christos H. Papadimitriou	On the complexity of single-rule datalog queries.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
14	Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco	Improving Query Optimization for Disjunctive Datalog.	APPIA-GULP-PRODE	2003	DBLP BibTeX RDF
14	Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian	From CTL to Datalog.	PCK50	2003	DBLP DOI BibTeX RDF
14	Stefan Brass	Eine auf Datalog basierende XML-Anfragesprache.	Grundlagen von Datenbanken	2003	DBLP BibTeX RDF
14	Ignacio J. Blanco, Olga Pons, José-María Serrano, María Amparo Vila Miranda	Deduction in a GEFRED database using Datalog.	EUSFLAT Conf.	2003	DBLP BibTeX RDF
14	Raphael Volz, Steffen Staab, Boris Motik	Incremental Maintenance of dynamic Datalog programs.	PSSS	2003	DBLP BibTeX RDF
14	Martin Grohe	Monadic Datalog on Trees (Invited Talk).	FICS	2003	DBLP BibTeX RDF
14	Stefano Basta, Sergio Flesca, Sergio Greco	Functional Queries in Datalog.	New Gener. Comput.	2002	DBLP DOI BibTeX RDF
14	Georg Gottlob, Christoph Koch 0001	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction	CoRR	2002	DBLP BibTeX RDF
14	Antonella Guzzo, Domenico Saccà	Modelling the Future with Event Choice DATALOG.	APPIA-GULP-PRODE	2002	DBLP BibTeX RDF
14	Jan Blatak, Lubos Popelínský, Miloslav Nepil	RAP: Framework for Mining Frequent Datalog Patterns.	KDID	2002	DBLP BibTeX RDF
14	Yann Loyer, Nicolas Spyratos	Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes.	BDA	2002	DBLP BibTeX RDF
14	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places	A Semantic Query Optimization Approach to Optimize Linear Datalog Programs.	ADBIS	2002	DBLP DOI BibTeX RDF
14	Panos Rondogiannis, Manolis Gergatsoulis	The Branching-Time Transformation Technique for Chain Datalog Programs.	J. Intell. Inf. Syst.	2001	DBLP DOI BibTeX RDF
14	Elisa Bertino, Barbara Catania, Roberta Gori	Enhancing the expressive power of the U-Datalog language.	Theory Pract. Log. Program.	2001	DBLP BibTeX RDF
14	Sergio Greco, Carlo Zaniolo	Greedy Algorithms in Datalog.	Theory Pract. Log. Program.	2001	DBLP DOI BibTeX RDF
14	Henrik Nottelmann, Norbert Fuhr	Learning Probabilistic Datalog Rules for Information Classification and Transformation.	CIKM	2001	DBLP DOI BibTeX RDF
14	Norbert Fuhr	Probabilistic datalog: Implementing logical information retrieval for advanced applications.	J. Am. Soc. Inf. Sci.	2000	DBLP DOI BibTeX RDF
14	Rachel Ben-Eliyahu-Zohary, Luigi Palopoli 0001, Victoria Zemlyanker	More on tractable disjunctive Datalog.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
14	Jörg Flum, Max Kubierschky, Bertram Ludäscher	Games and total Datalog¬ queries.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
14	Victor Vianu	Review - Hypothetical Datalog: Complexity and Expressibility.	ACM SIGMOD Digit. Rev.	2000	DBLP BibTeX RDF
14	Deborah East, Miroslaw Truszczynski	DATALOG with constraints - an answer-set programming system	CoRR	2000	DBLP BibTeX RDF
14	Deborah East, Miroslaw Truszczynski	dcs: An Implementation of DATALOG with Constraints	CoRR	2000	DBLP BibTeX RDF
14	Ron van der Meyden	Predicate Boundedness of Linear Monadic Datalog is in PSPACE.	Int. J. Found. Comput. Sci.	2000	DBLP DOI BibTeX RDF
14	Erich Grädel	Efficient Evaluation Methods for Guarded Logics and Datalog LITE.	LPAR	2000	DBLP DOI BibTeX RDF
14	Peter Z. Revesz	Datalog and Constraints.	Constraint Databases	2000	DBLP BibTeX RDF
14	Deborah East, Miroslaw Truszczynski	DATALOG with Constraints - An Answer-Set Programming System.	AAAI/IAAI	2000	DBLP BibTeX RDF
14	José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Héctor J. Hernández	Un Procedimiento de Optimización Semántica de Programas Datalog.	JISBD	2000	DBLP BibTeX RDF
14	Luc Dehaspe, Hannu Toivonen	Discovery of Frequent DATALOG Patterns.	Data Min. Knowl. Discov.	1999	DBLP DOI BibTeX RDF
14	Alexander Brodsky 0001, Yehoshua Sagiv	Inference of monotonicity constraints in Datalog programs.	Ann. Math. Artif. Intell.	1999	DBLP DOI BibTeX RDF
14	Sergio Greco, Domenico Saccà	Complexity and Expressive Power of Deterministic Semantics for DATALOG¬.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
14	Jerzy Marcinkowski	Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs.	SIAM J. Comput.	1999	DBLP DOI BibTeX RDF
14	Ombretta Arvigo, Barbara Catania	Integrity Constraint Checking in U-Datalog	SEBD	1999	DBLP BibTeX RDF
14	Riccardo Rosati 0001	Towards expressive KR systems integrating datalog and description logics: preliminary report.	Description Logics	1999	DBLP BibTeX RDF
14	Fosca Giannotti, Dino Pedreschi	Datalog with Non-Deterministic Choice Computers NDB-PTIME.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
14	David Toman 0001, Jan Chomicki	Datalog with Integer Periodicity Constraints.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
14	Michael Meskes	Subsumption-Stratified Datalog.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
14	Mengchi Liu	Relationlog: A Typed Extension to Datalog with Sets and Tuples.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
14	Peter Z. Revesz	The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases.	Int. J. Algebra Comput.	1998	DBLP DOI BibTeX RDF
14	Sergio Greco	Non-Determinism and Weak Constraints in Datalog.	New Gener. Comput.	1998	DBLP DOI BibTeX RDF
14	Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf	AL-log: Integrating Datalog and Description Logics.	J. Intell. Inf. Syst.	1998	DBLP DOI BibTeX RDF
14	Marco Cadoli, Luigi Palopoli 0001	Circumscribing DATALOG: Expressive Power and Complexity.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
14	Sérgio Lifschitz, Victor Vianu	A Probabilistic View of Datalog Parallelization.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF