Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
The generalized counting method for recursive logic queries
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
Logic programming and databases
Logic programming and databases
Fundamental properties of deterministic and nondeterministic extensions of Datalog
Selected papers of the workshop on Deductive database theory
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Attributive concept descriptions with complements
Artificial Intelligence
Journal of Logic Programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Thoughts and afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning
AI Magazine - Reports from three of the 1990 Spring symposia and eight workshops held over the past two years
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Extrema predicates in deductive databases
Journal of Computer and System Sciences
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Temporal aggregation in active database rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The expressive powers of stable models for bound and unbound DATALOG queries
Journal of Computer and System Sciences - special issue on complexity theory
ACM Transactions on Database Systems (TODS)
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
On logical foundations of active databases
Logics for databases and information systems
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics and expressiveness issues in active databases
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Complexity and expressive power of deterministic semantics for DATALOG
Information and Computation
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Advances in Data Base Theory
Logic and Data Bases
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Pushing extrema aggregates to optimize logic queries
Information Systems
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
Optimization of Linear Logic Programs Using Counting Methods
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
The Nonmonotonic Semantics of Active Rules in Deductive Databases
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
DATALOG Queries with Stratified Negation and Choice: from P to DP
ICDT '95 Proceedings of the 5th International Conference on Database Theory
A Model Theoretic Approach to Update Rule Programs
ICDT '97 Proceedings of the 6th International Conference on Database Theory
ICDT '97 Proceedings of the 6th International Conference on Database Theory
The PushDown Method to Optimize Chain Logic Programs (Extended Abstract)
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Concurrent Web-Programming in CLP(WEB)
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 8 - Volume 8
W-ACE: A Logic Language for Intelligent Internet Programming
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Declarative semantics for active rules
Theory and Practice of Logic Programming
Towards a People's Web: Metalog
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
The Description Logic Handbook
The Description Logic Handbook
Well-founded and stable semantics of logic programs with aggregates
Theory and Practice of Logic Programming
Deciding expressive description logics in the framework of resolution
Information and Computation
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
Introduction to the special issue on logic programming and the web
Theory and Practice of Logic Programming
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
DL-FOIL Concept Learning in Description Logics
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
On Combining Description Logic Ontologies and Nonrecursive Datalog Rules
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The Expressive Power of SPARQL
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Rule System for Querying Persistent RDFS Data
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Active Integrity Constraints for Database Consistency Maintenance
IEEE Transactions on Knowledge and Data Engineering
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Efficient description logic reasoning in prolog: The dlog system
Theory and Practice of Logic Programming
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Declarative and computational properties of logic programs with aggregates
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Learnability of description logic programs
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Foundations of refinement operators for description logics
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
A 25-year perspective on logic programming
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Knowledge representation and non-monotonic reasoning
A 25-year perspective on logic programming
| Hi-index | 0.00 |
This chapter contains a reference selection of Italian contributions in the intersection of Logic Programming (LP) with databases and the (Semantic) Web. More precisely, we will survey the main contributions on deductive databases such as the coupling of Prolog systems and database systems, evaluation and optimization techniques, Datalog extensions for expressing nondeterministic and aggregate queries, and active rules and their relation to deductive rules. Also we will illustrate solutions employing LP for querying the Web, manipulating Web pages, representing knowledge in the Semantic Web and learning Semantic Web ontologies and rules.