Works matching IS 10769757 AND DT 2024 AND VI 80

Results: 43

On the Trade-off between Redundancy and Cohesion in Extractive Summarization.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 273, doi. 10.1613/jair.1.15191
By:
- Cardenas, Ronald;
- Gallé, Matthias;
- Cohen, Shay B.
Publication type:
Article
Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1407, doi. 10.1613/jair.1.15679
By:
- Weitkämper, Felix
Publication type:
Article
Counting Complexity for Reasoning in Abstract Argumentation.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 805, doi. 10.1613/jair.1.16210
By:
- Fichte, Johannes K.;
- Hecher, Markus;
- Meier, Arne
Publication type:
Article
Unifying SAT-Based Approaches to Maximum Satisfiability Solving.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 931, doi. 10.1613/jair.1.15986
By:
- Ihalainen, Hannes;
- Berg, Jeremias;
- Järvisalo, Matti
Publication type:
Article
The RL/LLM Taxonomy Tree: Reviewing Synergies between Reinforcement Learning and Large Language Models.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1525, doi. 10.1613/jair.1.15960
By:
- Pternea, Moschoula;
- Singh, Prerna;
- Chakraborty, Abir;
- Oruganti, Yagna;
- Milletari, Mirco;
- Bapat, Sayli;
- Jiang, Kebei
Publication type:
Article
SAT-based Decision Tree Learning for Large Data Sets.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 875, doi. 10.1613/jair.1.15956
By:
- Schidler, André;
- Szeider, Stefan
Publication type:
Article
Viewpoint: Hybrid Intelligence Supports Application Development for Diabetes Lifestyle Management.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 919, doi. 10.1613/jair.1.15916
By:
- Dudzik, Bernd J. W.;
- van der Waa, Jasper S.;
- Pei-Yu Chen;
- Dobbe, Roel;
- de Troya, Iñigo M. D. R.;
- Bakker, Roos M.;
- de Boer, Maaike H. T.;
- Smit, Quirine T. S.;
- Dell’Anna, Davide;
- Erdogan, Emre;
- Yolum, Pınar;
- Shihan Wang;
- Santamaría, Selene Báez;
- Krause, Lea;
- Kamphorst, Bart A.
Publication type:
Article
Tackling Cooperative Incompatibility for Zero-Shot Human-AI Coordination.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1139
By:
- Yang Li;
- Shao Zhang;
- Jichen Sun;
- Wenhao Zhang;
- Yali Du;
- Ying Wen;
- Xinbing Wang;
- Wei Pan
Publication type:
Article
Language-Models-as-a-Service: Overview of a New Paradigm and its Challenges.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1497, doi. 10.1613/jair.1.15865
By:
- Malfa, Emanuele La;
- Petrov, Aleksandar;
- Frieder, Simon;
- Weinhuber, Christoph;
- Burnell, Ryan;
- Nazar, Raza;
- Cohn, Anthony G.;
- Shadbolt, Nigel;
- Wooldridge, Michael
Publication type:
Article
MallobSat: Scalable SAT Solving by Clause Sharing.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1437, doi. 10.1613/jair.1.15827
By:
- Schreiber, Dominik;
- Sanders, Peter
Publication type:
Article
Expressing and Exploiting Subgoal Structure in Classical Planning Using Sketches.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 171, doi. 10.1613/jair.1.15821
By:
- Drexler, Dominik;
- Seipp, Jendrik;
- Geffner, Hector
Publication type:
Article
Mixed Fair Division: A Survey.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1373, doi. 10.1613/jair.1.15800
By:
- Shengxin Liu;
- Xinhang Lu;
- Suzuki, Mashbat;
- Walsh, Toby
Publication type:
Article
Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 977, doi. 10.1613/jair.1.15786
By:
- Fandinno, Jorge;
- Hansen, Zachary;
- Lierler, Yuliya
Publication type:
Article
Understanding Sample Generation Strategies for Learning Heuristic Functions in Classical Planning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 243, doi. 10.1613/jair.1.15742
By:
- Bettker, Rafael V.;
- Minini, Pedro P.;
- Pereira, Andre G.;
- Ritt, Marcus
Publication type:
Article
Similarity-Based Adaptation for Task-Aware and Task-Free Continual Learning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 377, doi. 10.1613/jair.1.15693
By:
- Adel, Tameem
Publication type:
Article
Experimental Design of Extractive Question-Answering Systems: Influence of Error Scores and Answer Length.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 87, doi. 10.1613/jair.1.15642
By:
- Farea, Amer;
- Emmert-Streib, Frank
Publication type:
Article
Using Constraint Propagation to Bound Linear Programs.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 665, doi. 10.1613/jair.1.15604
By:
- Dlask, Tomáš;
- Werner, Tomáš
Publication type:
Article
Best of Both Worlds: Agents with Entitlements.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 559, doi. 10.1613/jair.1.15595
By:
- Hoefer, Martin;
- Schmalhofer, Marco;
- Varricchio, Giovanna
Publication type:
Article
General Policies, Subgoal Structure, and Planning Width.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 475, doi. 10.1613/jair.1.15581
By:
- Bonet, Blai;
- Geffner, Hector
Publication type:
Article
Simulating Counterfactuals.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 835, doi. 10.1613/jair.1.15579
By:
- Karvanen, Juha;
- Tikka, Santtu;
- Vihola, Matti
Publication type:
Article
The Goal after Tomorrow: Offline Goal Reasoning with Norms.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1703, doi. 10.1613/jair.1.15566
By:
- Pardo, Pere;
- Straßer, Christian
Publication type:
Article
The Complexity of Subelection Isomorphism Problems.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1343, doi. 10.1613/jair.1.15550
By:
- Faliszewski, Piotr;
- Sornat, Krzysztof;
- Szufa, Stanisław
Publication type:
Article
Scalable Distributed Algorithms for Size-Constrained Submodular Maximization in the MapReduce and Adaptive Complexity Models.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1575, doi. 10.1613/jair.1.15484
By:
- Yixin Chen;
- Dey, Tonmoy;
- Kuhnle, Alan
Publication type:
Article
Does CLIP Know My Face?
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1033, doi. 10.1613/jair.1.15461
By:
- Hintersdorf, Dominik;
- Struppek, Lukas;
- Brack, Manuel;
- Friedrich, Felix;
- Schramowski, Patrick;
- Kersting, Kristian
Publication type:
Article
Robust Average-Reward Reinforcement Learning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 719, doi. 10.1613/jair.1.15451
By:
- Yue Wang;
- Velasquez, Alvaro;
- Atia, George;
- Prater-Bennette, Ashley;
- Shaofeng Zou
Publication type:
Article
Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1623, doi. 10.1613/jair.1.15320
By:
- Mandi, Jayanta;
- Kotary, James;
- Berden, Senne;
- Mulamba, Maxime;
- Bucarey, Víctor;
- Guns, Tias;
- Fioretto, Ferdinando
Publication type:
Article
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1063, doi. 10.1613/jair.1.15305
By:
- Brandt, Felix;
- Wilczynski, Anaëlle
Publication type:
Article
Computing Pareto-Optimal and Almost Envy-Free Allocations of Indivisible Goods.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1, doi. 10.1613/jair.1.15414
By:
- Garg, Jugal;
- Murhekar, Aniket
Publication type:
Article
Computational Argumentation-based Chatbots: a Survey.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1271, doi. 10.1613/jair.1.15407
By:
- Castagna, Federico;
- Kökciyan, Nadin;
- Sassoon, Isabel;
- Parsons, Simon;
- Sklar, Elizabeth
Publication type:
Article
Computing Unsatisfiable Cores for LTL<sub>f </sub>Specifications.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 517, doi. 10.1613/jair.1.15313
By:
- Roveri, Marco;
- Di Ciccio, Claudio;
- Di Francescomarino, Chiara;
- Ghidini, Chiara
Publication type:
Article
Individual Fairness, Base Rate Tracking and the Lipschitz Condition.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 859, doi. 10.1613/jair.1.15236
By:
- Eva, Benjamin
Publication type:
Article
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1223, doi. 10.1613/jair.1.15333
By:
- Jabs, Christoph;
- Berg, Jeremias;
- Niskanen, Andreas;
- Järvisalo, Matti
Publication type:
Article
Estimating Agent Skill in Continuous Action Domains.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 27, doi. 10.1613/jair.1.15326
By:
- Archibald, Christopher;
- Nieves-Rivera, Delma
Publication type:
Article
Mitigating Value Hallucination in Dyna-Style Planning via Multistep Predecessor Models.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 441, doi. 10.1613/jair.1.15155
By:
- Aminmansour, Farzane;
- Jafferjee, Taher;
- Imani, Ehsan;
- Talvitie, Erin J.;
- Bowling, Michael;
- White, Martha
Publication type:
Article
A Hybrid Intelligence Method for Argument Mining.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1187, doi. 10.1613/jair.1.15135
By:
- van der Meer, Michiel;
- Liscio, Enrico;
- Jonker, Catholijn M.;
- Plaat, Aske;
- Vossen, Piek;
- Murukannaiah, Pradeep K.
Publication type:
Article
Methods for Recovering Conditional Independence Graphs: A Survey.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 593, doi. 10.1613/jair.1.14676
By:
- Shrivastava, Harsh;
- Chajewska, Urszula
Publication type:
Article
Towards Trustworthy AI-Enabled Decision Support Systems: Validation of the Multisource AI Scorecard Table (MAST).
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1311, doi. 10.1613/jair.1.14990
By:
- Salehi, Pouria;
- Ba, Yang;
- Kim, Nayoung;
- Mosallanezhad, Ahmadreza;
- Pan, Anna;
- Cohen, Myke C.;
- Wang, Yixuan;
- Zhao, Jieqiong;
- Bhatti, Shawaiz;
- Sung, James;
- Blasch, Erik;
- Mancenido, Michelle V.;
- Chiou, Erin K.
Publication type:
Article
Scalable Primal Heuristics Using Graph Neural Networks for Combinatorial Optimization.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 327, doi. 10.1613/jair.1.14972
By:
- Cantürk, Furkan;
- Varol, Taha;
- Aydoğan, Reyhan;
- Özener, Okan Örsan
Publication type:
Article
The Toad System for Totally Ordered HTN Planning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 613, doi. 10.1613/jair.1.14945
By:
- Höller, Daniel
Publication type:
Article
Effectiveness of Tree-based Ensembles for Anomaly Discovery: Insights, Batch and Streaming Active Learning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 127, doi. 10.1613/jair.1.14741
By:
- Das, Shubhomoy;
- Islam, Md. Rakibul;
- Jayakodi, Nitthilan Kannappan;
- Doppa, Janardhan Rao
Publication type:
Article
Exploiting Contextual Target Attributes for Target Sentiment Classification.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 419, doi. 10.1613/jair.1.14947
By:
- Bowen Xing;
- Tsang, Ivor W.
Publication type:
Article
Block Domain Knowledge-Driven Learning of Chain Graphs Structure.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 209, doi. 10.1613/jair.1.14435
By:
- Shujing Yang;
- Fuyuan Cao
Publication type:
Article
Symbolic Task Inference in Deep Reinforcement Learning.
Published in:
Journal of Artificial Intelligence Research, 2024, v. 80, p. 1099, doi. 10.1613/jair.1.14063
By:
- Hasanbeig, Hosein;
- Jeppu, Natasha Yogananda;
- Abate, Alessandro;
- Melham, Tom;
- Kroening, Daniel
Publication type:
Article