Can you answer while you wait?

DOI10.1007/978-3-031-11321-5_7OpenAlexW4285162702MaRDI QIDQ2103911

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

Publication date: 9 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-11321-5_7

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

Reconciling communication delays and negation

Uses Software

• LARS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real-time logics: Complexity and expressiveness
• Dynamic reordering of alternatives for definite logic programs
• Reasoning with logic programming
• A framework for computing finite SLD trees
• Mathematical Logic for Computer Science
• Hypothetical reasoning in logic programs
• Querying Log Data with Metric Temporal Logic

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