Freitas dos Santos, Thiago; Osman, Nardine; Schorlemmer, Marco Is this a violation? Learning and understanding norm violations in online communities. (English) Zbl 07803990 Artif. Intell. 327, Article ID 104058, 34 p. (2024). MSC: 68T05 PDFBibTeX XMLCite \textit{T. Freitas dos Santos} et al., Artif. Intell. 327, Article ID 104058, 34 p. (2024; Zbl 07803990) Full Text: DOI
Gu, Shangding; Grudzien Kuba, Jakub; Chen, Yuanpei; Du, Yali; Yang, Long; Knoll, Alois; Yang, Yaodong Safe multi-agent reinforcement learning for multi-robot control. (English) Zbl 07702947 Artif. Intell. 319, Article ID 103905, 24 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{S. Gu} et al., Artif. Intell. 319, Article ID 103905, 24 p. (2023; Zbl 07702947) Full Text: DOI
Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. (English) Zbl 07638291 Artif. Intell. 314, Article ID 103819, 37 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{J. Chen} et al., Artif. Intell. 314, Article ID 103819, 37 p. (2023; Zbl 07638291) Full Text: DOI
Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut Mind the gap: cake cutting with separation. (English) Zbl 07613161 Artif. Intell. 313, Article ID 103783, 24 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{E. Elkind} et al., Artif. Intell. 313, Article ID 103783, 24 p. (2022; Zbl 07613161) Full Text: DOI arXiv
Bonatti, P. A.; Petrova, I. M.; Sauro, L. Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\). (English) Zbl 07596158 Artif. Intell. 311, Article ID 103764, 25 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{P. A. Bonatti} et al., Artif. Intell. 311, Article ID 103764, 25 p. (2022; Zbl 07596158) Full Text: DOI
Bäckström, Christer; Jonsson, Peter A framework for analysing state-abstraction methods. (English) Zbl 1486.68175 Artif. Intell. 302, Article ID 103608, 39 p. (2022). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Bäckström} and \textit{P. Jonsson}, Artif. Intell. 302, Article ID 103608, 39 p. (2022; Zbl 1486.68175) Full Text: DOI
Caillaut, G.; Cleuziou, G. Multi-instance learning of pretopological spaces to model complex propagation phenomena: application to lexical taxonomy learning. (English) Zbl 1520.68138 Artif. Intell. 301, Article ID 103556, 41 p. (2021). MSC: 68T05 PDFBibTeX XMLCite \textit{G. Caillaut} and \textit{G. Cleuziou}, Artif. Intell. 301, Article ID 103556, 41 p. (2021; Zbl 1520.68138) 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
Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel Boolean algebras of conditionals, probability and logic. (English) Zbl 1493.68349 Artif. Intell. 286, Article ID 103347, 35 p. (2020). MSC: 68T30 03B48 68T27 PDFBibTeX XMLCite \textit{T. Flaminio} et al., Artif. Intell. 286, Article ID 103347, 35 p. (2020; Zbl 1493.68349) Full Text: DOI arXiv
Beling, Piotr; Rogalski, Marek On pruning search trees of impartial games. (English) Zbl 1433.91039 Artif. Intell. 283, Article ID 103262, 16 p. (2020). MSC: 91A46 91A68 PDFBibTeX XMLCite \textit{P. Beling} and \textit{M. Rogalski}, Artif. Intell. 283, Article ID 103262, 16 p. (2020; Zbl 1433.91039) Full Text: DOI
Lu, Tyler; Boutilier, Craig Preference elicitation and robust winner determination for single- and multi-winner social choice. (English) Zbl 1482.91084 Artif. Intell. 279, Article ID 103203, 32 p. (2020). Reviewer: H. C. M. de Swart (Tilburg) MSC: 91B14 91B12 PDFBibTeX XMLCite \textit{T. Lu} and \textit{C. Boutilier}, Artif. Intell. 279, Article ID 103203, 32 p. (2020; Zbl 1482.91084) Full Text: DOI
Booth, Richard; Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan On rational entailment for propositional typicality logic. (English) Zbl 1478.68346 Artif. Intell. 277, Article ID 103178, 20 p. (2019). MSC: 68T27 03B60 68T30 PDFBibTeX XMLCite \textit{R. Booth} et al., Artif. Intell. 277, Article ID 103178, 20 p. (2019; Zbl 1478.68346) Full Text: DOI arXiv Link
Deagustini, Cristhian A. D.; Martinez, M. Vanina; Falappa, Marcelo A.; Simari, Guillermo R. Belief base contraction by belief accrual. (English) Zbl 1478.68349 Artif. Intell. 275, 78-103 (2019). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{C. A. D. Deagustini} et al., Artif. Intell. 275, 78--103 (2019; Zbl 1478.68349) Full Text: DOI
Bonatti, P. A. Rational closure for all description logics. (English) Zbl 1478.68345 Artif. Intell. 274, 197-223 (2019). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{P. A. Bonatti}, Artif. Intell. 274, 197--223 (2019; Zbl 1478.68345) Full Text: DOI
Li, Feijiang; Qian, Yuhua; Wang, Jieting; Dang, Chuangyin; Jing, Liping Clustering ensemble based on sample’s stability. (English) Zbl 1478.68312 Artif. Intell. 273, 37-55 (2019). MSC: 68T09 62H30 68T05 PDFBibTeX XMLCite \textit{F. Li} et al., Artif. Intell. 273, 37--55 (2019; Zbl 1478.68312) Full Text: DOI
Baroni, Pietro; Giacomin, Massimiliano; Liao, Beishui A general semi-structured formalism for computational argumentation: definition, properties, and examples of application. (English) Zbl 1444.68176 Artif. Intell. 257, 158-207 (2018). MSC: 68T27 PDFBibTeX XMLCite \textit{P. Baroni} et al., Artif. Intell. 257, 158--207 (2018; Zbl 1444.68176) Full Text: DOI
Bessiere, Christian; Fargier, Hélène; Lecoutre, Christophe Computing and restoring global inverse consistency in interactive constraint satisfaction. (English) Zbl 1392.68382 Artif. Intell. 241, 153-169 (2016). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{C. Bessiere} et al., Artif. Intell. 241, 153--169 (2016; Zbl 1392.68382) Full Text: DOI
Lewis, Martha; Lawry, Jonathan Hierarchical conceptual spaces for concept combination. (English) Zbl 1357.68229 Artif. Intell. 237, 204-227 (2016). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Lewis} and \textit{J. Lawry}, Artif. Intell. 237, 204--227 (2016; Zbl 1357.68229) Full Text: DOI
Libkin, Leonid Certain answers as objects and knowledge. (English) Zbl 1351.68090 Artif. Intell. 232, 1-19 (2016). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Libkin}, Artif. Intell. 232, 1--19 (2016; Zbl 1351.68090) Full Text: DOI
Rakshit, Pratyusha; Konar, Amit Differential evolution for noisy multiobjective optimization. (English) Zbl 1346.90828 Artif. Intell. 227, 165-189 (2015). MSC: 90C59 68T20 90C29 PDFBibTeX XMLCite \textit{P. Rakshit} and \textit{A. Konar}, Artif. Intell. 227, 165--189 (2015; Zbl 1346.90828) Full Text: DOI
Li, Sanjiang; Long, Zhiguo; Liu, Weiming; Duckham, Matt; Both, Alan On redundant topological constraints. (English) Zbl 1343.68234 Artif. Intell. 225, 51-76 (2015). MSC: 68T30 PDFBibTeX XMLCite \textit{S. Li} et al., Artif. Intell. 225, 51--76 (2015; Zbl 1343.68234) Full Text: DOI arXiv
Lecoutre, Christophe; Likitvivatanavong, Chavalit; Yap, Roland H. C. STR3: a path-optimal filtering algorithm for table constraints. (English) Zbl 1328.68199 Artif. Intell. 220, 1-27 (2015). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Lecoutre} et al., Artif. Intell. 220, 1--27 (2015; Zbl 1328.68199) Full Text: DOI
Borgwardt, Stefan; Distel, Felix; Peñaloza, Rafael The limits of decidability in fuzzy description logics with general concept inclusions. (English) Zbl 1319.68211 Artif. Intell. 218, 23-55 (2015). MSC: 68T27 03B25 03B52 68T30 PDFBibTeX XMLCite \textit{S. Borgwardt} et al., Artif. Intell. 218, 23--55 (2015; Zbl 1319.68211) Full Text: DOI
Caro, S.; Chablat, D.; Goldsztejn, A.; Ishii, D.; Jermann, C. A branch and prune algorithm for the computation of generalized aspects of parallel robots. (English) Zbl 1405.68384 Artif. Intell. 211, 34-50 (2014). MSC: 68T40 PDFBibTeX XMLCite \textit{S. Caro} et al., Artif. Intell. 211, 34--50 (2014; Zbl 1405.68384) Full Text: DOI
Yang, Jian-Bo; Xu, Dong-Ling Evidential reasoning rule for evidence combination. (English) Zbl 1334.68225 Artif. Intell. 205, 1-29 (2013). MSC: 68T37 PDFBibTeX XMLCite \textit{J.-B. Yang} and \textit{D.-L. Xu}, Artif. Intell. 205, 1--29 (2013; Zbl 1334.68225) Full Text: DOI
Qian, Chao; Yu, Yang; Zhou, Zhi-Hua An analysis on recombination in multi-objective evolutionary optimization. (English) Zbl 1334.68203 Artif. Intell. 204, 99-119 (2013). MSC: 68T20 68Q25 90C29 90C59 PDFBibTeX XMLCite \textit{C. Qian} et al., Artif. Intell. 204, 99--119 (2013; Zbl 1334.68203) Full Text: DOI
Li, Sanjiang; Liu, Weiming; Wang, Shengsheng Qualitative constraint satisfaction problems: an extended framework with landmarks. (English) Zbl 1334.68208 Artif. Intell. 201, 32-58 (2013). MSC: 68T27 68Q25 68T20 PDFBibTeX XMLCite \textit{S. Li} et al., Artif. Intell. 201, 32--58 (2013; Zbl 1334.68208) Full Text: DOI
Zhou, Chunlai Belief functions on distributive lattices. (English) Zbl 1334.68215 Artif. Intell. 201, 1-31 (2013). MSC: 68T30 03B42 03B47 06D05 68T27 68T37 PDFBibTeX XMLCite \textit{C. Zhou}, Artif. Intell. 201, 1--31 (2013; Zbl 1334.68215) Full Text: DOI
Gottlob, Georg On minimal constraint networks. (English) Zbl 1270.68268 Artif. Intell. 191-192, 42-60 (2012). MSC: 68T20 68P15 68Q17 PDFBibTeX XMLCite \textit{G. Gottlob}, Artif. Intell. 191--192, 42--60 (2012; Zbl 1270.68268) Full Text: DOI Link
Lawry, Jonathan; Tang, Yongchuan On truth-gaps, bipolar belief and the assertability of vague propositions. (English) Zbl 1270.68316 Artif. Intell. 191-192, 20-41 (2012). MSC: 68T37 03B42 68T27 PDFBibTeX XMLCite \textit{J. Lawry} and \textit{Y. Tang}, Artif. Intell. 191--192, 20--41 (2012; Zbl 1270.68316) Full Text: DOI Link
Liu, Weiming; Li, Sanjiang Reasoning about cardinal directions between extended objects: the NP-hardness result. (English) Zbl 1238.68155 Artif. Intell. 175, No. 18, 2155-2169 (2011). MSC: 68T27 68Q17 68U05 PDFBibTeX XMLCite \textit{W. Liu} and \textit{S. Li}, Artif. Intell. 175, No. 18, 2155--2169 (2011; Zbl 1238.68155) Full Text: DOI arXiv
Moratz, Reinhard; Lücke, Dominik; Mossakowski, Till A condensed semantics for qualitative spatial reasoning about oriented straight line segments. (English) Zbl 1252.68278 Artif. Intell. 175, No. 16-17, 2099-2127 (2011). MSC: 68T27 68U05 PDFBibTeX XMLCite \textit{R. Moratz} et al., Artif. Intell. 175, No. 16--17, 2099--2127 (2011; Zbl 1252.68278) Full Text: DOI
Labreuche, Christophe A general framework for explaining the results of a multi-attribute preference model. (English) Zbl 1231.91084 Artif. Intell. 175, No. 7-8, 1410-1448 (2011). MSC: 91B08 90B50 91B16 PDFBibTeX XMLCite \textit{C. Labreuche}, Artif. Intell. 175, No. 7--8, 1410--1448 (2011; Zbl 1231.91084) Full Text: DOI
Waegeman, Willem; De Baets, Bernard On the ERA ranking representability of pairwise bipartite ranking functions. (English) Zbl 1225.68220 Artif. Intell. 175, No. 7-8, 1223-1250 (2011). MSC: 68T05 91B08 PDFBibTeX XMLCite \textit{W. Waegeman} and \textit{B. De Baets}, Artif. Intell. 175, No. 7--8, 1223--1250 (2011; Zbl 1225.68220) Full Text: DOI
Ö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
Gerevini, Alfonso E.; Saetti, Alessandro Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure. (English) Zbl 1216.68266 Artif. Intell. 175, No. 2, 556-585 (2011). MSC: 68T27 PDFBibTeX XMLCite \textit{A. E. Gerevini} and \textit{A. Saetti}, Artif. Intell. 175, No. 2, 556--585 (2011; Zbl 1216.68266) Full Text: DOI
Liu, Weiming; Zhang, Xiaotong; Li, Sanjiang; Ying, Mingsheng Reasoning about cardinal directions between extended objects. (English) Zbl 1205.68399 Artif. Intell. 174, No. 12-13, 951-983 (2010). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{W. Liu} et al., Artif. Intell. 174, No. 12--13, 951--983 (2010; Zbl 1205.68399) Full Text: DOI
Solnon, Christine AllDifferent-based filtering for subgraph isomorphism. (English) Zbl 1209.68383 Artif. Intell. 174, No. 12-13, 850-864 (2010). MSC: 68R10 68T20 PDFBibTeX XMLCite \textit{C. Solnon}, Artif. Intell. 174, No. 12--13, 850--864 (2010; Zbl 1209.68383) Full Text: DOI HAL
Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin Positive approximation: an accelerator for attribute reduction in rough set theory. (English) Zbl 1205.68310 Artif. Intell. 174, No. 9-10, 597-618 (2010). MSC: 68T05 68T20 94A17 PDFBibTeX XMLCite \textit{Y. Qian} et al., Artif. Intell. 174, No. 9--10, 597--618 (2010; Zbl 1205.68310) Full Text: DOI
Denœux, Thierry; Younes, Zoulficar; Abdallah, Fahed Representing uncertainty on set-valued variables using belief functions. (English) Zbl 1209.68542 Artif. Intell. 174, No. 7-8, 479-499 (2010). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T. Denœux} et al., Artif. Intell. 174, No. 7--8, 479--499 (2010; Zbl 1209.68542) Full Text: DOI HAL
Lawry, Jonathan; Tang, Yongchuan Uncertainty modelling for vague concepts: a prototype theory approach. (English) Zbl 1185.68710 Artif. Intell. 173, No. 18, 1539-1558 (2009). MSC: 68T37 PDFBibTeX XMLCite \textit{J. Lawry} and \textit{Y. Tang}, Artif. Intell. 173, No. 18, 1539--1558 (2009; Zbl 1185.68710) Full Text: DOI
Zhang, Yuanlin; Marisetti, Satyanarayana Solving connected row convex constraints by variable elimination. (English) Zbl 1194.68212 Artif. Intell. 173, No. 12-13, 1204-1219 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{S. Marisetti}, Artif. Intell. 173, No. 12--13, 1204--1219 (2009; Zbl 1194.68212) Full Text: DOI
Amgoud, Leila; Prade, Henri Using arguments for making and explaining decisions. (English) Zbl 1343.68219 Artif. Intell. 173, No. 3-4, 413-436 (2009). MSC: 68T20 68T37 91B06 PDFBibTeX XMLCite \textit{L. Amgoud} and \textit{H. Prade}, Artif. Intell. 173, No. 3--4, 413--436 (2009; Zbl 1343.68219) Full Text: DOI
Bouveret, Sylvain; Lemaître, Michel Computing leximin-optimal solutions in constraint networks. (English) Zbl 1178.90301 Artif. Intell. 173, No. 2, 343-364 (2009). MSC: 90C29 68T20 PDFBibTeX XMLCite \textit{S. Bouveret} and \textit{M. Lemaître}, Artif. Intell. 173, No. 2, 343--364 (2009; Zbl 1178.90301) Full Text: DOI
Zhang, Yuanlin; Freuder, Eugene C. Properties of tree convex constraints. (English) Zbl 1183.90441 Artif. Intell. 172, No. 12-13, 1605-1612 (2008). MSC: 90C35 68T20 90C59 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{E. C. Freuder}, Artif. Intell. 172, No. 12--13, 1605--1612 (2008; Zbl 1183.90441) Full Text: DOI
Schockaert, Steven; de Cock, Martine Temporal reasoning about fuzzy intervals. (English) Zbl 1183.68620 Artif. Intell. 172, No. 8-9, 1158-1193 (2008). MSC: 68T37 PDFBibTeX XMLCite \textit{S. Schockaert} and \textit{M. de Cock}, Artif. Intell. 172, No. 8--9, 1158--1193 (2008; Zbl 1183.68620) Full Text: DOI
Green, Martin J.; Cohen, David A. Domain permutation reduction for constraint satisfaction problems. (English) Zbl 1183.68309 Artif. Intell. 172, No. 8-9, 1094-1118 (2008). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{M. J. Green} and \textit{D. A. Cohen}, Artif. Intell. 172, No. 8--9, 1094--1118 (2008; Zbl 1183.68309) Full Text: DOI
Denœux, Thierry Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. (English) Zbl 1182.68298 Artif. Intell. 172, No. 2-3, 234-264 (2008). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T. Denœux}, Artif. Intell. 172, No. 2--3, 234--264 (2008; Zbl 1182.68298) Full Text: DOI
Choi, Sung-Soon; Jung, Kyomin; Kim, Jeong Han Phase transition in a random NK landscape model. (English) Zbl 1182.68230 Artif. Intell. 172, No. 2-3, 179-203 (2008). MSC: 68T20 68Q25 92D10 PDFBibTeX XMLCite \textit{S.-S. Choi} et al., Artif. Intell. 172, No. 2--3, 179--203 (2008; Zbl 1182.68230) Full Text: DOI
Bessiere, Christian; Debruyne, Romuald Theoretical analysis of singleton arc consistency and its extensions. (English) Zbl 1182.68217 Artif. Intell. 172, No. 1, 29-41 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Bessiere} and \textit{R. Debruyne}, Artif. Intell. 172, No. 1, 29--41 (2008; Zbl 1182.68217) Full Text: DOI
Luo, Xudong; Jennings, Nicholas R. A spectrum of compromise aggregation operators for multi-attribute decision making. (English) Zbl 1168.68580 Artif. Intell. 171, No. 2-3, 161-184 (2007). MSC: 68T37 91B06 PDFBibTeX XMLCite \textit{X. Luo} and \textit{N. R. Jennings}, Artif. Intell. 171, No. 2--3, 161--184 (2007; Zbl 1168.68580) Full Text: DOI Link
Ying, Mingsheng Linguistic quantifiers modeled by Sugeno integrals. (English) Zbl 1131.68551 Artif. Intell. 170, No. 6-7, 581-606 (2006). MSC: 68T30 68T50 28E10 PDFBibTeX XMLCite \textit{M. Ying}, Artif. Intell. 170, No. 6--7, 581--606 (2006; Zbl 1131.68551) Full Text: DOI
Badaloni, Silvana; Giacomin, Massimiliano The algebra \(\text{IA}^{\text{fuz}}\): a framework for qualitative fuzzy temporal reasoning. (English) Zbl 1131.68530 Artif. Intell. 170, No. 10, 872-908 (2006). MSC: 68T27 68T20 68T37 PDFBibTeX XMLCite \textit{S. Badaloni} and \textit{M. Giacomin}, Artif. Intell. 170, No. 10, 872--908 (2006; Zbl 1131.68530) Full Text: DOI
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Krokhin, Andrei A. The complexity of soft constraint satisfaction. (English) Zbl 1131.68520 Artif. Intell. 170, No. 11, 983-1016 (2006). MSC: 68T20 68Q25 90C27 PDFBibTeX XMLCite \textit{D. A. Cohen} et al., Artif. Intell. 170, No. 11, 983--1016 (2006; Zbl 1131.68520) Full Text: DOI Link
Liu, Weiru Analyzing the degree of conflict among belief functions. (English) Zbl 1131.68539 Artif. Intell. 170, No. 11, 909-924 (2006). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{W. Liu}, Artif. Intell. 170, No. 11, 909--924 (2006; Zbl 1131.68539) Full Text: DOI Link
Bessière, Christian; Régin, Jean-Charles; Yap, Roland H. C.; Zhang, Yuanlin An optimal coarse-grained arc consistency algorithm. (English) Zbl 1132.68691 Artif. Intell. 165, No. 2, 165-185 (2005). MSC: 68T20 PDFBibTeX XMLCite \textit{C. Bessière} et al., Artif. Intell. 165, No. 2, 165--185 (2005; Zbl 1132.68691) Full Text: DOI Link
Gerevini, Alfonso Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class. (English) Zbl 1132.68730 Artif. Intell. 166, No. 1-2, 37-80 (2005). MSC: 68T27 03B44 PDFBibTeX XMLCite \textit{A. Gerevini}, Artif. Intell. 166, No. 1--2, 37--80 (2005; Zbl 1132.68730) Full Text: DOI
Lawry, Jonathan A framework for linguistic modelling. (English) Zbl 1085.68695 Artif. Intell. 155, No. 1-2, 1-39 (2004). MSC: 68T37 PDFBibTeX XMLCite \textit{J. Lawry}, Artif. Intell. 155, No. 1--2, 1--39 (2004; Zbl 1085.68695) Full Text: DOI
Hüllermeier, Eyke Possibilistic instance-based learning. (English) Zbl 1082.68638 Artif. Intell. 148, No. 1-2, 335-383 (2003). MSC: 68T05 PDFBibTeX XMLCite \textit{E. Hüllermeier}, Artif. Intell. 148, No. 1--2, 335--383 (2003; Zbl 1082.68638) Full Text: DOI
Grabisch, Michel Temporal scenario modelling and recognition based on possibilistic logic. (English) Zbl 1082.68820 Artif. Intell. 148, No. 1-2, 261-289 (2003). MSC: 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{M. Grabisch}, Artif. Intell. 148, No. 1--2, 261--289 (2003; Zbl 1082.68820) Full Text: DOI
Schwartz, Daniel G. Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief. (English) Zbl 1082.68824 Artif. Intell. 148, No. 1-2, 177-195 (2003). MSC: 68T27 68T30 68T37 03B42 PDFBibTeX XMLCite \textit{D. G. Schwartz}, Artif. Intell. 148, No. 1--2, 177--195 (2003; Zbl 1082.68824) Full Text: DOI
Bloch, Isabelle; Géraud, Thierry; Maître, Henri Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition – application to 3D brain imaging. (English) Zbl 1082.68789 Artif. Intell. 148, No. 1-2, 141-175 (2003). MSC: 68T10 68T30 68U05 92C55 PDFBibTeX XMLCite \textit{I. Bloch} et al., Artif. Intell. 148, No. 1--2, 141--175 (2003; Zbl 1082.68789) Full Text: DOI
Félix, P.; Barro, S.; Marín, R. Fuzzy constraint networks for signal pattern recognition. (English) Zbl 1082.68792 Artif. Intell. 148, No. 1-2, 103-140 (2003). MSC: 68T10 68T20 PDFBibTeX XMLCite \textit{P. Félix} et al., Artif. Intell. 148, No. 1--2, 103--140 (2003; Zbl 1082.68792) Full Text: DOI
Jégou, Philippe; Terrioux, Cyril Hybrid backtracking bounded by tree-decomposition of constraint networks. (English) Zbl 1082.68803 Artif. Intell. 146, No. 1, 43-75 (2003). MSC: 68T20 68R10 PDFBibTeX XMLCite \textit{P. Jégou} and \textit{C. Terrioux}, Artif. Intell. 146, No. 1, 43--75 (2003; Zbl 1082.68803) Full Text: DOI
Jøsang, Audun The consensus operator for combining beliefs. (English) Zbl 1043.68093 Artif. Intell. 141, No. 1-2, 157-170 (2002). MSC: 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{A. Jøsang}, Artif. Intell. 141, No. 1--2, 157--170 (2002; Zbl 1043.68093) Full Text: DOI
Bettini, Claudio; Wang, X. Sean; Jajodia, Sushil Solving multi-granularity temporal constraint networks. (English) Zbl 0999.68204 Artif. Intell. 140, No. 1-2, 107-152 (2002). MSC: 68T20 68T30 PDFBibTeX XMLCite \textit{C. Bettini} et al., Artif. Intell. 140, No. 1--2, 107--152 (2002; Zbl 0999.68204) Full Text: DOI
Navarrete, I.; Sattar, A.; Wetprasit, R.; Marin, R. On point-duration networks for temporal reasoning. (English) Zbl 0999.68203 Artif. Intell. 140, No. 1-2, 39-70 (2002). MSC: 68T20 PDFBibTeX XMLCite \textit{I. Navarrete} et al., Artif. Intell. 140, No. 1--2, 39--70 (2002; Zbl 0999.68203) Full Text: DOI
Bacchus, Fahiem; Chen, Xinguang; van Beek, Peter; Walsh, Toby Binary vs. non-binary constraints. (English) Zbl 0999.68201 Artif. Intell. 140, No. 1-2, 1-37 (2002). MSC: 68T20 68T01 PDFBibTeX XMLCite \textit{F. Bacchus} et al., Artif. Intell. 140, No. 1--2, 1--37 (2002; Zbl 0999.68201) Full Text: DOI
Dechter, Rina; Frost, Daniel Backjump-based backtracking for constraint satisfaction problems. (English) Zbl 0995.68102 Artif. Intell. 136, No. 2, 147-188 (2002). MSC: 68T20 PDFBibTeX XMLCite \textit{R. Dechter} and \textit{D. Frost}, Artif. Intell. 136, No. 2, 147--188 (2002; Zbl 0995.68102) Full Text: DOI
van den Herik, H. Jaap; Uiterwijk, Jos W. H. M.; van Rijswijck, Jack Games solved: Now and in the future. (English) Zbl 0982.68143 Artif. Intell. 134, No. 1-2, 277-311 (2002). MSC: 68T35 68P10 PDFBibTeX XMLCite \textit{H. J. van den Herik} et al., Artif. Intell. 134, No. 1--2, 277--311 (2002; Zbl 0982.68143) Full Text: DOI
Müller, Martin Computer Go. (English) Zbl 0982.68120 Artif. Intell. 134, No. 1-2, 145-179 (2002). MSC: 68T20 68T30 91A05 PDFBibTeX XMLCite \textit{M. Müller}, Artif. Intell. 134, No. 1--2, 145--179 (2002; Zbl 0982.68120) Full Text: DOI
Bouzy, B.; Cazenave, T. Computer Go: An AI oriented survey. (English) Zbl 0983.68152 Artif. Intell. 132, No. 1, 39-103 (2001). MSC: 68T05 91A99 68T20 PDFBibTeX XMLCite \textit{B. Bouzy} and \textit{T. Cazenave}, Artif. Intell. 132, No. 1, 39--103 (2001; Zbl 0983.68152) Full Text: DOI
Staab, S. From binary temporal relations to non-binary ones and back. (English) Zbl 0971.68126 Artif. Intell. 128, No. 1-2, 1-29 (2001). MSC: 68T01 PDFBibTeX XMLCite \textit{S. Staab}, Artif. Intell. 128, No. 1--2, 1--29 (2001; Zbl 0971.68126) Full Text: DOI
Jiménez, P.; Torras, C. An efficient algorithm for searching implicit AND/OR graphs with cycles. (English) Zbl 0957.68034 Artif. Intell. 124, No. 1, 1-30 (2000). MSC: 68P10 68W05 68R10 PDFBibTeX XMLCite \textit{P. Jiménez} and \textit{C. Torras}, Artif. Intell. 124, No. 1, 1--30 (2000; Zbl 0957.68034) Full Text: DOI
Gent, I.; Stergiou, K.; Walsh, T. Decomposable constraints. (English) Zbl 0952.68130 Artif. Intell. 123, No. 1-2, 133-156 (2000). MSC: 68T20 PDFBibTeX XMLCite \textit{I. Gent} et al., Artif. Intell. 123, No. 1--2, 133--156 (2000; Zbl 0952.68130) Full Text: DOI
Dorndorf, U.; Pesch, E.; Phan-Huy, T. Constraint propagation techniques for the disjunctive scheduling problem. (English) Zbl 0948.68010 Artif. Intell. 122, No. 1-2, 189-240 (2000). MSC: 68M20 PDFBibTeX XMLCite \textit{U. Dorndorf} et al., Artif. Intell. 122, No. 1--2, 189--240 (2000; Zbl 0948.68010) Full Text: DOI
Isli, A.; Cohn, A. G. A new approach to cyclic ordering of 2D orientations using ternary relation algebras. (English) Zbl 0948.68170 Artif. Intell. 122, No. 1-2, 137-187 (2000). MSC: 68T30 PDFBibTeX XMLCite \textit{A. Isli} and \textit{A. G. Cohn}, Artif. Intell. 122, No. 1--2, 137--187 (2000; Zbl 0948.68170) Full Text: DOI
Stergiou, K.; Koubarakis, M. Backtracking algorithms for disjunctions of temporal constraints. (English) Zbl 0945.68038 Artif. Intell. 120, No. 1, 81-117 (2000). MSC: 68P15 68T01 68P10 PDFBibTeX XMLCite \textit{K. Stergiou} and \textit{M. Koubarakis}, Artif. Intell. 120, No. 1, 81--117 (2000; Zbl 0945.68038) Full Text: DOI
Weigel, Rainer; Faltings, Boi Compiling constraint satisfaction problems. (English) Zbl 0996.68185 Artif. Intell. 115, No. 2, 257-287 (1999). MSC: 68T20 68M20 PDFBibTeX XMLCite \textit{R. Weigel} and \textit{B. Faltings}, Artif. Intell. 115, No. 2, 257--287 (1999; Zbl 0996.68185) Full Text: DOI
Van Hentenryck, Pascal A gentle introduction to Numerica. (English) Zbl 0910.68095 Artif. Intell. 103, No. 1-2, 209-235 (1998). MSC: 68W30 PDFBibTeX XMLCite \textit{P. Van Hentenryck}, Artif. Intell. 103, No. 1--2, 209--235 (1998; Zbl 0910.68095) Full Text: DOI
Kohlas, J.; Anrig, B.; Haenni, R.; Monney, P. A. Model-based diagnostics and probabilistic assumption-based reasoning. (English) Zbl 0917.68202 Artif. Intell. 104, No. 1-2, 71-106 (1998). MSC: 68T20 PDFBibTeX XMLCite \textit{J. Kohlas} et al., Artif. Intell. 104, No. 1--2, 71--106 (1998; Zbl 0917.68202) Full Text: DOI
Arieli, Ofer; Avron, Arnon The value of the four values. (English) Zbl 0928.03025 Artif. Intell. 102, No. 1, 97-141 (1998). MSC: 03B53 68T37 03B50 68T27 03G25 PDFBibTeX XMLCite \textit{O. Arieli} and \textit{A. Avron}, Artif. Intell. 102, No. 1, 97--141 (1998; Zbl 0928.03025) Full Text: DOI
Jeavons, Peter; Cohen, David; Cooper, Martin C. Constraints, consistency and closure. (English) Zbl 0909.68076 Artif. Intell. 101, No. 1-2, 251-265 (1998). MSC: 68Q15 PDFBibTeX XMLCite \textit{P. Jeavons} et al., Artif. Intell. 101, No. 1--2, 251--265 (1998; Zbl 0909.68076) Full Text: DOI
Tsang, Edward No more “Partial” and “Full Looking Ahead”. (English) Zbl 0903.68049 Artif. Intell. 98, No. 1-2, 351-361 (1998). MSC: 68P10 PDFBibTeX XMLCite \textit{E. Tsang}, Artif. Intell. 98, No. 1--2, 351--361 (1998; Zbl 0903.68049) Full Text: DOI
Cooper, Martin C. Fundamental properties of neighbourhood substitution in constraint satisfaction problems. (English) Zbl 1017.68534 Artif. Intell. 90, No. 1-2, 1-24 (1997). MSC: 68T20 PDFBibTeX XMLCite \textit{M. C. Cooper}, Artif. Intell. 90, No. 1--2, 1--24 (1997; Zbl 1017.68534) Full Text: DOI
Drakengren, Thomas; Jonsson, Peter Twenty-one large tractable subclasses of Allen’s algebra. (English) Zbl 1017.03514 Artif. Intell. 93, No. 1-2, 297-319 (1997). MSC: 03B70 03B44 68T27 68Q25 PDFBibTeX XMLCite \textit{T. Drakengren} and \textit{P. Jonsson}, Artif. Intell. 93, No. 1--2, 297--319 (1997; Zbl 1017.03514) Full Text: DOI
Schwartz, Daniel G. Dynamic reasoning with qualified syllogisms. (English) Zbl 1017.03516 Artif. Intell. 93, No. 1-2, 103-167 (1997). MSC: 03B70 03B60 68T37 PDFBibTeX XMLCite \textit{D. G. Schwartz}, Artif. Intell. 93, No. 1--2, 103--167 (1997; Zbl 1017.03516) Full Text: DOI
Kondrak, Grzegorz; van Beek, Peter A theoretical evaluation of selected backtracking algorithms. (English) Zbl 1042.68671 Artif. Intell. 89, No. 1-2, 365-387 (1997). MSC: 68T20 PDFBibTeX XMLCite \textit{G. Kondrak} and \textit{P. van Beek}, Artif. Intell. 89, No. 1--2, 365--387 (1997; Zbl 1042.68671) Full Text: DOI
Clementini, Eliseo; Di Felice, Paolino; Hernández, Daniel Qualitative representation of positional information. (English) Zbl 0894.68143 Artif. Intell. 95, No. 2, 317-356 (1997). MSC: 68T27 68T35 PDFBibTeX XMLCite \textit{E. Clementini} et al., Artif. Intell. 95, No. 2, 317--356 (1997; Zbl 0894.68143) Full Text: DOI
Berleant, Daniel; Kuipers, Benjamin J. Qualitative and quantitative simulation: bridging the gap. (English) Zbl 0894.68173 Artif. Intell. 95, No. 2, 215-255 (1997). MSC: 68U20 PDFBibTeX XMLCite \textit{D. Berleant} and \textit{B. J. Kuipers}, Artif. Intell. 95, No. 2, 215--255 (1997; Zbl 0894.68173) Full Text: DOI
Meiri, Itay Combining qualitative and quantitative constraints in temporal reasoning. (English) Zbl 1506.68142 Artif. Intell. 87, No. 1-2, 343-385 (1996). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{I. Meiri}, Artif. Intell. 87, No. 1--2, 343--385 (1996; Zbl 1506.68142) Full Text: DOI
Meiri, Itay; Dechter, Rina; Pearl, Judea Uncovering trees in constraint networks. (English) Zbl 1506.68153 Artif. Intell. 86, No. 2, 245-267 (1996). MSC: 68T30 68R10 68T20 PDFBibTeX XMLCite \textit{I. Meiri} et al., Artif. Intell. 86, No. 2, 245--267 (1996; Zbl 1506.68153) Full Text: DOI
Lin, Jinxin A semantics for reasoning consistently in the presence of inconsistency. (English) Zbl 1506.68141 Artif. Intell. 86, No. 1, 75-95 (1996). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{J. Lin}, Artif. Intell. 86, No. 1, 75--95 (1996; Zbl 1506.68141) Full Text: DOI
Walley, Peter Measures of uncertainty in expert systems. (English) Zbl 1506.68157 Artif. Intell. 83, No. 1, 1-58 (1996). MSC: 68T35 68T37 PDFBibTeX XMLCite \textit{P. Walley}, Artif. Intell. 83, No. 1, 1--58 (1996; Zbl 1506.68157) Full Text: DOI
Roth, Dan On the hardness of approximate reasoning. (English) Zbl 1506.68143 Artif. Intell. 82, No. 1-2, 273-302 (1996). MSC: 68T27 68Q17 68R07 PDFBibTeX XMLCite \textit{D. Roth}, Artif. Intell. 82, No. 1--2, 273--302 (1996; Zbl 1506.68143) Full Text: DOI
Mitchell, David G.; Levesque, Hector J. Some pitfalls for experimenters with random SAT. (English) Zbl 1508.68340 Artif. Intell. 81, No. 1-2, 111-125 (1996). MSC: 68T20 68Q25 68Q87 PDFBibTeX XMLCite \textit{D. G. Mitchell} and \textit{H. J. Levesque}, Artif. Intell. 81, No. 1--2, 111--125 (1996; Zbl 1508.68340) Full Text: DOI
Hogg, Tad; Huberman, Bernardo A.; Williams, Colin P. Phase transitions and the search problem. (English) Zbl 1508.68334 Artif. Intell. 81, No. 1-2, 1-15 (1996). MSC: 68T20 68Q87 PDFBibTeX XMLCite \textit{T. Hogg} et al., Artif. Intell. 81, No. 1--2, 1--15 (1996; Zbl 1508.68334) Full Text: DOI
Jeavons, Peter G.; Cooper, Martin C. Tractable constraints on ordered domains. (English) Zbl 1508.68132 Artif. Intell. 79, No. 2, 327-339 (1995). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{P. G. Jeavons} and \textit{M. C. Cooper}, Artif. Intell. 79, No. 2, 327--339 (1995; Zbl 1508.68132) Full Text: DOI
Jeavons, Peter G.; Cooper, Martin C. Tractable constraints on ordered domains. (English) Zbl 1013.68503 Artif. Intell. 79, No. 2, 327-339 (1995). MSC: 68Q25 68T20 68Q17 PDFBibTeX XMLCite \textit{P. G. Jeavons} and \textit{M. C. Cooper}, Artif. Intell. 79, No. 2, 327--339 (1995; Zbl 1013.68503) Full Text: DOI
Dechter, Rina; Meiri, Itay Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. (English) Zbl 0942.68576 Artif. Intell. 68, No. 2, 211-241 (1994). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{R. Dechter} and \textit{I. Meiri}, Artif. Intell. 68, No. 2, 211--241 (1994; Zbl 0942.68576) Full Text: DOI