Can't you answer while you wait?

DOI10.1007/S10472-025-09968-8MaRDI QIDQ6903885zbMATH OpenFDO

Authors Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes

Publication date 7 November 2025

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10472-025-09968-8

zbMATH Keywords

communication delayscontinuous query answeringnegation-as-failuretemporal datalog

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites work

• A framework for computing finite SLD trees
• Can you answer while you wait?
• Dynamic reordering of alternatives for definite logic programs
• Expressing and supporting efficiently greedy algorithms as locally stratified logic programs
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 1926614 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Hypothetical answers to continuous queries over data streams
• Hypothetical reasoning in logic programs
• Mathematical Logic for Computer Science
• Querying log data with metric temporal logic
• Real-time logics: Complexity and expressiveness
• Reasoning with logic programming
• Reconciling communication delays and negation
• The expressive power of stratified logic programs
• Uniform semantic treatment of default and autoepistemic logics

This page was built for publication: Can't you answer while you wait?

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