Towards systematic treatment of partial functions in knowledge representation

DOI10.1007/978-3-031-43619-2_51MaRDI QIDQ6545581FDOQ6545581

Authors: Djordje Markovic, Maurice Bruynooghe, Marc Denecker 

Publication date: 29 May 2024

Recommendations

• Partial logics reconsidered: A conservative approach
• A first order logic for partial functions
• A first order logic for partial functions (extended abstract)
• Extending a first order predicate calculus with partially defined iota terms
• A mechanization of strong Kleene logic for partial functions

zbMATH Keywords

knowledge representationpartial functionsguardsnested function termsnon/denoting terms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial Functions and Equality in Answer Set Programming
• A first order logic for partial functions
• Title not available (Why is that?)
• A practical approach to partial functions in CVC Lite
• Classical logic with partial functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• A partial functions version of Church's simple theory of types
• ASP with non-herbrand partial functions: a language and system for practical use
• Incremental determinization
• Adding partial functions to constraint logic programming with sets
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• Grounding FO and FO(ID) with bounds

This page was built for publication: Towards systematic treatment of partial functions in knowledge representation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545581)