| REASONING WITH CONTEXTUAL KNOWLEDGE AND INFLUENCE DIAGRAMS
|
2021 |
Acar, Erman |
| QUERYING AND REPAIRING INCONSISTENT PRIORITIZED KNOWLEDGE BASES: COMPLEXITY ANALYSIS AND LINKS WITH ABSTRACT ARGUMENTATION
|
2021 |
Bienvenu, Meghyn |
| HIGH-LEVEL PROGRAMMING VIA GENERALIZED PLANNING AND LTL SYNTHESIS
|
2021 |
Bonet, Blai |
| EXPLANATIONS FOR NEGATIVE QUERY ANSWERS UNDER EXISTENTIAL RULES
|
2021 |
Ceylan, Ismail Ilkan |
| REASONING ABOUT MEASURES OF UNMEASURABLE SETS
|
2021 |
Console, Marco |
| LIGHTWEIGHT PARALLEL MULTI-AGENT EPISTEMIC PLANNING
|
2021 |
Cooper, Martin |
| FINE-GRAINED COMPLEXITY OF TEMPORAL PROBLEMS
|
2021 |
Dabrowski, Konrad K. |
| TWO-STAGE TECHNIQUE FOR LTLF SYNTHESIS UNDER LTL ASSUMPTIONS
|
2021 |
Giacomo, Giuseppe De |
| A DATA COMPLEXITY AND REWRITABILITY TETRACHOTOMY OF ONTOLOGY- MEDIATED QUERIES WITH A COVERING AXIOM
|
2021 |
Gerasimova, Olga |
| ON FINITE ENTAILMENT OF NON-LOCAL QUERIES IN DESCRIPTION LOGICS
|
2021 |
Gogacz, Tomasz |
| SYMBOLIC SOLUTIONS FOR SYMBOLIC CONSTRAINT SATISFACTION PROBLEMS
|
2021 |
Melo, Alexsander Andrade De |
| COMPARING WEAK ADMISSIBILITY SEMANTICS TO THEIR DUNG-STYLE COUNTERPARTS -- REDUCT, MODULARIZATION, AND STRONG EQUIVALENCE IN ABSTRACT ARGUMENTATION
|
2021 |
Baumann, Ringo |
| BALANCING EXPRESSIVENESS AND INEXPRESSIVENESS IN VIEW DESION
|
2021 |
Benedikt, Michael |
| EXPLANATORY DIAGNOSIS OF DISCRETE-EVENT SYSTEMS WITH TEMPORAL INFORMATION AND SMART KNOWLEDGE-COMPILATION
|
2021 |
Bertoglio, Nicola |
| SIMULTANEOUS REPRESENTATION OF KNOWLEDGE AND BELIEF FOR EPISTEMIC PLANNING WITH BELIEF REVISION
|
2021 |
Buckingham, David |
| MODULE CHECKING OF PUSHDOWN MULTI-AGENT SYSTEMS
|
2021 |
Bozzelli, Laura |
| A UNIFORM TREATMENT OF AGGREGATES AND CONSTRANTS IN HYBRID ASP
|
2021 |
Cabalar, Pedro |
| PREFERENCE-BASED INCONSISTENCY-TOLERANT QUERY ANSWERING UNDER EXISTENTIAL RULES
|
2021 |
Calautti, Marco |
| RATIONAL DEFEASIBLE BELIEF CHANGE
|
2021 |
Casini, Giovanni |
| CONTAINMENT OF SIMPLE CONJUNCTIVE REGULAR PATH QUERIES
|
2021 |
Figueira, Diego |
Tag hinzufügen