ON THE COMPUTATIONAL INTELLIGIBILITY OF BOOLEAN CLASSIFIERS
|
2022 |
Audemard, Gilles |
CORRECTING HIERARCHICAL PLANS BY ACTION DELETION
|
2022 |
Barták, Roman |
CAPTURING HOMOMORPHISM-CLOSED DECIDABLE QUERIES WITH EXISTENTIAL RULES
|
2022 |
Bourgaux, Camille |
ON THE IDENTIFIABILITY OF HIERARCHICAL DECISION MODELS
|
2022 |
Bresson, Roman |
ON EVENTUAL APPLICABILITY OF PLANS IN DYNAMIC ENVIRONMENTS WITH CYCLIC PHENOMENA
|
2022 |
Chrpa, Lukáš |
AN ACCOUNT OF INTENSIONAL AND EXTENSIONAL ACTIONS, AND ITS APPLICATION TO BELIEF, NONDETERMINISTIC ACTIONS AND FALLIBLE SENSORS
|
2022 |
Claßen, Jens |
A COMPILATION OF SUCCINCTNESS RESULTS FOR ARITHMETIC CIRCUITS
|
2022 |
Colnet, Alexis De |
THE NONDETERMINISTIC SITUATION CALCULUS
|
2022 |
Giacomo, Giuseppe De |
BORDA, CANCELLATION AND BELIEF MERGING
|
2022 |
Everaere, Patricia |
HOW TO APPROXIMATE ONTOLOGY-MEDIATED QUERIES
|
2022 |
Haga, Anneke |
APPROXIMATION FIXPOINT THEORY FOR NON-DETERMINISTIC OPERATORS AND ITS APPLICATION IN DISJUNCTIVE LOGIC PROGRAMMING
|
2022 |
Heyninck, Jesse |
SEPARATING DATA EXAMPLES BY DESCRIPTION LOGIC CONCEPTS WITH RESTRICTED SIGNATURES
|
2022 |
Jung, Jean Christoph |
UNFOUNDED SETS FOR DISJUNCTIVE HYBRID MKNF KNOWLEDGE BASES
|
2022 |
Killen, Spencer |
SEMI-STABLE SEMANTICS FOR ABSTRACT DIALECTICAL FRAMEWORKS
|
2022 |
Zafarghandi, Atefeh Keshavarzi |
DIAGNOSIS OF ACTIVE SYSTEMS WITH ABSTRACT OBSERVATIONS AND COMPILED KNOWLEDGE
|
2022 |
Lamperti, Gianfranco |
ON THE PROGRESSION OF BELIEF
|
2022 |
Liu, Daxin |
REPRESENTING AND REASONING WITH EVENT MODELS FOR EPISTEMIC PLANNING
|
2022 |
Rajaratnam, David |
MONOTONICITY AND NOISE-TOLERANCE IN CASE-BASED REASONING WITH ABSTRACT ARGUMENTATION
|
2022 |
Paulino-Passos, Guilherme |
LEARNING FIRST-ORDER REPRESENTATIONS FOR PLANNING FROM BLACK BOX STATES: NEW RESULTS
|
2022 |
Rodriguez, Ivan D. |
BOOLEAN NETWORK LEARNING IN VECTOR SPACES FOR GENOME-WIDE NETWORK ANALYSIS
|
2022 |
Sato, Taisuke |