Automated Generation of Erotetic Search Scenarios
From MaRDI portal
Publication:5278206
DOI10.1145/3056537zbMath1367.68277OpenAlexW2613532714MaRDI QIDQ5278206
Adam Kups, Szymon Chlebowski, Maciej Komosiński
Publication date: 13 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3056537
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Socratic trees
- The interrogative model of inquiry meets dynamic epistemic logics
- Inquisitive dynamic epistemic logic
- On the semantics and logic of declaratives and interrogatives
- Inquisitive logic
- Toward a dynamic logic of questions
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.
- Erotetic search scenarios
- Socratic proofs
- Erotetic logic and explanation by abnormic hypotheses
- Socratic proofs for quantifiers
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation
- Logic of Questions and Public Announcements
- Multicriteria Decision Aid and Artificial Intelligence
- Multicriteria Optimization
This page was built for publication: Automated Generation of Erotetic Search Scenarios