Towards systematic treatment of partial functions in knowledge representation

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

Authors Djordje Markovic, Maurice Bruynooghe, Marc Denecker

Publication date 29 May 2024

zbMATH Keywords

knowledge representationpartial functionsguardsnested function termsnon/denoting terms

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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

Cites work

• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 1439714 (Why is no real title available?)
• scientific article; zbMATH DE number 3271472 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• A first order logic for partial functions
• A partial functions version of Church's simple theory of types
• A practical approach to partial functions in CVC Lite
• ASP with non-herbrand partial functions: a language and system for practical use
• Adding partial functions to constraint logic programming with sets
• Classical logic with partial functions
• Grounding FO and FO(ID) with bounds
• Incremental determinization
• Partial Functions and Equality in Answer Set Programming

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)