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

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

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

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

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

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

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

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

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

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

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

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

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