Tan, Lixing; Zhu, Zhaohui; Zhang, Jinjin A general approach to extension-based semantics in abstract argumentation. (English) Zbl 07638302 Artif. Intell. 315, Article ID 103836, 60 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{L. Tan} et al., Artif. Intell. 315, Article ID 103836, 60 p. (2023; Zbl 07638302) Full Text: DOI
Mundici, Daniele Deciding Koopman’s qualitative probability. (English) Zbl 07418682 Artif. Intell. 299, Article ID 103524, 18 p. (2021). MSC: 03B48 60A05 68T27 68T30 PDFBibTeX XMLCite \textit{D. Mundici}, Artif. Intell. 299, Article ID 103524, 18 p. (2021; Zbl 07418682) Full Text: DOI
Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng Epistemic GDL: a logic for representing and reasoning about imperfect information games. (English) Zbl 1519.68252 Artif. Intell. 294, Article ID 103453, 22 p. (2021). MSC: 68T27 68Q25 68Q60 68T30 91A27 PDFBibTeX XMLCite \textit{G. Jiang} et al., Artif. Intell. 294, Article ID 103453, 22 p. (2021; Zbl 1519.68252) Full Text: DOI
Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello Natural strategic ability. (English) Zbl 1478.68385 Artif. Intell. 277, Article ID 103170, 33 p. (2019). MSC: 68T42 03B44 68Q60 68Q85 91A26 PDFBibTeX XMLCite \textit{W. Jamroga} et al., Artif. Intell. 277, Article ID 103170, 33 p. (2019; Zbl 1478.68385) Full Text: DOI Link
Delgrande, James P.; Renne, Bryan; Sack, Joshua The logic of qualitative probability. (English) Zbl 1478.03048 Artif. Intell. 275, 457-486 (2019). MSC: 03B48 03B45 60A05 68T27 68T30 PDFBibTeX XMLCite \textit{J. P. Delgrande} et al., Artif. Intell. 275, 457--486 (2019; Zbl 1478.03048) Full Text: DOI
Harrison, Amelia; Lifschitz, Vladimir; Pearce, David; Valverde, Agustín Infinitary equilibrium logic and strongly equivalent logic programs. (English) Zbl 1419.68120 Artif. Intell. 246, 22-33 (2017). MSC: 68T27 68N17 PDFBibTeX XMLCite \textit{A. Harrison} et al., Artif. Intell. 246, 22--33 (2017; Zbl 1419.68120) Full Text: DOI
Abdallah, A. Nait; van Emden, M. H. Constraint propagation as information maximization. (English) Zbl 1270.68264 Artif. Intell. 197, 25-38 (2013). MSC: 68T20 PDFBibTeX XMLCite \textit{A. N. Abdallah} and \textit{M. H. van Emden}, Artif. Intell. 197, 25--38 (2013; Zbl 1270.68264) Full Text: DOI arXiv Link
Öztürk, Meltem; Pirlot, Marc; Tsoukiàs, Alexis Representing preferences using intervals. (English) Zbl 1231.91076 Artif. Intell. 175, No. 7-8, 1194-1222 (2011). MSC: 91B06 91B08 PDFBibTeX XMLCite \textit{M. Öztürk} et al., Artif. Intell. 175, No. 7--8, 1194--1222 (2011; Zbl 1231.91076) Full Text: DOI
Pirri, Fiora The well-designed logical robot: learning and experience from observations to the Situation Calculus. (English) Zbl 1216.68271 Artif. Intell. 175, No. 1, 378-415 (2011). MSC: 68T27 68T05 68T40 PDFBibTeX XMLCite \textit{F. Pirri}, Artif. Intell. 175, No. 1, 378--415 (2011; Zbl 1216.68271) Full Text: DOI
Kern-Isberner, Gabriele; Lukasiewicz, Thomas Combining probabilistic logic programming with the power of maximum entropy. (English) Zbl 1085.68170 Artif. Intell. 157, No. 1-2, 139-202 (2004). MSC: 68T37 68N17 PDFBibTeX XMLCite \textit{G. Kern-Isberner} and \textit{T. Lukasiewicz}, Artif. Intell. 157, No. 1--2, 139--202 (2004; Zbl 1085.68170) Full Text: DOI
Li, Sanjiang; Ying, Mingsheng Region connection calculus: Its models and composition table. (English) Zbl 1082.68821 Artif. Intell. 145, No. 1-2, 121-146 (2003). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{S. Li} and \textit{M. Ying}, Artif. Intell. 145, No. 1--2, 121--146 (2003; Zbl 1082.68821) Full Text: DOI
Huang, Zhisheng; Masuch, Michael; Pólos, László ALX, an action logic for agents with bounded rationality. (English) Zbl 1508.68361 Artif. Intell. 82, No. 1-2, 75-127 (1996). MSC: 68T27 03B45 68T42 PDFBibTeX XMLCite \textit{Z. Huang} et al., Artif. Intell. 82, No. 1--2, 75--127 (1996; Zbl 1508.68361) Full Text: DOI
Klein, David A.; Shortliffe, Edward H. A framework for explaining decision-theoretic advice. (English) Zbl 0803.90079 Artif. Intell. 67, No. 2, 201-243 (1994). MSC: 90B50 68T35 PDFBibTeX XMLCite \textit{D. A. Klein} and \textit{E. H. Shortliffe}, Artif. Intell. 67, No. 2, 201--243 (1994; Zbl 0803.90079) Full Text: DOI
Halpern, Joseph Y. An analysis of first-order logics of probability. (English) Zbl 0723.03007 Artif. Intell. 46, No. 3, 311-350 (1990). Reviewer: H.E.Kyburg (Rochester) MSC: 03B48 03B30 60A05 PDFBibTeX XMLCite \textit{J. Y. Halpern}, Artif. Intell. 46, No. 3, 311--350 (1990; Zbl 0723.03007) Full Text: DOI
Fikes, R. E. REF-ARF: A system for solving problems stated as procedures. (English) Zbl 0203.49403 Artif. Intell. 1, 27-120 (1970). PDFBibTeX XMLCite \textit{R. E. Fikes}, Artif. Intell. 1, 27--120 (1970; Zbl 0203.49403) Full Text: DOI