Adding Metalogic Features to Knowledge Representation Languages*

DOI10.3233/FI-2021-2051MaRDI QIDQ5158659

Stefania Costantini, Andrea Formisano

Publication date: 25 October 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

meta-reasoninganswer set programmingDatalog\({}^\pm\)web-ontologies

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Epistemic logic programs: a study of some properties

Uses Software

• HiLog
• Datalog
• Vadalog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Vadalog: recent advances and applications
• Combining answer set programming with description logics for the semantic web
• Nested Weight Constraints in ASP
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Promoting Modular Nonmonotonic Logic Programs
• Dynamic Consistency Checking in Goal-Directed Answer Set Programming
• Weight Constraints with Preferences in ASP
• Negation as a Resource: a Novel View on Answer Set Semantics*
• SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE
• Efficiently Querying RDF(S) Ontologies with Answer Set Programming
• Reconciling description logics and rules
• The DL-Lite Family and Relations
• HiLog: A foundation for higher-order logic programming
• A metalogic programming approach: language, semantics and applications
• Logic programming and negation: A survey
• Reflection principles in computational logic
• A model building framework for answer set programming with external computations
• Query answering in resource-based answer set semantics
• Answer Set Programming with External Source Access
• Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
• Transfinite recursive progressions of axiomatic theories

This page was built for publication: Adding Metalogic Features to Knowledge Representation Languages*