Can you answer while you wait?
From MaRDI portal
Publication:2103911
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
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)
Uses Software
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?