*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 5*number_thousands_separator*402

1

Planning in Answer Set Programming Using Ordered Task Decomposition
Artificial intelligence; KI 2003

Dix, J. ; Kuter, U. ; Nau, D.
LECTURE NOTES IN COMPUTER SCIENCE. :490-504

*Conference*
3

Planning in answer set programming using ordered task decomposition
Jürgen Dix ; Ugur Kuter ; Dana Nau ; et al.
http://www.cs.umd.edu/~nau/papers/dix2003planning.pdf.

HTN planning nonmonotonic reasoning ASP systems
*Academic Journal*
4

Solving Decision Theory Problems with Probabilistic Answer Set Programming.
AZZOLINI, DAMIANO ; BELLODI, ELENA ; KIESEL, RAFAEL ; et al.
Theory & Practice of Logic Programming; Jan2025, Vol. 25 Issue 1, p33-63, 31p

STATISTICAL decision mak... ARTIFICIAL intelligence SEMANTICS ALGORITHMS COUNTING
*Academic Journal*
6

Answer Set Planning: A Survey.
CAO TRAN, SON ; PONTELLI, ENRICO ; BALDUCCINI, MARCELLO ; et al.
Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p226-298, 73p

KNOWLEDGE representation... LOGIC programming
*Academic Journal*
7

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Rajaratnam, David ; Schaub, Torsten ; Wanko, Philipp ; et al.
Algorithms; Apr2023, Vol. 16 Issue 4, p216, 62p

ROBOT motion WEIGHTED graphs DIRECTED graphs WAREHOUSES WAREHOUSING & storage HANDICRAFT industries
*Academic Journal*
8

A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures.
BIKAKIS, ANTONIS ; D'ASARO, FABIO AURELIO ; DIALLO, AISSATOU ; et al.
Journal of Artificial Intelligence Research; 2025, Vol. 84, p1-45, 45p

SUBSTITUTIONS (Mathemati... MANUFACTURING processes RESOURCE allocation MATHEMATICAL formulas
*Academic Journal*
9

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach.
Meli, Daniele ; Castellini, Alberto ; Farinelli, Alessandro
Journal of Artificial Intelligence Research; 2024, Vol. 79, p725-776, 52p

PARTIALLY observable Mar... LOGIC programming PROBABILITY theory ARTIFICIAL neural networ... MONTE Carlo method
*Academic Journal*
10

Scheduling pre-operative assessment clinic with answer set programming.
Caruso, Simone ; Galatà, Giuseppe ; Maratea, Marco ; et al.
Journal of Logic & Computation; Apr2024, Vol. 34 Issue 3, p465-493, 29p

PATIENT satisfaction WEB-based user interface... SCHEDULING CLINICS OPERATIVE surgery
*Academic Journal*
11

Optimizing Answer Set Computation via Heuristic-Based Decomposition.
CALIMERI, FRANCESCO ; PERRI, SIMONA ; ZANGARI, JESSICA
Theory & Practice of Logic Programming; Jul2019, Vol. 19 Issue 4, p603-628, 26p

NONMONOTONIC logic LOGIC programming COMPUTER systems SEMANTIC Web KNOWLEDGE representation...
*Academic Journal*
12

Evolutionary System Design with Answer Set Programming.
Haubelt, Christian ; Müller, Luise ; Neubauer, Kai ; et al.
Algorithms; Apr2023, Vol. 16 Issue 4, p179, 38p

SYSTEMS design CONFLICT management SPACE exploration NEW product development
*Academic Journal*
13

A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming.
BARYANNIS, GEORGE ; TACHMAZIDIS, ILIAS ; BATSAKIS, SOTIRIS ; et al.
Theory & Practice of Logic Programming; Sep2020, Vol. 20 Issue 5, p687-702, 16p

SET theory TRAFFIC monitoring WAREHOUSES NATURAL languages CALCULI
*Academic Journal*
14

Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework.
Mitchener, Ludovico ; Tuckey, David ; Crosby, Matthew ; et al.
Machine Learning; Apr2022, Vol. 111 Issue 4, p1523-1549, 27p

INDUCTION (Logic) LOGIC programming HYBRID computers (Comput... COMPUTER vision
*Academic Journal*
15

Operating Room (Re)Scheduling with Bed Management via ASP.
DODARO, CARMINE ; GALATÀ, GIUSEPPE ; KAMRAN KHAN, MUHAMMAD ; et al.
Theory & Practice of Logic Programming; Mar2022, Vol. 22 Issue 2, p229-253, 25p

PRODUCTION scheduling OPERATING rooms INTENSIVE care units PATIENT satisfaction QUALITY of service
*Academic Journal*
16

teaspoon: solving the curriculum-based course timetabling problems with answer set programming.
Banbara, Mutsunori ; Inoue, Katsumi ; Kaufmann, Benjamin ; et al.
Annals of Operations Research; Apr2019, Vol. 275 Issue 1, p3-37, 35p

CURRICULUM PROBLEM solving MATHEMATICAL optimizatio... PERTURBATION theory MATHEMATICAL bounds
*Academic Journal*
17

A logic-based event controller for means-end reasoning in simulation environments.
Stolpe, Audun ; Rummelhoff, Ivar ; Hannay, Jo Erskine
Simulation; Aug2023, Vol. 99 Issue 8, p831-858, 28p

SOFTWARE frameworks SIMULATION games EDUCATIONAL outcomes PROOF of concept APPLICATION program inte... ITERATIVE learning contr...
*Academic Journal*
18

The Stable Model Semantics of Datalog with Metric Temporal Operators.
WAŁĘGA, PRZEMYSŁAW A. ; CUCALA, DAVID J. TENA ; GRAU, BERNARDO CUENCA ; et al.
Theory & Practice of Logic Programming; Jan2024, Vol. 24 Issue 1, p22-56, 35p

NEGATION (Logic) SEMANTICS INTEGERS
*Academic Journal*
19

ASPeRiX, a first-order forward chaining approach for answer set computing.
LEFÈVRE, CLAIRE ; BÉATRIX, CHRISTOPHER ; STÉPHAN, IGOR ; et al.
Theory & Practice of Logic Programming; May2017, Vol. 17 Issue 3, p266-310, 45p

ARTIFICIAL intelligence COMBINATORICS LOGIC programming ALGORITHMS FIRST-order logic
*Academic Journal*
20

Reasoning Using Knots.
Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas
Logic for Programming, Artificial Intelligence & Reasoning (9783540894384); 2008, p377-390, 14p

*Book*

*Filter*