Safety of recursive Horn clauses with infinite relations
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Safety of datalog queries over infinite databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ILOG: declarative creation and manipulation of object identifiers
Proceedings of the sixteenth international conference on Very large databases
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Proceedings of the eleventh international conference on Logic programming
The expressive power of stratified logic programs with value invention
Information and Computation
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Extending and implementing the stable model semantics
Artificial Intelligence
Expressiveness of Semipositive Logic Programs with Value Invention
LID '96 Proceedings of the International Workshop on Logic in Databases
Reasoning with infinite stable models
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Reasoning with infinite stable models
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Flexible pattern discovery with (extended) disjunctive logic programming
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Enhancing a DLP System for Advanced Database Applications
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computable Functions in ASP: Theory and Implementation
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A general datalog-based framework for tractable query answering over ontologies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards a Type Discipline for Answer Set Programming
Types for Proofs and Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Applying ASP to UML Model Validation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
An ASP System with Functions, Lists, and Sets
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining nonmonotonic knowledge bases with external sources
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The disjunctive datalog system DLV
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
The intelligent grounder of DLV
Correct Reasoning
Hi-index | 0.00 |
The issue of value invention in logic programming embraces many scenarios, such as logic programming with function symbols, object oriented logic languages, inter-operability with external sources of knowledge, or set unification. This work introduces a framework embedding value invention in a general context. The class of programs having a suitable (but, in general, not decidable) `finite grounding property' is identified, and the class of `value invention restricted' programs is introduced. Value invention restricted programs have the finite grounding property and can be decided in polynomial time. They are a very large polynomially decidable class having this property, when no assumption can be made about the nature of invented values (while this latter is the case in the specific literature about logic programming with function symbols). Relationships with existing formalisms are eventually discussed, and the implementation of a system supporting the class of such programs is described.