Apel, Reut; Erev, Ido; Reichart, Roi; Tennenholtz, Moshe Predicting decisions in language based persuasion games. (English) Zbl 07527546 J. Artif. Intell. Res. (JAIR) 73, 1025-1091 (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{R. Apel} et al., J. Artif. Intell. Res. (JAIR) 73, 1025--1091 (2022; Zbl 07527546) Full Text: DOI arXiv
Tsilionis, Efthimis; Artikis, Alexander; Paliouras, Georgios Incremental event calculus for run-time reasoning. (English) Zbl 07527545 J. Artif. Intell. Res. (JAIR) 73, 967-1023 (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{E. Tsilionis} et al., J. Artif. Intell. Res. (JAIR) 73, 967--1023 (2022; Zbl 07527545) Full Text: DOI
Aravanis, Theofanis I. Relevance in belief update. (English) Zbl 07470354 J. Artif. Intell. Res. (JAIR) 72, 251-283 (2021). MSC: 68T27 68T30 PDF BibTeX XML Cite \textit{T. I. Aravanis}, J. Artif. Intell. Res. (JAIR) 72, 251--283 (2021; Zbl 07470354) Full Text: DOI
Balduccini, Marcello; Leblanc, Emily C. Action-centered information retrieval. (English) Zbl 1472.68050 Theory Pract. Log. Program. 20, No. 2, 249-272 (2020). MSC: 68P20 68N17 PDF BibTeX XML Cite \textit{M. Balduccini} and \textit{E. C. Leblanc}, Theory Pract. Log. Program. 20, No. 2, 249--272 (2020; Zbl 1472.68050) Full Text: DOI arXiv
Heinemann, Bernhard Reusing topological nexttime logic. (English) Zbl 1484.03025 Stud. Log. 108, No. 6, 1207-1234 (2020). MSC: 03B42 03B45 PDF BibTeX XML Cite \textit{B. Heinemann}, Stud. Log. 108, No. 6, 1207--1234 (2020; Zbl 1484.03025) Full Text: DOI
D’Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob Probabilistic reasoning about epistemic action narratives. (English) Zbl 1493.68344 Artif. Intell. 287, Article ID 103352, 47 p. (2020). MSC: 68T27 03B42 03B48 PDF BibTeX XML Cite \textit{F. A. D'Asaro} et al., Artif. Intell. 287, Article ID 103352, 47 p. (2020; Zbl 1493.68344) Full Text: DOI Link
Finzi, Alberto; Lukasiewicz, Thomas Partially observable game-theoretic agent programming in Golog. (English) Zbl 1434.68583 Int. J. Approx. Reasoning 119, 220-241 (2020). MSC: 68T40 68N15 68T20 68T42 91A15 91A80 PDF BibTeX XML Cite \textit{A. Finzi} and \textit{T. Lukasiewicz}, Int. J. Approx. Reasoning 119, 220--241 (2020; Zbl 1434.68583) Full Text: DOI Link
LeBlanc, Emily; Balduccini, Marcello; Vennekens, Joost Explaining actual causation via reasoning about actions and change. (English) Zbl 07169109 Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 231-246 (2019). MSC: 68T27 PDF BibTeX XML Cite \textit{E. LeBlanc} et al., Lect. Notes Comput. Sci. 11468, 231--246 (2019; Zbl 07169109) Full Text: DOI Link
Schwering, Christoph; Lakemeyer, Gerhard; Pagnucco, Maurice Belief revision and projection in the epistemic situation calculus. (English) Zbl 1419.68148 Artif. Intell. 251, 62-97 (2017). MSC: 68T30 03B42 68T27 PDF BibTeX XML Cite \textit{C. Schwering} et al., Artif. Intell. 251, 62--97 (2017; Zbl 1419.68148) Full Text: DOI
Inclezan, Daniela; Gelfond, Michael Modular action language \(\mathcal{ALM}\). (English) Zbl 1379.68297 Theory Pract. Log. Program. 16, No. 2, 189-235 (2016). MSC: 68T27 68N17 68T30 PDF BibTeX XML Cite \textit{D. Inclezan} and \textit{M. Gelfond}, Theory Pract. Log. Program. 16, No. 2, 189--235 (2016; Zbl 1379.68297) Full Text: DOI arXiv
Cabalar, Pedro; Santos, Paulo E. Formalising the Fisherman’s Folly puzzle. (English) Zbl 1216.68258 Artif. Intell. 175, No. 1, 346-377 (2011). MSC: 68T27 PDF BibTeX XML Cite \textit{P. Cabalar} and \textit{P. E. Santos}, Artif. Intell. 175, No. 1, 346--377 (2011; Zbl 1216.68258) Full Text: DOI
Chang, Liang; Shi, Zhongzhi; Chen, Limin; Niu, Wenjia Family of extended dynamic description logics. (Chinese. English summary) Zbl 1224.68161 J. Softw. 21, No. 1, 1-13 (2010). MSC: 68T30 03B42 PDF BibTeX XML Cite \textit{L. Chang} et al., J. Softw. 21, No. 1, 1--13 (2010; Zbl 1224.68161) Full Text: DOI
Eiter, Thomas; Erdem, Esra; Fink, Michael; Senko, Ján Updating action domain descriptions. (English) Zbl 1225.68251 Artif. Intell. 174, No. 15, 1172-1221 (2010). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T30 68T27 68Q17 PDF BibTeX XML Cite \textit{T. Eiter} et al., Artif. Intell. 174, No. 15, 1172--1221 (2010; Zbl 1225.68251) Full Text: DOI
Lorini, Emiliano A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory. (English) Zbl 1211.03039 J. Logic Lang. Inf. 19, No. 3, 327-351 (2010). Reviewer: Éric Martin (Sydney) MSC: 03B45 03B42 68T27 68T42 91A80 PDF BibTeX XML Cite \textit{E. Lorini}, J. Logic Lang. Inf. 19, No. 3, 327--351 (2010; Zbl 1211.03039) Full Text: DOI
Balduccini, Marcello; Girotto, Sara Formalization of psychological knowledge in answer set programming and its application. (English) Zbl 1209.68130 Theory Pract. Log. Program. 10, No. 4-6, 725-740 (2010). MSC: 68N99 68T30 PDF BibTeX XML Cite \textit{M. Balduccini} and \textit{S. Girotto}, Theory Pract. Log. Program. 10, No. 4--6, 725--740 (2010; Zbl 1209.68130) Full Text: DOI arXiv
Schmidt, Renate A.; Tishkovsky, Dmitry On combinations of propositional dynamic logic and doxastic modal logics. (English) Zbl 1184.03012 J. Logic Lang. Inf. 17, No. 1, 109-129 (2008). Reviewer: Andreas Herzig (Toulouse) MSC: 03B45 03B42 03B44 03B62 PDF BibTeX XML Cite \textit{R. A. Schmidt} and \textit{D. Tishkovsky}, J. Logic Lang. Inf. 17, No. 1, 109--129 (2008; Zbl 1184.03012) Full Text: DOI
Savelli, Francesco Existential assertions and quantum levels on the tree of the situation calculus. (English) Zbl 1131.68108 Artif. Intell. 170, No. 6-7, 643-652 (2006). MSC: 68T30 68T27 PDF BibTeX XML Cite \textit{F. Savelli}, Artif. Intell. 170, No. 6--7, 643--652 (2006; Zbl 1131.68108) Full Text: DOI
Cleaver, Timothy William; Sattar, Abdul; Wang, Kewen Reasoning with the outcomes of plan execution in intentional agents. (English) Zbl 1151.68639 Zhang, Shichao (ed.) et al., AI 2005: Advances in artificial intelligence. 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30462-2/pbk). Lecture Notes in Computer Science 3809. Lecture Notes in Artificial Intelligence, 60-69 (2005). MSC: 68T20 68T05 PDF BibTeX XML Cite \textit{T. W. Cleaver} et al., Lect. Notes Comput. Sci. 3809, 60--69 (2005; Zbl 1151.68639) Full Text: DOI
Wansing, Heinrich On the negation of action types: constructive concurrent PDL. (English) Zbl 1102.03033 Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 207-225 (2005). Reviewer: Neculai Curteanu (Iaşi) MSC: 03B60 68T27 03B70 03B45 68Q85 03B42 03B53 03A05 PDF BibTeX XML Cite \textit{H. Wansing}, in: Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King's College Publications. 207--225 (2005; Zbl 1102.03033)
Xirogiannis, George; Glykas, Michael Fuzzy causal maps in business modeling and performance-driven process re-engineering. (English) Zbl 1128.68502 Vouros, George A. (ed.) et al., Methods and applications of artificial intelligence. Third Hellenic conference on AI, SETN 2004, Samos, Greece, May 5–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21937-4/pbk). Lecture Notes in Computer Science 3025. Lecture Notes in Artificial Intelligence, 331-341 (2004). MSC: 68T37 PDF BibTeX XML Cite \textit{G. Xirogiannis} and \textit{M. Glykas}, Lect. Notes Comput. Sci. 3025, 331--341 (2004; Zbl 1128.68502) Full Text: DOI
Schulte, Oliver; Delgrande, James Representing von Neumann-Morgenstern games in the situation calculus. (English) Zbl 1061.68150 Ann. Math. Artif. Intell. 42, No. 1-3, 73-101 (2004). MSC: 68T27 68T30 68T37 PDF BibTeX XML Cite \textit{O. Schulte} and \textit{J. Delgrande}, Ann. Math. Artif. Intell. 42, No. 1--3, 73--101 (2004; Zbl 1061.68150) Full Text: DOI
Otero, Ramón P.; Rodríguez, José M. Representing Petri nets in an action based formalism. (English) Zbl 0963.68619 Pichler, Franz (ed.) et al., Computer aided systems theory - EUROCAST ’99. A selection of papers from the 7th international workshop, Vienna, Austria, September 29 - October 2, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1798, 105-115 (2000). MSC: 68U99 68Q85 PDF BibTeX XML Cite \textit{R. P. Otero} and \textit{J. M. Rodríguez}, Lect. Notes Comput. Sci. 1798, 105--115 (2000; Zbl 0963.68619)
Kakas, Antonis; Miller, Rob; Toni, Francesca An argumentation framework for reasoning about actions and change. (English) Zbl 0946.03033 Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 78-91 (1999). MSC: 03B60 68T27 03B70 03B44 68N17 PDF BibTeX XML Cite \textit{A. Kakas} et al., Lect. Notes Comput. Sci. 1730, 78--91 (1999; Zbl 0946.03033)
Stachniak, Zbigniew Reasoning with partial situations. (English) Zbl 0964.03029 Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 196-206 (1998). MSC: 03B60 68T27 PDF BibTeX XML Cite \textit{Z. Stachniak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 27, No. 4, 196--206 (1998; Zbl 0964.03029)
Gabbay, Dov M. (ed.); Hogger, C. J. (ed.); Robinson, J. A. (ed.) Handbook of logic in artificial intelligence and logic programming. Vol. 4: Epistemic and temporal reasoning. (English) Zbl 0819.03010 Oxford: Clarendon Press. xvi, 611 p. (1995). Reviewer: J.Šefránek (Bratislava) MSC: 03B45 68T27 03-06 68-06 03B60 68-00 03-00 00B15 68T30 PDF BibTeX XML Cite \textit{D. M. Gabbay} (ed.) et al., Handbook of logic in artificial intelligence and logic programming. Vol. 4: Epistemic and temporal reasoning. Oxford: Clarendon Press (1995; Zbl 0819.03010)