Adding Metalogic Features to Knowledge Representation Languages*
From MaRDI portal
Publication:5158659
DOI10.3233/FI-2021-2051MaRDI QIDQ5158659
Stefania Costantini, Andrea Formisano
Publication date: 25 October 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Related Items (1)
Uses Software
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*