A logical framework for default reasoning
Artificial Intelligence
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Heterogeneous active agents, I: semantics
Artificial Intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Extending and implementing the stable model semantics
Artificial Intelligence
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Forgetting in Managing Rules and Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Combining answer set programming with description logics for the Semantic Web
Artificial Intelligence
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web
Reasoning Web
Ranking Services Using Fuzzy HEX Programs
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
A Module-Based Framework for Multi-language Constraint Modeling
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Present and Future Challenges for ASP Systems
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
On the complexity of answer set programming with aggregates
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Conditional planning with external functions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Answer set programming for the semantic web
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Computing fuzzy answer sets using DLVHEX
ICLP'07 Proceedings of the 23rd international conference on Logic programming
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
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
A 25-year perspective on logic programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
A logical semantics for description logic programs
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
The MCS-IE system for explaining inconsistency in multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
On the semantic relationship between datalog and description logics
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Declarative belief set merging using merging plans
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Logic programming, knowledge representation, and nonmonotonic reasoning
Applications of answer set programming in phylogenetic systematics
Logic programming, knowledge representation, and nonmonotonic reasoning
ASP at work: spin-off and applications of the DLV system
Logic programming, knowledge representation, and nonmonotonic reasoning
Communicating ASP and the polynomial hierarchy
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Pushing efficient evaluation of HEX programs by modular decomposition
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Answer set programming at a glance
Communications of the ACM
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Nonmonotonic logic programs for the semantic web
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
External sources of computation for answer set solvers
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The loop formula based semantics of description logic programs
Theoretical Computer Science
Decidable fragments of logic programming with value invention
JELIA'06 Proceedings of the 10th European conference on Logics in 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
Querying formal contexts with answer set programs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Dealing with inconsistency when combining ontologies and rules using DL-Programs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
The disjunctive datalog system DLV
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Uniform evaluation of nonmonotonic DL-Programs
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Outer Joins in a Deductive Database System
Electronic Notes in Theoretical Computer Science (ENTCS)
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
First-order extension of the FLP stable model semantics via modified circumscription
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Well-supported semantics for description logic programs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Simulating production rules using ACTHEX
Correct Reasoning
Stepwise debugging of description-logic programs
Correct Reasoning
Well-Supported semantics for logic programs with generalized rules
Correct Reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
Fundamenta Informaticae
Inconsistency management for traffic regulations: formalization and complexity results
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Exploiting unfounded sets for HEX-Program evaluation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Meta programming with answer sets for smart spaces
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Conflict-driven asp solving with external sources
Theory and Practice of Logic Programming
Inconsistency management for description logic programs and beyond
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Eliminating nonmonotonic DL-Atoms in description logic programs
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Data repair of inconsistent DL-programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Relating constraint answer set programming languages and algorithms
Artificial Intelligence
| Hi-index | 0.02 |
We introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and we extend the well-known answer-set semantics to this class of programs. Higher-order features are widely acknowledged as useful for performing meta-reasoning, among other tasks. Furthermore, the possibility to exchange knowledge with external sources in a fully declarative framework such as Answer-Set Programming (ASP) is nowadays important, in particular in view of applications in the Semantic Web area. Through external atoms, HEX programs can model some important extensions to ASP, and are a useful KR tool for expressing various applications. Finally, complexity and implementation issues for a preliminary prototype are discussed.